Cfg: Undo consistency check change.

aschackmull · aschackmull · commit 67c0515d3c39 · 2026-04-21T13:10:03.000+02:00
diff --git a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -1990,7 +1990,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
 
           /** Holds if `n` does not have a unique enclosing callable. */
           query predicate nonUniqueEnclosingCallable(AstNode n, int callables) {
-            callables = count(getEnclosingCallable(n)) and callables != 1
+            callables = strictcount(getEnclosingCallable(n)) and callables > 1
           }
 
           /**

Original file line number	Diff line number	Diff line change
`@@ -1990,7 +1990,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {`
`1990`	`1990`
`1991`	`1991`	/** Holds if `n` does not have a unique enclosing callable. */
`1992`	`1992`	`query predicate nonUniqueEnclosingCallable(AstNode n, int callables) {`
`1993`		`- callables = count(getEnclosingCallable(n)) and callables != 1`
	`1993`	`+ callables = strictcount(getEnclosingCallable(n)) and callables > 1`
`1994`	`1994`	`}`
`1995`	`1995`
`1996`	`1996`	`/**`