We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8e653d0 commit 75c74d5Copy full SHA for 75c74d5
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -815,7 +815,7 @@ private module Cached {
815
) {
816
indirectionIndex = [1 .. countIndirectionsForCppType(getResultLanguageType(instr))] and
817
exists(Instruction load, Operand address |
818
- address.getDef() = instr and
+ address = unique( | | getAUse(instr)) and
819
isDereference(load, address, false) and
820
instrRepr = load and
821
indirectionIndexRepr = indirectionIndex - 1
0 commit comments