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 311d6c7b92d..c60c726a0c0 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 @@ -1,14 +1,5 @@ private import cpp -private predicate fieldIsInitialized(Field field) { - exists(ClassAggregateLiteral initList | - initList.isInitialized(field) - ) or - exists(ConstructorFieldInit init | - field = init.getTarget() - ) -} - newtype TInstructionTag = OnlyInstructionTag() or // Single instruction (not including implicit Load) InitializeThisTag() or