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.SsaInternalsCommonpredicate ignoreInstruction(Instruction instr)