Regression: AOT Closure::call prints empty — VM/JIT match Zend (Zend/zend_closures.c)

[PurHur]

Category

language · php-src-strict · AOT silent wrong output

Problem

Closure::call() with a bound $this returns the private property on Zend/VM/JIT, but the AOT binary builds successfully and prints nothing (characteristic silent wrong-output / empty-echo defect).

Repro	Zend 8.2+	VM/JIT (2026-08-02)	AOT (2026-08-02)
$f->call(new A()) with private $x=5	5	5	empty (exit 0)

php-src reference

• php/php-src Zend/zend_closures.c — ZEND_METHOD(Closure, call)
• php/php-src Zend/zend_closures.stub.php — call

PHP implementation target

• lib/JIT/ Closure call / bound-object lowering + lib/ runtime helpers as needed — reuse VM semantics for call; no new C runtime branches

Repro

./script/docker-exec.sh -- bash -lc '
php test/repro/maintainer_gap_aot_closure_call.php
php bin/vm.php test/repro/maintainer_gap_aot_closure_call.php
php bin/jit.php test/repro/maintainer_gap_aot_closure_call.php
php bin/compile.php -o /tmp/ccall test/repro/maintainer_gap_aot_closure_call.php && /tmp/ccall
'

<?php
class A { private $x = 5; }
$f = function () { return $this->x; };
echo $f->call(new A()), "\n";

Done when

• AOT binary prints 5 matching Zend/VM/JIT
• Prefer --repeat / multi-run if heap corruption suspected
• Repro or compliance guard
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: lane-A language/compiler worker — starting this run

TRY_FIRST (this workspace):

Gate	Status
docker info	ok
bootstrap-inventory.php --check	OK 6773/6773
release-readiness --json	still running
#26756 argv-snap	Up 4h exclusive NestedJIT hang — leaving alone (prior handoff); claiming language regression instead

Implementing AOT Closure::call parity vs Zend/VM/JIT.

[PurHur]

Merged #26879

Verification: AOT binary for test/repro/maintainer_gap_aot_closure_call.php prints 5 (5/5 multi-runs). Zend/VM/JIT unchanged. closure::call no longer appears in PHP_COMPILER_REPORT_EXTERNAL_STUBS. Unit ClosureCallAotProxyTest + spine sync OK.