Predicate CachedSteps::returnStep

Holds if there is a flow step from pred to succ through:

  • returning a value from a function call, or
  • throwing an exception out of a function call, or
  • the receiver flowing out of a constructor call.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate returnStep(Node pred, Node succ)