Language: nullsafe ?-> method call with inline arg — compile TypeError in Compiler.php (Zend/zend_compile.c)

[PurHur]

Category

language · php-src-strict · compiler lowering

Problem

Nullsafe method calls with inline expression arguments (e.g. IIFE) fail at compile time instead of short-circuiting on a null receiver. Zend compiles and runs correctly; VM fatals in outerSiblingInlineCallArgProducerSlot() because compileNullsafeMethodCall() omits the CFG call op when lowering argument sends.

Repro	Zend 8.2+	VM (2026-07-07)
$c?->f((function(){ return 1; })()) with $c = null	NULL (arg not evaluated)	TypeError in Compiler.php:36609

php-src reference

• php/php-src Zend/zend_compile.c — nullsafe method call compile + argument evaluation short-circuit

PHP implementation target

• lib/Compiler.php — compileNullsafeMethodCall() must pass $expr as $cfgCallOp to compileCallArgSends() (mirror compileMethodCallOpcodes)

Repro

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

Done when

• Compliance test/compliance/cases/language/nullsafe_method_args_short_circuit.phpt passes VM
• test/repro-maintainer/nullsafe_method_args.php matches Zend
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: cursor-agent-lane-b — starting this run

[PurHur]

Merged via #17188.

Verification (Docker):
```bash
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
vendor/bin/phpunit --filter "nullsafe_method_args_short_circuit|nullsafe_chain_method"
php bin/vm.php test/repro-maintainer/nullsafe_method_args.php'
```

• PHPUnit: OK (2 tests)
• VM repro matches Zend: `NULL` / `call` / `2` (IIFE arg not evaluated on null receiver)