Commit 36037a10eca for php
commit 36037a10eca576f20829eb54197ac2b29dd3f5ea
Author: Nora Dossche <7771979+ndossche@users.noreply.github.com>
Date: Sat Jan 10 17:42:01 2026 +0100
Fix GH-20890: Segfault in zval_undefined_cv with non-simple property hook with minimal tracing JIT
This is similar to f6c2e40a11 but for minimal JIT + tracing JIT.
Most of the times the tracing JIT shouldn't rely on going to the VM, but
in some cases, like in minimal JIT, it can and then it hits the same
bug.
Closes GH-20897.
diff --git a/NEWS b/NEWS
index f335182cb1e..34db44b5c89 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,9 @@ PHP NEWS
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
?? ??? ????, PHP 8.4.28
+- Opcache:
+ . Fixed bug GH-20890 (Segfault in zval_undefined_cv with non-simple property
+ hook with minimal tracing JIT). (ndossche)
22 Oct 2026, PHP 8.4.27
diff --git a/ext/opcache/jit/zend_jit_trace.c b/ext/opcache/jit/zend_jit_trace.c
index 6a3e8c3a471..5aa62d2e087 100644
--- a/ext/opcache/jit/zend_jit_trace.c
+++ b/ext/opcache/jit/zend_jit_trace.c
@@ -333,6 +333,14 @@ static int zend_jit_trace_may_exit(const zend_op_array *op_array, const zend_op
// TODO: recompilation may change target ???
return 0;
#endif
+ case ZEND_FETCH_OBJ_R:
+ if (opline->op2_type == IS_CONST) {
+ const zend_class_entry *ce = opline->op1_type == IS_UNUSED ? op_array->scope : NULL;
+ if (!ce || !(ce->ce_flags & ZEND_ACC_FINAL) || ce->num_hooked_props > 0) {
+ return 1;
+ }
+ }
+ break;
case ZEND_RETURN_BY_REF:
case ZEND_RETURN:
/* return */
diff --git a/ext/opcache/tests/jit/gh20890.phpt b/ext/opcache/tests/jit/gh20890.phpt
new file mode 100644
index 00000000000..c375c379fcc
--- /dev/null
+++ b/ext/opcache/tests/jit/gh20890.phpt
@@ -0,0 +1,37 @@
+--TEST--
+GH-20890 (Segfault in zval_undefined_cv with non-simple property hook with minimal tracing JIT)
+--CREDITS--
+Moonster8282
+--EXTENSIONS--
+opcache
+--INI--
+opcache.jit=1251
+--FILE--
+<?php
+class HookJIT {
+ private int $readCount = 0;
+
+ public int $computed {
+ get {
+ $this->readCount++;
+ return $this->readCount * 2;
+ }
+ }
+}
+
+function hook_hot_path($obj, $iterations) {
+ $sum = 0;
+ for ($i = 0; $i < $iterations; $i++) {
+ $sum += $obj->computed;
+ }
+ return $sum;
+}
+
+echo "Testing property hook in hot path...\n";
+$obj = new HookJIT();
+$result = hook_hot_path($obj, 100);
+echo "Result: $result\n";
+?>
+--EXPECT--
+Testing property hook in hot path...
+Result: 10100