Skip to content

Increase zend.reserved_stack_size minimum value in ASAN/MSAN builds #11073

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Increase zend.reserved_stack_size minimum value in ASAN/MSAN builds #11073

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion Zend/tests/stack_limit/stack_limit_001.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ Stack limit 001 - Stack limit checks with max_allowed_stack_size detection
--SKIPIF--
<?php
if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_call_stack_get() is not available");
if (getenv('SKIP_MSAN')) die("skip msan requires a considerably higher zend.reserved_stack_size due to instrumentation");
?>
--EXTENSIONS--
zend_test
Expand Down
1 change: 0 additions & 1 deletion Zend/tests/stack_limit/stack_limit_002.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ Stack limit 002 - Stack limit checks with max_allowed_stack_size detection (fibe
--SKIPIF--
<?php
if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_call_stack_get() is not available");
if (getenv('SKIP_MSAN')) die("skip msan requires a considerably higher zend.reserved_stack_size due to instrumentation");
?>
--EXTENSIONS--
zend_test
Expand Down
2 changes: 1 addition & 1 deletion Zend/tests/stack_limit/stack_limit_003.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_
--EXTENSIONS--
zend_test
--INI--
zend.max_allowed_stack_size=128K
zend.max_allowed_stack_size=512K
--FILE--
<?php

Expand Down
4 changes: 2 additions & 2 deletions Zend/tests/stack_limit/stack_limit_004.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,12 +27,12 @@ $callback = function (): int {
throw new \Exception();
};

ini_set('fiber.stack_size', '400K');
ini_set('fiber.stack_size', '1M');
$fiber = new Fiber($callback);
$fiber->start();
$depth1 = $fiber->getReturn();

ini_set('fiber.stack_size', '200K');
ini_set('fiber.stack_size', '512K');
$fiber = new Fiber($callback);
$fiber->start();
$depth2 = $fiber->getReturn();
Expand Down
1 change: 0 additions & 1 deletion Zend/tests/stack_limit/stack_limit_006.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ Stack limit 006 - env size affects __libc_stack_end
--SKIPIF--
<?php
if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_call_stack_get() is not available");
if (getenv('SKIP_MSAN')) die("skip msan requires a considerably higher zend.reserved_stack_size due to instrumentation");
?>
--EXTENSIONS--
zend_test
Expand Down
2 changes: 1 addition & 1 deletion Zend/tests/stack_limit/stack_limit_007.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_
--EXTENSIONS--
zend_test
--INI--
zend.max_allowed_stack_size=128K
zend.max_allowed_stack_size=512K
--FILE--
<?php

Expand Down
2 changes: 1 addition & 1 deletion Zend/tests/stack_limit/stack_limit_008.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_
--EXTENSIONS--
zend_test
--INI--
zend.max_allowed_stack_size=128K
zend.max_allowed_stack_size=512K
--FILE--
<?php

Expand Down
1 change: 0 additions & 1 deletion Zend/tests/stack_limit/stack_limit_009.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ Stack limit 009 - Check that we can actually use all the stack
--SKIPIF--
<?php
if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_call_stack_get() is not available");
if (getenv('SKIP_MSAN')) die("skip msan requires a considerably higher zend.reserved_stack_size due to instrumentation");
?>
--EXTENSIONS--
zend_test
Expand Down
19 changes: 11 additions & 8 deletions Zend/tests/stack_limit/stack_limit_011.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,24 +7,27 @@ if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_
--EXTENSIONS--
zend_test
--INI--
zend.max_allowed_stack_size=128K
zend.max_allowed_stack_size=512K
--FILE--
<?php

var_dump(zend_test_zend_call_stack_get());

class Test1 {
public function __destruct() {
new Test1;
}
function replace2() {
return preg_replace_callback('#.#', function () {
replace2();
}, 'x');
}

function replace() {
return preg_replace_callback('#.#', function () {
static $once = false;
return preg_replace_callback('#.#', function () use (&$once) {
try {
replace();
} finally {
new Test1();
if (!$once) {
$once = true;
replace2();
}
}
}, 'x');
}
Expand Down
2 changes: 1 addition & 1 deletion Zend/tests/stack_limit/stack_limit_012.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_
--EXTENSIONS--
zend_test
--INI--
zend.max_allowed_stack_size=128K
zend.max_allowed_stack_size=512K
--FILE--
<?php

Expand Down
13 changes: 13 additions & 0 deletions Zend/tests/stack_limit/stack_limit_013.inc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<?php

if (!class_exists("constructs_in_destructor")) {
class constructs_in_destructor {
public function __destruct() {
$a = new constructs_in_destructor;
$time = '';
require(__FILE__);
}
}
}

$a = new constructs_in_destructor;
13 changes: 13 additions & 0 deletions Zend/tests/stack_limit/stack_limit_014.inc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<?php

if (!class_exists("constructs_in_destructor")) {
class constructs_in_destructor {
public function __destruct() {
$a = new constructs_in_destructor;
$time = '';
require(__FILE__);
}
}
}

$a = new constructs_in_destructor;
23 changes: 23 additions & 0 deletions Zend/tests/stack_limit/stack_limit_014.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
--TEST--
Stack limit 014 - Fuzzer
--SKIPIF--
<?php
if (!function_exists('zend_test_zend_call_stack_get')) die("skip zend_test_zend_call_stack_get() is not available");
?>
--EXTENSIONS--
zend_test
--INI--
; The test may use a large amount of memory on systems with a large stack limit
memory_limit=1G
--FILE--
<?php

try {
require __DIR__.'/stack_limit_014.inc';
} catch (Error $e) {
echo $e->getMessage(), "\n";
}

?>
--EXPECTF--
%S%rMaximum call stack size of [0-9]+ bytes reached|Allowed memory size of [0-9]+ bytes exhausted%r%s
6 changes: 6 additions & 0 deletions Zend/zend.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -206,6 +206,12 @@ static ZEND_INI_MH(OnUpdateReservedStackSize) /* {{{ */
zend_ulong min = 32*1024;
#endif

#if defined(__SANITIZE_ADDRESS__) || __has_feature(memory_sanitizer)
/* AddressSanitizer and MemorySanitizer use more stack due to
* instrumentation */
min *= 10;
#endif

if (size == 0) {
size = min;
} else if (size < min) {
Expand Down
7 changes: 6 additions & 1 deletion Zend/zend_compile.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,9 +102,14 @@ static void zend_compile_assign(znode *result, zend_ast *ast);
#ifdef ZEND_CHECK_STACK_LIMIT
zend_never_inline static void zend_stack_limit_error(void)
{
size_t max_stack_size = 0;
if ((uintptr_t) EG(stack_base) > (uintptr_t) EG(stack_limit)) {
max_stack_size = (size_t) ((uintptr_t) EG(stack_base) - (uintptr_t) EG(stack_limit));
}

zend_error_noreturn(E_COMPILE_ERROR,
"Maximum call stack size of %zu bytes reached during compilation. Try splitting expression",
(size_t) ((uintptr_t) EG(stack_base) - (uintptr_t) EG(stack_limit)));
max_stack_size);
}

static void zend_check_stack_limit(void)
Expand Down
9 changes: 7 additions & 2 deletions Zend/zend_execute.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2308,8 +2308,13 @@ static zend_never_inline ZEND_COLD void ZEND_FASTCALL zend_use_new_element_for_s
#ifdef ZEND_CHECK_STACK_LIMIT
static zend_never_inline ZEND_COLD void ZEND_FASTCALL zend_call_stack_size_error(void)
{
zend_throw_error(NULL, "Maximum call stack size of %zu bytes reached. Infinite recursion?",
(size_t) ((uintptr_t) EG(stack_base) - (uintptr_t) EG(stack_limit)));
size_t max_stack_size = 0;
if ((uintptr_t) EG(stack_base) > (uintptr_t) EG(stack_limit)) {
max_stack_size = (size_t) ((uintptr_t) EG(stack_base) - (uintptr_t) EG(stack_limit));
}
zend_throw_error(NULL,
"Maximum call stack size of %zu bytes reached. Infinite recursion?",
max_stack_size);
}
#endif /* ZEND_CHECK_STACK_LIMIT */

Expand Down