Predicate FlowVar_internal::getAnOverwritingBB
Gets a basic block in which v is overwritten.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarGets a basic block in which v is overwritten.
import semmle.code.cpp.dataflow.internal.FlowVar