Predicate convertedExprNode
Gets the Node
corresponding to the value of evaluating e
. Here, e
may
be 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