DoWhileStatement

A ``do while'' statement in Standard SUIF corresponds directly to a ``do'' statement in C. It is the same as a WhileStatement except that the first execution of the body comes before the first test of the condition.

    concrete DoWhileStatement : Statement
      {
        Expression * owner condition in source_ops;
        Statement * owner body in child_statements;
        CodeLabelSymbol * reference break_label in defined_labels build {0};
        CodeLabelSymbol * reference continue_label in defined_labels build {0};
      };