Predicate FlowVar_internal::allReadsDominatedByOverwrite
Holds if all read accesses of v are dominated by an overwrite of v.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate allReadsDominatedByOverwrite(UninitializedLocalVariable v)