16.2.11

break

,

continue

,

return

, and

throw

 Statements

DEFINITE ASSIGNMENT

Otherwise, if the initialization part is empty, then

V

 is definitely assigned after

the initialization part iff

V

 is definitely assigned before the initialization part.

Otherwise, three rules apply:

N

V

 is definitely assigned after the initialization part iff

V

 is definitely assigned

after the last expression statement in the initialization part.

N

V

 is definitely assigned before the first expression statement in the initializa 

tion part iff

V

 is definitely assigned before the initialization part.

N

V

 is definitely assigned before an expression statement

E

 other than the first

in the initialization part iff

V

 is definitely assigned after the expression state 

ment immediately preceding

E

.

16.2.10.2

Incrementation Part

If the incrementation part of the

for

 statement is empty, then

V

 is definitely

assigned after the incrementation part iff

V

 is definitely assigned before the

incrementation part.

Otherwise, three rules apply:

N

V

 is definitely assigned after the incrementation part iff

V

 is definitely

assigned after the last expression statement in the incrementation part.

N

V

 is definitely assigned before the first expression statement in the incre 

mentation part iff

V

 is definitely assigned before the incrementation part.

N

V

 is definitely assigned before an expression statement

E

 other than the first

in the incrementation part iff

V

 is definitely assigned after the expression

statement immediately preceding

E

.

16.2.11

break

,

continue

,

return

, and

throw

 Statements

Fiorello:

Hey, look!  Why can t the first part of the second

party be the second part of the first party?  Then

you ve got something!

 Chico Marx,

A Night at the Opera

 (1935)

By convention, we say that

V

 is definitely assigned after any

break

,

con 

tinue

,

return

, or

throw

 statement. The notion that a variable is  definitely

assigned after  a statement or expression really means  is definitely assigned

after the statement or expression completes normally . Because a

break

,

396