C++: Use 'unique' in 'hasIRRepresentationOfIndirectInstruction' similar to how it's done in 'hasIRRepresentationOfIndirectOperand'.

2026-04-28 02:05:14 +02:00 · 2023-10-04 19:00:33 +02:00
parent 8e653d01a8
commit 75c74d50f9
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -815,7 +815,7 @@ private module Cached {
  ) {
    indirectionIndex = [1 .. countIndirectionsForCppType(getResultLanguageType(instr))] and
    exists(Instruction load, Operand address |
-      address.getDef() = instr and
+      address = unique( | | getAUse(instr)) and
      isDereference(load, address, false) and
      instrRepr = load and
      indirectionIndexRepr = indirectionIndex - 1