Predicate DataFlow::definitionByReferenceNodeFromArgument
Gets the Node corresponding to a definition by reference of the variable
that is passed as argument of a call.
Import path
import semmle.code.cpp.dataflow.DataFlowGets the Node corresponding to a definition by reference of the variable
that is passed as argument of a call.
import semmle.code.cpp.dataflow.DataFlow