ReturnStatement

A ReturnStatement causes the execution of the current procedure to end and optionally provides the return values for the current call.

    concrete ReturnStatement : Statement
      {
        Expression * owner return_value in source_ops;
      };

return_value

The return value. The result_type of the return_value must be the same as that of the enclosing ProcedureDefinition's ProcedureSymbol's type has a VoidType result_type. If that result_type is a VoidType, then this field will be NULL.