Predicate ignoreInstruction
Holds if instr
is an instruction that is not used by the dataflow library.
Ignored instructions are not recognized as reads/writes by SSA, and they
don’t have a corresponding (Indirect)InstructionNode
.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
predicate ignoreInstruction(Instruction instr)