Repository navigation
AOT: dim fetch on static array property returns empty — C::$a['k'] silent wrong output (Zend/zend_execute.c) #33936
Description
Activity
claim: working this as stdlib/AOT lane — static array dim fetch silent wrong output under AOT.
- added a commit that references this issue
on Aug 22, 2026 merged: #33944 (
d9465f5fcf)Fix:
needsCfgSplitBeforeStringDimFetchno longer insertsTYPE_JUMPwhen the dim container is the Temporary from the precedingStaticPropertyFetch(peer #23354 Temporary-across-JUMP).Verified
./script/docker-exec.sh -- bash -lc './script/aot-smoke.sh' # 8/8 ./script/docker-exec.sh -- bash -lc 'export PHP_COMPILER_HELPER_RUNTIME_O=0; php bin/compile.php -o /tmp/s.bin test/repro/issue_33936_static_array_dim_aot.php && /tmp/s.bin' # 1 / 1 / 1:1 ./script/phpunit.sh --filter Issue33936StaticArrayDimAotTest # OK (2 tests, 14 assertions)
Category
bug· php-src-strict · AOT static array dim fetchProblem
Assigning an array literal to an untyped static property stores a usable array (VM-correct
count/ local copy), but dimension fetch on the static under thin AOT returns empty / null. Zend and VM print the element.??/ assign-to-local paths work; bareecho C::$a['k']does not.C::$a=["x"=>1]; echo C::$a["x"];1C::$a=["x"=>1]; echo count(C::$a), ":", C::$a["x"];1:11:C::$a=["x"=>1]; $t=C::$a; echo $t["x"];11C::$a=["x"=>1]; echo C::$a["x"] ?? "missing";11Silent wrong output — characteristic failure mode (AGENTS.md §3). Remaining row from AOT correctness group 3 / #31967 after the honest compile-fatal was retired.
php-src reference
Zend/zend_execute.c—zend_fetch_dimension/ static property fetchZend/zend_object_handlers.c— static property readPHP implementation target
__value__path matches local copy (lib/JIT.php/lib/JIT/Builtin/Type/ObjectStaticPropertyLlvm.php/ dim fetch helpers)runtime/*.cRepro
./script/aot-smoke.sh ./script/docker-exec.sh -- bash -lc 'export PHP_COMPILER_HELPER_RUNTIME_O=0; php bin/compile.php -o /tmp/sa.bin test/repro/issue_NNNN_static_array_dim_aot.php && /tmp/sa.bin'Done when
echo C::$a["k"]matches Zend under AOT (repeat ≥5)./script/aot-smoke.shstays 8/8Parent