C++: Simplify expression

jketema · jketema · commit c567197f293e · 2026-01-06T21:58:43.000+01:00
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
@@ -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)
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -688,10 +688,9 @@ private module Cached {`
`688`	`688`	`conversionFlow(mid, instr, false, _)`
`689`	`689`	`)`
`690`	`690`	`or`
`691`		`- exists(int ind0, Operand address \|`
	`691`	`+ exists(Operand address \|`
`692`	`692`	`isDereference(operand.getDef(), address, _) and`
`693`		`- isUseImpl(address, base, ind0) and`
`694`		`- ind0 = ind - 1`
	`693`	`+ isUseImpl(address, base, ind - 1)`
`695`	`694`	`)`
`696`	`695`	`}`
`697`	`696`