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