SSA: Tolerate multiple variables being read at the same CFG node - #22744

Draft

asgerf wants to merge 11 commits into

github:mainfrom

asgerf:ssa/multiple-reads-v2

Commits on Oct 2, 2026

unified: Add test showing spurious SSA flow
asgerf
committed
3137897
Ssa: Add consistency check for ambiguous read
asgerf
committed
f906f8d
unified: Add consistency check
asgerf
committed
9d8f5e6
ssa: Expose new consistency check from VariableCapture.qll
asgerf
committed
b1b2b20
ssa: Record ambiguousReadNode errors from VariableCapture
asgerf
committed
b2f9e09
ssa: Associate ExprNode with a variable
asgerf
committed
8957cda
ssa: Record absense of ambiguousReadNode errors
asgerf
committed
c084707
unified: Update local SSA consistency output
asgerf
committed
649e8cc
unified: Update unit test output
asgerf
committed
0164aff
unified: Update path-injection output
asgerf
committed
ee7fc86
unified: Mostly restore path-injection results
asgerf
committed
2c637ab