Predicate FlowVar_internal::overwrite
Holds if the value of the variable accessed at va is completely
overwritten at node, where va is uniquely determined by node.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate overwrite(VariableAccess va, ControlFlowNode node)