Skip to content

Commit ad9e7b7

Browse files
committed
C++: Give getInstructionTagId a result when tag is ThisAddressTag or ThisLoadTag
1 parent 8f6dbe9 commit ad9e7b7

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)