LabelLocationStatement

A LabelLocationStatement marks the point in the code that a CodeLabelSymbol refers to. Each CodeLabelSymbol must have exactly one definition, either a LabelLocation Statement or a definition by some other statement, such as as the break_label of a ForStatement. A jump to the label for a LabelLocationStatement causes control to restart at that point. The LabelLocationStatement itself has no effect, so execution continues with whatever follows.

    concrete LabelLocationStatement : Statement
      {
        CodeLabelSymbol * reference defined_label in defined_labels;
      };

defined_label

Label for this statement.