Predicate FlowVar_internal::blockVarDefinedByVariable
Holds if sbb is the SubBasicBlock where v receives its initial value.
See the documentation for FlowVar.definedByInitialValue.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate blockVarDefinedByVariable(SubBasicBlock sbb, StackVariable v)