Predicate FlowVar_internal::readAccess
Holds if the value of the variable accessed at va may affect the execution
of the program.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate readAccess(VariableAccess va)Holds if the value of the variable accessed at va may affect the execution
of the program.
import semmle.code.cpp.dataflow.internal.FlowVarpredicate readAccess(VariableAccess va)