Contents Index Search Previous Next
5.8 Goto Statements
specifies an explicit transfer of control from this statement
to a target statement with a given label.
::= goto label_name
Name Resolution Rules
shall resolve to denote a label
with that label
is the target statement
The innermost sequence_of_statements
that encloses the target statement shall also enclose the goto_statement.
Furthermore, if a goto_statement
is enclosed by an accept_statement
or a body, then the target statement shall not be outside this enclosing
The execution of a goto_statement
transfers control to the target statement, completing the execution of
but does not
enclose the target.
10 The above rules allow
transfer of control to a statement
of an enclosing sequence_of_statements
but not the reverse. Similarly, they prohibit transfers of control such
as between alternatives of a case_statement,
if_statement, or select_statement;
between exception_handlers; or from
an exception_handler of a handled_sequence_of_statements
back to its sequence_of_statements.
Example of a
loop containing a goto statement:
for I in 1 .. N-1 loop
if A(I) > A(I+1) then
Contents Index Search Previous Next Legal