github
diff --git a/‎shared/dataflow/codeql/dataflow/VariableCapture.qll‎
Lines changed: 2 additions & 0 deletions b/‎shared/dataflow/codeql/dataflow/VariableCapture.qll‎
Lines changed: 2 additions & 0 deletions
@@ -389,6 +389,8 @@ module Flow<
       msg = "Callable has multiple locations" and 2 <= strictcount(c.getLocation())
     }
 
+    import SsaFlow::DfConsistency
+
     query predicate consistencyOverview(string msg, int n) {
       uniqueToString(msg, n) or
       n = strictcount(BasicBlock bb | uniqueEnclosingCallable(bb, msg)) or
Original file line number	Diff line number	Diff line change
`@@ -389,6 +389,8 @@ module Flow<`
`389`	`389`	`msg = "Callable has multiple locations" and 2 <= strictcount(c.getLocation())`
`390`	`390`	`}`
`391`	`391`
	`392`	`+ import SsaFlow::DfConsistency`
	`393`	`+`
`392`	`394`	`query predicate consistencyOverview(string msg, int n) {`
`393`	`395`	`uniqueToString(msg, n) or`
`394`	`396`	`n = strictcount(BasicBlock bb \| uniqueEnclosingCallable(bb, msg)) or`