Repository navigation
Regression: ArrayIterator::current()/::key() string-concat nested operand — returns true not element (ext/spl/spl_array.c) #13901
Description
Category
stdlib · php-src-strict · regression (nested operand in string concatenation)
Problem
After ArrayIterator::next(), current() and key() must return the element value and integer key. When either method is a nested operand inside string concatenation with var_export(..., true), the VM returns true instead.
Standalone calls work; dot-concat form fails. Same failure class as pointer builtins (#13828 current(), #13830 next()).
php-src reference
ext/spl/spl_array.c—spl_array_it_get_current_data, iterator funcs
Repro (verified 2026-06-30)
test/repro/maintainer_gap_arrayiterator_current_concat_only.php
test/repro/maintainer_gap_arrayiterator_key_concat.php
php bin/vm.php test/repro/maintainer_gap_arrayiterator_current_concat_only.php
php bin/vm.php test/repro/maintainer_gap_arrayiterator_key_concat.php| Check | Zend | VM |
|---|---|---|
$it->next(); 'cur='.var_export($it->current(), true) |
cur=2 |
cur=true |
$it->next(); 'key='.var_export($it->key(), true) |
key=1 |
key=true |
Standalone $it->current() / $it->key() |
correct | correct |
Scope (PHP-in-PHP first)
| Layer | Path |
|---|---|
| VM | ext/spl/ArrayIterator handlers or shared iterator method dispatch |
| Compiler | nested-call / concat operand lowering |
| JIT | after VM green |
Check RecursiveArrayIterator and other Iterator implementations for the same concat pattern.
Done when (php-src-strict)
- Both repros exit 0 on VM
- Iterator methods return correct types in concat/nested contexts
- JIT/AOT agree when in scope
Verification
php bin/vm.php test/repro/maintainer_gap_arrayiterator_current_concat_only.php
php bin/vm.php test/repro/maintainer_gap_arrayiterator_key_concat.phpLinks
- Epic Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492 · sibling Regression: ArrayIterator::seek() undefined method — SeekableIterator parity (re-#13561, ext/spl/spl_array.c) #13574 (
ArrayIterator::seek) · pointer concat family (Regression: current() string-concat nested operand — returns true not element (ext/standard/array.c) #13828–Regression: end() second call in string-concat — returns true not last element (ext/standard/array.c) #13831)
Activity
PurHur commentedon Jun 30, 2026
claim: cursor-agent-lane-c — batch (issues #13901)
Fix ArrayIterator current()/key() in string concat nested operands (#…
PurHur commentedon Jun 30, 2026
Merged via #13910
Fix:
lib/Compiler.php— collect hoistedMethodCallsiblings forvar_export(..., true)in concat (same producer-slot path as #13828 FuncCall pointer builtins).Verification (green on master):