C++: Fix conflation bug in 'getIRRepresentationOfIndirectInstruction'.

MathiasVP · MathiasVP · commit 9e9c811eb3c1 · 2023-06-22T10:59:11.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -796,7 +796,7 @@ private module Cached {
       address.getDef() = instr and
       isDereference(load, address) and
       isUseImpl(address, _, indirectionIndex - 1) and
-      result = instr
+      result = load
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -796,7 +796,7 @@ private module Cached {`
`796`	`796`	`address.getDef() = instr and`
`797`	`797`	`isDereference(load, address) and`
`798`	`798`	`isUseImpl(address, _, indirectionIndex - 1) and`
`799`		`- result = instr`
	`799`	`+ result = load`
`800`	`800`	`)`
`801`	`801`	`}`
`802`	`802`