python: use unused variable

yoff · yoff · commit 9bfa6ae03056 · 2026-01-16T01:09:06.000+01:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -600,7 +600,8 @@ module BarrierGuard<guardChecksSig/3 guardChecks> {
   }
 
   private predicate extendedGuardChecks(GuardNode g, ControlFlowNode node, boolean branch, Unit u) {
-    guardChecks(g, node, branch)
+    guardChecks(g, node, branch) and
+    u = u
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -600,7 +600,8 @@ module BarrierGuard<guardChecksSig/3 guardChecks> {`
`600`	`600`	`}`
`601`	`601`
`602`	`602`	`private predicate extendedGuardChecks(GuardNode g, ControlFlowNode node, boolean branch, Unit u) {`
`603`		`- guardChecks(g, node, branch)`
	`603`	`+ guardChecks(g, node, branch) and`
	`604`	`+ u = u`
`604`	`605`	`}`
`605`	`606`	`}`
`606`	`607`