BLOCKS AND STATEMENTS

Abrupt Completion

14.11.1

do

 statement completes abruptly for the same reason. Otherwise, there is a

choice based on the resulting value:

N

If the value is

true

, then the entire

do

 statement is executed again.

N

If the value is

false

, no further action is taken and the

do

 statement com 

pletes normally.

If execution of the

Statement

 completes abruptly, see  14.11.1 below.

Executing a

do

 statement always executes the contained

Statement

 at least once.

14.11.1   Abrupt Completion

Abrupt completion of the contained

Statement

 is handled in the following manner:

If execution of the

Statement

 completes abruptly because of a

break

 with no

label, then no further action is taken and the

do

 statement completes normally.

If execution of the

Statement

 completes abruptly because of a

continue

 with

no label, then the

Expression

 is evaluated. Then there is a choice based on the

resulting value:

N

If the value is

true

, then the entire

do

 statement is executed again.

N

If the value is

false

, no further action is taken and the

do

 statement com 

pletes normally.

If execution of the

Statement

 completes abruptly because of a

continue

 with

label

L

, then there is a choice:

N

If the

do

 statement has label

L

, then the

Expression

 is evaluated. Then there

is a choice:

O

If the value of the

Expression

 is

true

, then the entire

do

 statement is exe 

cuted again.

O

If the value of the

Expression

 is

false

, no further action is taken and the

do

 statement completes normally.

N

If the

do

 statement does not have label

L

, the

do

 statement completes

abruptly because of a

continue

 with label

L

.

If execution of the

Statement

 completes abruptly for any other reason, the

do

statement completes abruptly for the same reason. The case of abrupt comple 

tion because of a

break

 with a label is handled by the general rule ( 14.6).

279