Python: cache shared SSA liveness across staged consumers (DCA) - #22465

Draft

yoff wants to merge 13 commits into

github:yoff/python-add-new-ssafrom

yoff:yoff-python-cache-shared-ssa-liveness

Commits on Aug 25, 2026

Python: model throwing leaves as post-order
yoff
committed
acbbd26
Python: switch dataflow library to new (shared) CFG + SSA

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

yoff
and
Copilot
committed
421b38e
Python: fix shared CFG facade CI checks
yoff
committed
b14666f
Python: unpin legacy CFG/ESSA from the AST cached stage

yoff
and
Copilot
committed
972e03e
Add captured call target diagnostic

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

yoff
and
Copilot
committed
14bdfd4
Python: test exposed shared SSA adjacency relations
yoff
committed
9630cbb
Python: cache exposed shared SSA adjacency relations
yoff
committed
adeebbd

Commits on Aug 28, 2026

Python: test direct guard specialization semantics
yoff
committed
b62bda5
Python: specialize direct truthiness guards
yoff
committed
8ae9f10

Commits on Aug 30, 2026

SSA: add opt-in cached liveness construction

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

yoff
and
Copilot
committed
8791147