mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
6e7e52de19
JIT can be available but disabled, in which case the array offset 'jit' is still available.
30 lines
626 B
PHP
30 lines
626 B
PHP
--TEST--
|
|
Bug #80426: Crash when using JIT and an extension replacing zend_execute_ex with custom
|
|
--INI--
|
|
opcache.enable=1
|
|
opcache.enable_cli=1
|
|
opcache.jit_buffer_size=1M
|
|
zend_test.replace_zend_execute_ex=1
|
|
--EXTENSIONS--
|
|
opcache
|
|
zend_test
|
|
--SKIPIF--
|
|
<?php if ((opcache_get_status()['jit']['on'] ?? false) === false) die('skip: JIT is not available'); ?>
|
|
--FILE--
|
|
<?php
|
|
|
|
function compute() {
|
|
if (true) {
|
|
}
|
|
}
|
|
|
|
for ($i = 0; $i <= 64; $i++) {
|
|
compute();
|
|
}
|
|
|
|
?>
|
|
===DONE===
|
|
--EXPECT--
|
|
Warning: JIT is incompatible with third party extensions that override zend_execute_ex(). JIT disabled. in Unknown on line 0
|
|
===DONE===
|