Skip to content

Commit 27ad7bc

Browse files
author
Dave Bartolomeo
authored
Merge pull request #4560 from MathiasVP/instruction-tag-for-this-addr-and-load
C++: Make sure getInstructionTagId has a result for `this` related IPA branches
2 parents 8f6dbe9 + ad9e7b7 commit 27ad7bc

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -217,4 +217,8 @@ string getInstructionTagId(TInstructionTag tag) {
217217
tag = DynamicInitializationFlagConstantTag() and result = "DynInitFlagConst"
218218
or
219219
tag = DynamicInitializationFlagStoreTag() and result = "DynInitFlagStore"
220+
or
221+
tag = ThisAddressTag() and result = "ThisAddres"
222+
or
223+
tag = ThisLoadTag() and result = "ThisLoad"
220224
}

0 commit comments

Comments
 (0)