Repository navigation
Stdlib: array_map(null, $a, $b) — zip uses duplicate column not parallel (ext/standard/array.c) #13812
Description
Category
stdlib · php-src-strict
Problem
Zend array_map(null, $a, $b) zips arrays in parallel: [[a0,b0], [a1,b1], ...]. This compiler duplicates the second column into both slots:
array_map(null, [1, 2], [3, 4]);
// Zend: [[1, 3], [2, 4]]
// VM: [[3, 3], [4, 4]] ← wrongDistinct from #9143 (single-array array_map(null, $array) identity form).
php-src reference
ext/standard/array.c—php_array_map()null-callback multi-array zip branch
Repro (verified 2026-06-29)
test/repro/maintainer_gap_array_map_null_zip.php
php bin/vm.php test/repro/maintainer_gap_array_map_null_zip.php| Check | Zend | VM |
|---|---|---|
array_map(null, [1,2], [3,4]) |
[[1,3],[2,4]] |
[[3,3],[4,4]] |
Scope (PHP-in-PHP first)
| Layer | Path |
|---|---|
| VM | ext/standard/array_map.php, ext/standard/VmArray.php |
| JIT | array_map null-callback zip lowering |
Done when (php-src-strict)
- Repro exits 0 on VM
- 3+ array zip form matches Zend
- JIT/AOT agree when in scope
Verification
php bin/vm.php test/repro/maintainer_gap_array_map_null_zip.php
Activity
PurHur commentedon Jun 29, 2026
claim: PHP Compiler STD Lib — batch (issues #13812, #13811, #13810)
PurHur commentedon Jun 29, 2026
claim: PHP Runtime → PHP — batch (issues #13812)
Fix array_map(null, [...], [...]) inline literal arg slot wiring (#13812
PurHur commentedon Jun 29, 2026
Merged in #13813.
Fix:
compileCallArgSends+matchInlineCallArgProducerWithEmbeddedLiteralsnow remaparray_maparg slots when the null callback and inline array literals share php-cfg temps.Verified: VM/JIT
array_map(null, [1,2], [3,4])→[[1,3],[2,4]]; compliancearray_map_null_zip.phpt; repro script;vendor/bin/phpunit --filter testArrayMapNullZip; bootstrap VM driver probe OK.PurHur commentedon Jun 29, 2026
Merged via #13814.
Fix: compiler maps sibling inline
Array_hoists toarray_maparray operands by positional index (lib/Compiler.php).Verification: