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