Predicate getAnAccessToAssignedVariable
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtil
VariableAccess
getAnAccessToAssignedVariable
(
Expr
assign
)