Predicate FlowVar_internal::mayBeUsedUninitialized
Holds if va may be an uninitialized access to v.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate mayBeUsedUninitialized(UninitializedLocalVariable v, VariableAccess va)Holds if va may be an uninitialized access to v.
import semmle.code.cpp.dataflow.internal.FlowVarpredicate mayBeUsedUninitialized(UninitializedLocalVariable v, VariableAccess va)