DEFINITE ASSIGNMENT

for

 Statements

16.2.10

16.2.9

do

 Statements

V

 is definitely assigned after

do S while (

e

);

 iff

V

 is definitely assigned after

e

 when false and

V

 is definitely assigned before every

break

 statement that

may exit the

do

 statement.

V

 is definitely assigned before

S

 iff

V

 is definitely assigned before the

do

statement.

V

 is definitely assigned before

e

 iff

V

 is definitely assigned after

S

 and

V

 is

definitely assigned before every

continue

 statement that may exit the body

of the

do

 statement.

16.2.10

for

 Statements

V

 is definitely assigned after a

for

 statement iff both of the following are true:

N

Either a condition expression is not present or

V

 is definitely assigned after

the condition expression when false.

N

V

 is definitely assigned before every

break

 statement that may exit the

for

statement.

V

 is definitely assigned before the initialization part of the

for

 statement iff

V

is definitely assigned before the

for

 statement.

V

 is definitely assigned before the condition part of the

for

 statement iff

V

 is

definitely assigned after the initialization part of the

for

 statement.

V

 is definitely assigned before the contained statement iff either of the follow 

ing is true:

N

A condition expression is present and

V

 is definitely assigned after the con 

dition expression when true.

N

No condition expression is present and

V

 is definitely assigned after the ini 

tialization part of the

for

 statement.

V

 is definitely assigned before the incrementation part of the

for

 statement iff

V

 is definitely assigned after the contained statement and

V

 is definitely

assigned before every

continue

 statement that may exit the body of the

for

statement.

16.2.10.1

Initialization Part

If the initialization part of the

for

 statement is a local variable declaration

statement, the rules of  16.2.3 apply.

395