Repository navigation
Stdlib: reset()/key()/current() on object — return true not property value/name (ext/standard/array.c) #16301
Description
Category
stdlib · php-src-strict
Problem
Array-pointer builtins applied to a plain object return boolean true for every call instead of property values and string property names. Zend iterates declared object properties via the internal pointer API.
| Repro | Zend 8.2+ | VM (2026-07-05) |
|---|---|---|
reset($o); key($o); next($o); on {public int $x=1; public int $y=2;} |
reset=1, key='x', next=2 |
reset=true, key=true, next=true |
| same on arrays | correct scalars/keys | correct |
php-src reference
- php/php-src
ext/standard/array.c—php_reset(),php_key(),php_next()object branch (zend_hash_get_current_key_exon properties)
PHP implementation target
ext/standard/pointer builtins (reset,key,current,next,prev,end,pos) — object operand path in PHP VM handlers, not new C inruntime/lib/JIT/ArrayBuiltinHelper.php— object pointer lowering must match VM
Repro
./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_array_pointer_object.php'Done when
-
test/repro/maintainer_gap_array_pointer_object.phpmatches Zend output on VM - Compliance
.phptguard undertest/compliance/cases/stdlib/ - php-src-strict; no php-compiler-strict shortcut
Activity
PurHur commentedon Jul 5, 2026
claim: cursor-agent-lane-b — starting this run
PurHur commentedon Jul 5, 2026
Maintainer verify 2026-07-05:
test/repro/maintainer_gap_array_pointer_object.phpnow matches Zend on VM (reset=1,key='x', …). If still reproducible on another branch/profile, please attach updated repro; otherwise candidate for close.PurHur commentedon Jul 5, 2026
Maintainer triage (2026-07-05): repro green on current master — Zend and VM both return property values/keys for object operands.
```
php test/repro/maintainer_gap_array_pointer_object.php
php bin/vm.php test/repro/maintainer_gap_array_pointer_object.php
reset=1 key='x' next=2 … on both
```
Closing as fixed-on-master; reopen if a narrower object-pointer case still diverges.
PurHur commentedon Jul 5, 2026
Fixed on master — repro matches Zend (maintainer triage 2026-07-05).