Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
yoff wants to merge 13 commits into
base: yoff/python-add-new-ssa
Choose a base branch
from
Draft

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

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
acbbd26
Python: model throwing leaves as post-order
yoff Aug 25, 2026
f1e1ab7
Python: switch dataflow library to new (shared) CFG + SSA
yoff Jun 4, 2026
421b38e
Python: preserve bindingset on new-CFG node dominance wrappers
yoff Jul 2, 2026
b14666f
Python: fix shared CFG facade CI checks
yoff Aug 20, 2026
972e03e
Python: unpin legacy CFG/ESSA from the AST cached stage
yoff Jul 2, 2026
a529a03
Add captured call target diagnostic
yoff Aug 21, 2026
14bdfd4
Bind captured type-tracking jumps from their source
yoff Aug 21, 2026
9630cbb
Python: test exposed shared SSA adjacency relations
yoff Aug 25, 2026
adeebbd
Python: cache exposed shared SSA adjacency relations
yoff Aug 25, 2026
b62bda5
Python: test direct guard specialization semantics
yoff Aug 28, 2026
8ae9f10
Python: specialize direct truthiness guards
yoff Aug 28, 2026
c191e3c
SSA: add opt-in cached liveness construction
yoff Aug 30, 2026
8791147
Python: cache shared SSA liveness across stages
yoff Aug 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Python: model throwing leaves as post-order 
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 860cd56d-31cf-49f4-a947-45e0d72447c6
  • Loading branch information
@yoff
yoff committed Aug 25, 2026
commit acbbd26ddda12cdfd5b12b74d9d29c73075a68c4
4 changes: 3 additions & 1 deletion python/ql/lib/semmle/python/controlflow/internal/AstNodeImpl.qll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1626,6 +1626,8 @@ private module Input implements InputSig1, InputSig2 {
n = any(Ast::AssertStmt a).getTest()
}

predicate postOrInOrder(Ast::AstNode n) { mayThrow(n) }

private string assertThrowTag() { result = "[assert-throw]" }

/**
Expand Down Expand Up @@ -1724,7 +1726,7 @@ private module Input implements InputSig1, InputSig2 {
always = true
or
mayThrow(ast) and
n.injects(ast) and
n.isIn(ast) and
c.asSimpleAbruptCompletion() instanceof ExceptionSuccessor and
always = false
}
Expand Down