Predicate FlowVar_internal::dominatedByOverwrite
Holds if va accesses v and is dominated by an overwrite of v.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate dominatedByOverwrite(UninitializedLocalVariable v, VariableAccess va)