WIP: fix(gnovm): validate assignment targets in range, compound assign, and inc/dec#5804

Closed

ltzmaxwell wants to merge 23 commits into

gnolang:masterfrom

ltzmaxwell:fix/assign_range_f

Commits on Jun 1, 2026

test(gnovm): add range_blank_key filetest for nil-key range assertion
ltzmaxwell
committed
fix(gnovm): guard nil kt in assertIndexTypeIsInt for blank-key range
ltzmaxwell
committed
chore(gnovm): tighten range_blank_key fix and filetest
ltzmaxwell
committed

Commits on Jun 11, 2026

test(gnovm): add assign_range_f/g filetests (const as range value operand)
ltzmaxwell
committed
fix(gnovm): reject unassignable range value operand in AssertCompatible
ltzmaxwell
committed
test(gnovm): add assign_op_a/b and incdec_a5 filetests (unassignable compound-assign and inc/dec targets)
ltzmaxwell
committed
fix(gnovm): validate assign target for compound assign and inc/dec statements
ltzmaxwell
committed
test(gnovm): add assign_nil3 filetest (_ = nil must be rejected)
ltzmaxwell
committed
fix(gnovm): reject bare untyped nil assigned to blank identifier
ltzmaxwell
committed
refactor(gnovm): require non-nil dt in checkAssignableTo, skip blank targets at callers
ltzmaxwell
committed
test(gnovm): add assign_range_h filetest (nil as range value operand)
ltzmaxwell
committed
docs(gnovm): explain nil-dt ambiguity on checkAssignableTo panic
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): panic explicitly on nil kt in assertIndexTypeIsInt
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): ask assertValidAssignLhs for blank range key too, like AssignStmt
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): ask assertValidAssignLhs for blank range value too
ltzmaxwell
committed