Predicate definitionByReferenceNodeFromArgument
Gets the Node corresponding to a definition by reference of the variable
that is passed as unconverted argument of a call.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilGets the Node corresponding to a definition by reference of the variable
that is passed as unconverted argument of a call.
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil