Predicate IteratorFlow::localFlowStep
Holds if nodeFrom flows to nodeTo in a single step.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate localFlowStep(Node nodeFrom, Node nodeTo)Holds if nodeFrom flows to nodeTo in a single step.
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate localFlowStep(Node nodeFrom, Node nodeTo)