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