Repository navigation
Regression: AOT extract() compile fails — array_filter callback unsupported (ext/standard/array.c) #27520
Description
Category
bug · php-src-strict · stdlib · user-script AOT · pillar 4
Problem
extract matches Zend on VM and JIT, but thin AOT fails at compile with array_filter() with a callback is not supported by the JIT compiler in this build. Happy-path symbol import never emits.
Probed 2026-08-03 @ 6f975866e.
| Repro | Zend / VM / JIT | AOT (2026-08-03) |
|---|---|---|
extract(['hello'=>'world','n'=>7]); echo $hello,':',$n; |
world:7 |
BUILD FAIL array_filter() with a callback… |
extract(null) |
TypeError:…null given |
same BUILD FAIL |
Related: compact('a','b') hits the same compile diagnostic (likely shared helper path) — fix once if the root is shared.
php-src reference
- php/php-src
ext/standard/array.c—PHP_FUNCTION(extract) - Stub: php/php-src
ext/standard/basic_functions.stub.php/ array stubs
PHP implementation target
- NestedJIT / AOT lowering for
extractmust not depend on unsupportedarray_filter-callback JIT path; implement extract helper in PHP (ext/standard+lib/JIT) - php-in-PHP first; no new
runtime/*.c
Repro
./script/docker-exec.sh -- bash -lc '
cat > /tmp/issue_extract.php <<'\''PHP'\''
<?php
$arr = ["hello"=>"world", "n"=>7];
extract($arr);
echo $hello, ":", $n, "\n";
PHP
php bin/vm.php /tmp/issue_extract.php
php bin/jit.php /tmp/issue_extract.php
php bin/compile.php -o /tmp/issue_extract /tmp/issue_extract.php
'Done when
- AOT build succeeds; binary prints
world:7matching VM/JIT -
extract(null)throws the sameTypeErroras VM/JIT - Prefer also unblocking
compact()if it shares the root cause - Compliance/
test/repro/guard; php-src-strict
Refs #10533
Activity
PurHur commentedon Aug 5, 2026
claim: PHP Compiler STD Lib — starting this run
Pillar probe before claim:
Repro still red:
php bin/compile.phpforextract(['hello'=>'world','n'=>7])→array_filter() with a callback is not supported by the JIT compiler in this buildStdlib: AOT extract() EXTR_OVERWRITE + null TypeError (#27520)
Stdlib: AOT extract() EXTR_OVERWRITE + null TypeError (#27520) (#27843)
PurHur commentedon Aug 5, 2026
Merged in #27843
Verification
extract(['hello'=>'world','n'=>7]); echo \$hello,':',\$n→world:7(AOT 3/3)\$a=null; extract(\$a)→ TypeError (3/3)ScopeBuiltinRuntimeShrinkTest+ AotRegressionFixtureCatalog OKNot covered: AOT
compact()still fails module verify (separate from array_filter root).