Skip to content

Commit 58b6317

Browse files
committed
C++: Fix VariableAddress instruction association for unnamed parameters
1 parent 8d16d02 commit 58b6317

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -857,7 +857,12 @@ class TranslatedParameterReadEffect extends TranslatedReadEffect, TTranslatedPar
857857
}
858858

859859
final override IRVariable getInstructionVariable(InstructionTag tag) {
860-
tag = OnlyInstructionTag() and
860+
(
861+
tag = OnlyInstructionTag() or
862+
tag = InitializerStoreTag() or
863+
tag = InitializerVariableAddressTag() or
864+
tag = InitializerIndirectStoreTag()
865+
) and
861866
result = getIRUserVariable(this.getFunction(), param)
862867
}
863868
}

0 commit comments

Comments
 (0)