KarpelesLab / goro / 25757178375

13%

Build Type

push

github

Committed by MagicalTux

Commit Message

vm: special-args, nullsafe, dynamic-name calls via AST delegation

Adds AST delegation for several common shapes that previously aborted
bytecode compile for the whole surrounding function:

* Named arguments and spread arguments in function/method calls,
  and in indirect (\$expr(...)) calls.
* Nullsafe property reads (\$obj?->prop) and nullsafe method calls
  (\$obj?->method()).
* Dynamic property names and dynamic method names.
* Coalesce (??) with a non-local LHS — the AST's writeContext
  suppresses undefined-index/property warnings; the VM piecewise
  lowering would surface them.

A new emitCallViaAST helper centralises the OpTryFinally / OpClassConst
+ OP_REFRESH_SLOTS pattern across the three call sites (function call,
indirect call, method call).

IsSlotSafe rejects bodies containing any of these shapes so the
hashtable stays authoritative under the AST delegation.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

78 of 104 new or added lines in 5 files covered. (75.0%)

1 existing line in 1 file now uncovered.

12008 of 115198 relevant lines covered (10.42%)

1593.32 hits per line