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


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