Unified: Fix AST, CFG, and data flow rules for assignments - #22595

Open

asgerf wants to merge 12 commits into

github:mainfrom

asgerf:unified/binary-expr-assignment

Commits on Sep 17, 2026

unified: Map assignments to binary_expr
asgerf
committed
5d34c79
unified: Remove old AST nodes
asgerf
committed
02c3c0c
unified: Regenerate QL
asgerf
committed
b0e7313
unified: Manually add corresponding classes
asgerf
committed
04666e0
unified: Add union type and update CFG
asgerf
committed
f834419
unified: Update CFG test output after rename
asgerf
committed
4ce663a
unified: Use proper CFG nodes for assignments in data flow
asgerf
committed
038e8b0
unified: Handle flow through +=
asgerf
committed
6282c60
unified: Add similar tests for implicit self
asgerf
committed
572ccd9
ssa: Split a line (no behaviour change)
asgerf
committed
5c00811
unified: Sharpen CFG node for post-updates
asgerf
committed
1b9cc61
unified: Add a few more mutation tests
asgerf
committed
e167281