From a4c845c418272f24963060562e3b01053d4518ce Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 15 Sep 2025 16:34:05 +0100 Subject: [PATCH] C++: Fix barrier in 'cpp/unbounded-write'. --- cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql b/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql index 2cce72bc2ae8..ff9bc59b716b 100644 --- a/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql +++ b/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql @@ -109,7 +109,7 @@ predicate lessThanOrEqual(IRGuardCondition g, Expr e, boolean branch) { g.comparesEq(left, _, _, true, branch) | interestingLessThanOrEqual(left) and - left.getDef().getUnconvertedResultExpression() = e + left.getDef().getConvertedResultExpression() = e ) }