Predicate variableNode
Gets the VariableNode
corresponding to the variable v
.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
VariableNode
variableNode
(
Variable
v
)