[PurHur]

Summary

• Closes Regression: AOT extract() compile fails — array_filter callback unsupported (ext/standard/array.c) #27520: thin AOT extract() no longer fails NestedJIT on array_filter()+callback; default EXTR_OVERWRITE imports named locals and prints world:7.
• extract(null) throws catchable TypeError under AOT (3/3).
• Root causes: NestedJIT-hostile array_filter in ScopeBuiltinJitHelper::matchNamedVariableIndex; EXTR_OVERWRITE uses LLVM JitStringCompare (avoids NestedJIT string-return resolve); script-global assign loads __value__* before copy; merge continues strKeys walk (avoids sealFunction ret void).

php-src: ext/standard/array.c — php_extract / PHP_FUNCTION(extract).

Test plan

• php bin/vm.php test/repro/aot_extract_import_named.php → world:7
• php bin/jit.php test/repro/aot_extract_import_named.php → world:7
• php bin/compile.php -o /tmp/x test/repro/aot_extract_import_named.php && /tmp/x → world:7 (3×)
• AOT $a=null; extract($a) → TypeError:…null given (3×)
• vendor/bin/phpunit --filter ScopeBuiltinRuntimeShrinkTest OK
• AotRegressionFixtureCatalog OK with new fixtures
• Not covered: AOT compact() still has a separate module-verify signature mismatch; non-OVERWRITE EXTR_* still use NestedJIT resolve.

Made with Cursor