Member predicate DataFlow :: FunctionNode :: getReturnNode
Gets the data flow node representing the value returned from this function.
Note that this differs from
getAReturn(), in that every function has exactly
one canonical return node, but may have multiple (or zero) returned expressions.
The result of
getAReturn() is always a predecessor of
in the data-flow graph.