From c567197f293edb9eeac71d45c52a345984777b89 Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Tue, 6 Jan 2026 21:58:43 +0100 Subject: [PATCH] C++: Simplify expression --- .../semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll index 05fa0e86d4a..10ebfdb5be0 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll @@ -688,10 +688,9 @@ private module Cached { conversionFlow(mid, instr, false, _) ) or - exists(int ind0, Operand address | + exists(Operand address | isDereference(operand.getDef(), address, _) and - isUseImpl(address, base, ind0) and - ind0 = ind - 1 + isUseImpl(address, base, ind - 1) ) }