yoff 3c21bbfbf5 Python: test dead bindings under no-raise CFG abstraction ...

Adds 'dead_under_no_raise.py' to the bindings test suite, capturing the
three CPython patterns where bindings legitimately have no CFG node
because the surrounding code is unreachable under the 'no expressions
raise' abstraction:

  1. Statements after a 'try: return X; except: pass' block.
  2. The 'else:' clause of a try whose body always raises.
  3. Cache-lookup pattern 'try: return cache[k]; except: pass' followed
     by computation and store.

These bindings intentionally carry no 'cfgdefines=' annotations. If
raise modelling is later added to the CFG, the BindingsTest will surface
the new CFG nodes as unexpected results and this file will need to be
revisited.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

2026-05-26 16:32:43 +00:00

..

consistency-queries

python: add consistency checks

2026-05-26 16:32:38 +00:00

examples

Python: Fix example snippets

2025-11-26 12:30:30 +00:00

integration-tests/query-suite

python: Add query for prompt injection

2026-01-29 23:47:52 +01:00

lib

Python: wire PEP 695 type parameters into the shared CFG (green)

2026-05-26 16:32:42 +00:00

src

Post-release preparation for codeql-cli-2.25.5

2026-05-18 15:20:31 +00:00

test

Python: test dead bindings under no-raise CFG abstraction

2026-05-26 16:32:43 +00:00