hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-07-31 07:22:56 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: simulated-rebase fixup — VariableCapture Flow uses CfgImpl::Cfg

Browse Source 
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<Location, BbInput>, 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
This commit is contained in:
yoff
2026-07-21 11:35:40 +00:00
parent ee8c0c6a58
commit a026382c63
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/lib/semmle/python/dataflow/new/internal/VariableCapture.qll
View File

@@ -119,7 +119,7 @@ class CapturedVariable = CaptureInput::CapturedVariable;
class ClosureExpr = CaptureInput::ClosureExpr;
module Flow = Shared::Flow<Location, Cfg::CfgForBb, CaptureInput>;
module Flow = Shared::Flow<Location, CfgImpl::Cfg, CaptureInput>;
private Flow::ClosureNode asClosureNode(Node n) {
result = n.(SynthCaptureNode).getSynthesizedCaptureNode()