Predicate conversionFlow
Holds if opFrom is an operand whose value flows to the result of instrTo.
isPointerArith is true if instrTo is a PointerArithmeticInstruction and opFrom
is the left operand.
additional is true if the conversion is supplied by an implementation of the
Indirection class. It is sometimes useful to exclude such conversions.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowNodespredicate conversionFlow(Operand opFrom, Instruction instrTo, boolean isPointerArith, boolean additional)