next up previous contents
Next: LabelLocationStatement Up: Simple Control Flow Statements Previous: JumpIndirectStatement   Contents


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.



SUIF Nightly Build
2000-08-14