From ad9e7b73439110c0066fb5cf3739fc43c3362bae Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 27 Oct 2020 22:16:01 +0100 Subject: [PATCH] C++: Give getInstructionTagId a result when tag is ThisAddressTag or ThisLoadTag --- .../cpp/ir/implementation/raw/internal/InstructionTag.qll | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll index 122a23b76a0..ce25dce9340 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll @@ -217,4 +217,8 @@ string getInstructionTagId(TInstructionTag tag) { tag = DynamicInitializationFlagConstantTag() and result = "DynInitFlagConst" or tag = DynamicInitializationFlagStoreTag() and result = "DynInitFlagStore" + or + tag = ThisAddressTag() and result = "ThisAddres" + or + tag = ThisLoadTag() and result = "ThisLoad" }