Fix AOT ++/-- no-op on typed locals (#23840)

[PurHur]

Summary

• Bisected to Perf: skip the ++/-- resource guard when the value cannot be a resource (#23483) #23781 (371ada701): IncDecResourceProvenance::cannotBeResource() early-return inside guardIncDecResourceOperand() made post-decrement a silent no-op for TYPE_VALUE KIND_VALUE locals that used generic binaryOp lowering.
• Route scoped boxed locals through the value-box inc/dec path via isIncDecValueBoxLvalue() (includes typed locals bound to a scope slot).
• Remove the in-guard cannotBeResource early return; cannotBeResourceForString() remains for int→string echo (AOT: string conversion of an int renders "Resource id #N" when the value collides with a live handle #23811). Re-landing the Perf: skip the ++/-- resource guard when the value cannot be a resource (#23483) #23781 loop perf skip needs a follow-up that preserves guard CFG.

Verification

./script/docker-exec.sh -- bash -lc '
  php bin/compile.php -o /tmp/dec_test /tmp/dec_test.php  # $n=5; $n--; echo $n;
  /tmp/dec_test   # 4 (was 5)
  script/differential-sweep.sh --aot --dir test/differential/cases  # g08 ok
  vendor/bin/phpunit --filter incdec_post_dec_local
'

Output: $n-- → 4; differential AOT g08_incdec_post_dec.php 1/1 match Zend; incdec_post_dec_local OK.

Closes #23840

Made with Cursor