From f91c44aaa37f3f9fb39283dac71b0ca06bcdce74 Mon Sep 17 00:00:00 2001 From: yoff Date: Thu, 30 Jul 2026 17:11:35 +0200 Subject: [PATCH] Potential fix for pull request finding Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- .../test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/ql/test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql b/python/ql/test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql index 590f5ebed47..87bce8b59d4 100644 --- a/python/ql/test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql +++ b/python/ql/test/library-tests/dataflow-new-ssa-vs-legacy/CmpTest.ql @@ -12,8 +12,8 @@ * - Function / class / global definitions with no in-scope read * (intentional: SSA is liveness-pruned, write-only variables are * not tracked). - * - Captured / closure variables (gap: new SSA does not yet model - * closure captures). + * - Captured / closure variables (if any remain; the new SSA inserts scope-entry + * definitions for non-local reads, but legacy ESSA may still differ in corner cases). * - Module variables `__name__`, `__package__`, `$` (legacy ESSA * adds implicit bindings the new SSA does not). * - Exception-handler `as` bindings (depend on raise modelling).