Predicate ignoreOperand
Holds if operand
is an operand that is not used by the dataflow library.
Ignored operands are not recognized as uses by SSA, and they don’t have a
corresponding (Indirect)OperandNode
.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
predicate ignoreOperand(Operand operand)