From 702d6d80c40ccdc2e6e90f50757e9badd6c9f1e3 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 8 Sep 2025 16:19:33 +0100 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll index b816e92ebbf..f782a2c117d 100644 --- 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) ) }