Predicate FlowVar_internal::notAccessedAtStartOfBB
Holds if v has not been accessed at the start of bb, for a variable
v where allReadsDominatedByOverwrite(v) does not hold.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate notAccessedAtStartOfBB(UninitializedLocalVariable v, BasicBlock bb)