From a026382c636550f7b7db0a54933b09c7b2044cc7 Mon Sep 17 00:00:00 2001 From: yoff Date: Tue, 21 Jul 2026 11:35:40 +0000 Subject: [PATCH] =?UTF-8?q?Python:=20simulated-rebase=20fixup=20=E2=80=94?= =?UTF-8?q?=20VariableCapture=20Flow=20uses=20CfgImpl::Cfg?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The canonicalization work on the CFG facade PR removed the thin `Cfg::CfgForBb` wrapper module ("we have CfgImpl::Cfg already"), so the variable-capture Flow instantiation must reference the native `CfgImpl::Cfg` (= BB::Make, which implements BB::CfgSig) directly. This is the only mechanical change needed when the dataflow flip is rebased onto the canonicalized CFG facade. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: e1faf86b-2dba-40bd-9419-f10184c53d72 --- .../lib/semmle/python/dataflow/new/internal/VariableCapture.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/VariableCapture.qll b/python/ql/lib/semmle/python/dataflow/new/internal/VariableCapture.qll index a3f027fa37d..efe10ca9f8d 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/VariableCapture.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/VariableCapture.qll @@ -119,7 +119,7 @@ class CapturedVariable = CaptureInput::CapturedVariable; class ClosureExpr = CaptureInput::ClosureExpr; -module Flow = Shared::Flow; +module Flow = Shared::Flow; private Flow::ClosureNode asClosureNode(Node n) { result = n.(SynthCaptureNode).getSynthesizedCaptureNode()