Predicate exprDefinition
Holds if def is a (definite) assignment to the stack variable v. e is
the assigned expression.
Import path
import semmle.code.cpp.controlflow.DefinitionsAndUsespredicate exprDefinition(SemanticStackVariable v, ControlFlowNode def, Expr e)