Predicate signature TypeTrackingInput::returnStep
Holds if nodeFrom steps to nodeTo by being returned from a call.
signature predicate returnStep(Node nodeFrom, LocalSourceNode nodeTo)Holds if nodeFrom steps to nodeTo by being returned from a call.
signature predicate returnStep(Node nodeFrom, LocalSourceNode nodeTo)