Description

Execution proceeds as follows:

1. At the time an assigned GO TO statement is executed, the variable i must have been assigned the label value of an executable statement in the same program unit as the assigned GO TO statement.

2. If an assigned GO TO statement is executed, control transfers to a statement identified by i.

3. If a list of statement labels is present, the statement label assigned to i must be one of the labels in the list.