[PurHur]

Summary

• Filter dead void MethodCall statement producers from inline call-arg matching so echo var_export($ao->getIteratorClass(), true) binds the getter, not a preceding void setIteratorClass() (Stdlib: ArrayObject::getIteratorClass() returns null after void setIteratorClass() in expression (ext/spl/spl_array.c) #10778).
• ArrayObject::setIteratorClass() now validates and persists even when returnVar is null (void call path).

php-src reference: ext/spl/spl_array.c — spl_array_setIteratorClass / spl_array_getIteratorClass

PHP implementation: lib/Compiler.php (filterDeadVoidStatementMethodCallProducers), ext/spl/ArrayObjectBuiltin.php

Closes #10778

Test plan

• Issue repro:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/maintainer_gap_arrayobject_getiterator_after_set.php
php bin/vm.php test/repro/maintainer_gap_arrayobject_get_iterator_class.php
'

Output (VM):

'ArrayIterator'
'ArrayIterator'
'ArrayIterator'
TypeError: ArrayObject::setIteratorClass(): Argument #1 ($iteratorClass) must be a class name derived from ArrayIterator, stdClass given

(both repros exit 0)

• Compliance:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && ./vendor/bin/phpunit --filter arrayobject_getiterator_after_set'

OK (2 tests, 2 assertions)

Made with Cursor