Predicate exprNode
Gets the Node
corresponding to the value of evaluating e
or any of its
conversions. There is no result if e
is a Conversion
. For data flowing
out of an expression, like when an argument is passed by reference, use
definitionByReferenceNodeFromArgument
instead.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil