Predicate var_definition
Extended version of definition
that also includes parameters.
Import path
import cpp
predicate var_definition(StackVariable v, ControlFlowNode node)
Extended version of definition
that also includes parameters.
import cpp
predicate var_definition(StackVariable v, ControlFlowNode node)