Repository navigation
Regression: AOT ParentIterator / MultipleIterator / RecursiveTreeIterator foreach silent empty — VM/JIT match Zend (ext/spl/spl_iterators.c) #27584
Description
Category
bug · php-src-strict · AOT · stdlib · pillar 4
Problem
Three SPL iterator wrappers match Zend on VM/JIT but AOT foreach is silent empty (rc=0) on master 22b85387e.
| Repro | Zend / VM / JIT | AOT |
|---|---|---|
ParentIterator(RecursiveArrayIterator(["a"=>1,"b"=>["c"=>2,"d"=>3]])) |
b |
empty |
MultipleIterator attach L=[a,b] N=[1,2] |
a:1 b:2 |
empty |
RecursiveTreeIterator(RecursiveArrayIterator(["a"=>["b"=>1,"c"=>2]])) |
\-Array| |-1| \-2| |
empty |
Filed as one issue because the failure mode is the same AOT foreach/visitor path; split if a worker finds distinct root causes.
php-src reference
- php/php-src
ext/spl/spl_iterators.c— ParentIterator / MultipleIterator / RecursiveTreeIterator - Prior related (closed): Stdlib: ParentIterator under RecursiveIteratorIterator yields nothing — Zend visits parent nodes (ext/spl/spl_iterators.c) #22007, Stdlib: MultipleIterator — parallel Traversable iteration (ext/spl/spl_iterators.c) #6792, Stdlib: RecursiveTreeIterator — SPL directory tree display missing (ext/spl/spl_iterators.c) #6273
PHP implementation target
- AOT foreach over these OuterIterator/RecursiveIterator classes in
ext/spl/+ lowering - Prefer PHP-in-PHP; no new C runtime tables
Repro
./script/docker-exec.sh -- bash -lc 'cat > /tmp/spl_wrap.php <<'"'"'PHP'"'"'
<?php
echo "Parent:";
$p = new ParentIterator(new RecursiveArrayIterator(["a"=>1,"b"=>["c"=>2,"d"=>3]]));
foreach ($p as $k => $v) { echo "$k "; }
echo "\nMulti:";
$m = new MultipleIterator();
$m->attachIterator(new ArrayIterator(["a","b"]), "L");
$m->attachIterator(new ArrayIterator([1,2]), "N");
foreach ($m as $v) { echo implode(":", $v), " "; }
echo "\nTree:";
$t = new RecursiveTreeIterator(new RecursiveArrayIterator(["a"=>["b"=>1,"c"=>2]]));
foreach ($t as $v) { echo $v, "|"; }
echo "\n";
PHP
php /tmp/spl_wrap.php
php bin/vm.php /tmp/spl_wrap.php
php bin/compile.php /tmp/spl_wrap.php -o /tmp/spl_wrap
/tmp/spl_wrap; echo rc=$?'Done when
- AOT matches Zend/VM/JIT for all three snippets (rc=0) across ≥3 runs
- php-src-strict; no php-compiler-strict shortcut
Activity
PurHur commentedon Aug 4, 2026
claim: PHP Compiler STD Lib Advanced — batch (#27583 #27568 #27581 #27582 #27584 #27565) — starting with #27583 NoRewindIterator AOT foreach
PurHur commentedon Aug 4, 2026
Handoff (batch #27583 #27568 #27581 #27582 #27584 #27565)
Merged this run:
SplHtPosIteratorJitHelper)Next for this issue: ParentIterator / MultipleIterator / RecursiveTreeIterator AOT foreach empty — likely same pattern as NoRewind (Iterator protocol + HT snapshot, not silent empty). Reuse/extend
SplHtPosIteratorJitHelperor dedicated constructs; RecursiveTreeIterator needs tree formatting.PurHur commentedon Aug 4, 2026
claim: PHP Compiler STD Lib Advanced — batch (#27565 #27584 #27633 #27567 #27259) — queued after #27565
PurHur commentedon Aug 4, 2026
claim: PHP Compiler STD Lib Advanced — continuing batch after #27565 merged — starting #27584
Stdlib: AOT ParentIterator / MultipleIterator / RecursiveTreeIterator…
PurHur commentedon Aug 4, 2026
Merged: #27672
Verification: Zend / VM / AOT ×3 all match
phpunit
--filter spl_wrap_iterators_foreachOK; inventory 7004/7004; spine coverage OK.Fix: pure-LLVM HT snapshots +
usesArrayIteratorHtfor the three wrappers (NestedJIT bridges segfault under thin AOT).