C++: Simplify expression

2026-02-12 05:01:06 +01:00 · 2026-01-06 21:58:43 +01:00
parent 063e5d300e
commit c567197f29
1 changed files with 2 additions and 3 deletions
--- 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)
    )
  }