Python: combined DCA validation on rebased shared-SSA baseline - #154

Draft

yoff wants to merge 18 commits into

yoff-python-rebased-ssa-baseline-dcafrom

yoff-python-rebased-combined-dca

Commits on Sep 12, 2026

Python: switch dataflow library to new (shared) CFG + SSA

yoff
and
Copilot
committed
98c7184
Python: preserve bindingset on new-CFG node dominance wrappers

yoff
and
Copilot
committed
de0e17f
Python: fix shared CFG facade CI checks
yoff
committed
925893f
Python: test direct guard specialization semantics
yoff
committed
7621760
Python: specialize direct truthiness guards
yoff
committed
8407f6e
Python: unpin legacy CFG/ESSA from the AST cached stage

yoff
and
Copilot
committed
c4c65cb
Add captured call target diagnostic

yoff
and
Copilot
committed
508b85d
Bind captured type-tracking jumps from their source

yoff
and
Copilot
committed
759a5b0
Python: test exposed shared SSA adjacency relations
yoff
committed
37b1bd7
Python: cache exposed shared SSA adjacency relations
yoff
committed
8b8b4ed
SSA: add opt-in cached liveness construction

yoff
and
Copilot
committed
703a112
Python: cache shared SSA liveness across stages

yoff
and
Copilot
committed
4af833d
SSA: add opt-in definition reachability caching
yoff
committed
200b72c
Python: cache shared SSA definition reachability
yoff
committed
2134961
Python: cache shared CFG scope
yoff
committed
059b4b5
Cache Python shared CFG node mapping
yoff
committed
9744f62
Bind explicit CFG successors before expansion

yoff
and
Copilot
committed
58232c4
Python: rebless implicit import SSA definitions

yoff
and
Copilot
committed
1078c2b