Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

MathiasVP · Copilot · web-flow · commit 702d6d80c40c · 2025-09-08T16:19:33.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -237,7 +237,7 @@ abstract private class GuardConditionImpl extends Expr {
   pragma[inline]
   final predicate ensuresLtEdge(Expr e, int k, BasicBlock pred, BasicBlock succ, boolean isLessThan) {
     exists(AbstractValue v |
-      this.comparesEq(e, k, isLessThan, v) and
+      this.comparesLt(e, k, isLessThan, v) and
       this.valueControlsEdge(pred, succ, v)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -237,7 +237,7 @@ abstract private class GuardConditionImpl extends Expr {`
`237`	`237`	`pragma[inline]`
`238`	`238`	`final predicate ensuresLtEdge(Expr e, int k, BasicBlock pred, BasicBlock succ, boolean isLessThan) {`
`239`	`239`	`exists(AbstractValue v \|`
`240`		`- this.comparesEq(e, k, isLessThan, v) and`
	`240`	`+ this.comparesLt(e, k, isLessThan, v) and`
`241`	`241`	`this.valueControlsEdge(pred, succ, v)`
`242`	`242`	`)`
`243`	`243`	`}`