Skip to content

Commit f91c44a

Browse files
yoffCopilot
andauthored
Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent 2ef25e8 commit f91c44a

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

  • python/ql/test/library-tests/dataflow-new-ssa-vs-legacy

python/ql/test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@
1212
* - Function / class / global definitions with no in-scope read
1313
* (intentional: SSA is liveness-pruned, write-only variables are
1414
* not tracked).
15-
* - Captured / closure variables (gap: new SSA does not yet model
16-
* closure captures).
15+
* - Captured / closure variables (if any remain; the new SSA inserts scope-entry
16+
* definitions for non-local reads, but legacy ESSA may still differ in corner cases).
1717
* - Module variables `__name__`, `__package__`, `$` (legacy ESSA
1818
* adds implicit bindings the new SSA does not).
1919
* - Exception-handler `as` bindings (depend on raise modelling).

0 commit comments

Comments
 (0)