Predicate DataFlow::simpleLocalFlowStep
INTERNAL: do not use.
This is the local flow predicate that’s used as a building block in global
data flow. It may have less flow than the localFlowStep
predicate.
Import path
import semmle.code.cpp.dataflow.DataFlow
predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo)