Predicate FlowVar_internal::initializer
Holds if v is initialized to have value assignedExpr.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate initializer(LocalVariable v, Expr assignedExpr)Holds if v is initialized to have value assignedExpr.
import semmle.code.cpp.dataflow.internal.FlowVarpredicate initializer(LocalVariable v, Expr assignedExpr)