summaryrefslogtreecommitdiff
path: root/ext/opcache/tests/jit
diff options
context:
space:
mode:
authorDmitry Stogov <dmitry@zend.com>2020-11-30 13:58:34 +0300
committerDmitry Stogov <dmitry@zend.com>2020-11-30 13:58:34 +0300
commitd5a82e2c4eebe8337ff7790db46d812af2fbcec9 (patch)
tree0e55172bfbde4e27b4a5d76d50c9f6ac009e4df0 /ext/opcache/tests/jit
parent15073d8e1da5f7c140acbed0bee0c09439a1cfac (diff)
downloadphp-git-d5a82e2c4eebe8337ff7790db46d812af2fbcec9.tar.gz
Disable JIT with incompatible third-party extensions
Diffstat (limited to 'ext/opcache/tests/jit')
-rw-r--r--ext/opcache/tests/jit/bug80426.phpt27
1 files changed, 27 insertions, 0 deletions
diff --git a/ext/opcache/tests/jit/bug80426.phpt b/ext/opcache/tests/jit/bug80426.phpt
new file mode 100644
index 0000000000..04599ed1fc
--- /dev/null
+++ b/ext/opcache/tests/jit/bug80426.phpt
@@ -0,0 +1,27 @@
+--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
+--SKIPIF--
+<?php require_once('skipif.inc'); ?>
+<?php if (!extension_loaded('zend-test')) die('skip: zend-test extension required'); ?>
+--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===