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