jorgectf
diff --git a/‎cpp/ql/src/semmle/code/cpp/controlflow/DefinitionsAndUses.qll
Lines changed: 1 addition & 1 deletion b/‎cpp/ql/src/semmle/code/cpp/controlflow/DefinitionsAndUses.qll
Lines changed: 1 addition & 1 deletion
@@ -208,7 +208,7 @@ private predicate bbSuccessorEntryReachesDefOrUse(
   boolean skipsFirstLoopAlwaysTrueUponEntry
 ) {
   exists(BasicBlock succ, boolean succSkipsFirstLoopAlwaysTrueUponEntry |
-    bbSuccessorEntryReachesLoopInvariant(bb, succ, skipsFirstLoopAlwaysTrueUponEntry,
+    bbSuccessorEntryReachesLoopInvariant0(bb, succ, skipsFirstLoopAlwaysTrueUponEntry,
       succSkipsFirstLoopAlwaysTrueUponEntry)
   |
     bbEntryReachesDefOrUseLocally(succ, v, defOrUse) and
Original file line number	Diff line number	Diff line change
`@@ -208,7 +208,7 @@ private predicate bbSuccessorEntryReachesDefOrUse(`
`208`	`208`	`boolean skipsFirstLoopAlwaysTrueUponEntry`
`209`	`209`	`) {`
`210`	`210`	`exists(BasicBlock succ, boolean succSkipsFirstLoopAlwaysTrueUponEntry \|`
`211`		`- bbSuccessorEntryReachesLoopInvariant(bb, succ, skipsFirstLoopAlwaysTrueUponEntry,`
	`211`	`+ bbSuccessorEntryReachesLoopInvariant0(bb, succ, skipsFirstLoopAlwaysTrueUponEntry,`
`212`	`212`	`succSkipsFirstLoopAlwaysTrueUponEntry)`
`213`	`213`	`\|`
`214`	`214`	`bbEntryReachesDefOrUseLocally(succ, v, defOrUse) and`