From 2ef25e8839d2237e339d12c8ea5a9a0810f1abd8 Mon Sep 17 00:00:00 2001 From: yoff Date: Thu, 30 Jul 2026 17:04:19 +0200 Subject: [PATCH] Potential fix for pull request finding Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- python/ql/test/library-tests/dataflow-new-ssa/test.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/python/ql/test/library-tests/dataflow-new-ssa/test.py b/python/ql/test/library-tests/dataflow-new-ssa/test.py index 8e7ecdbdff2..a5f24f10f3c 100644 --- a/python/ql/test/library-tests/dataflow-new-ssa/test.py +++ b/python/ql/test/library-tests/dataflow-new-ssa/test.py @@ -1,10 +1,10 @@ # Basic SSA tests for the new-CFG SSA adapter. # # The shared SSA implementation prunes its construction by liveness: -# definitions of variables that are not read are never materialised. -# This is by design — write-only variables would only bloat the SSA -# graph. Tests therefore must always include a read of each variable -# being verified. +# write definitions of variables that are never read in their scope are +# not materialised (except for module-scope globals, which may be read by +# importers). Scope-entry defs are only created for non-local reads when +# the variable has a defining store somewhere in the program. # # Annotations: # def=: there is an SSA write definition of at this line