DEFINITE ASSIGNMENT

if

 Statements

16.2.6

V

 is definitely assigned before any other statement

S

 of the block iff it is defi 

nitely assigned after the statement immediately preceding

S

 in the block.

16.2.3   Local Variable Declaration Statements

V

 is definitely assigned after a local variable declaration statement that con 

tains no initializers iff it is definitely assigned before the local variable decla 

ration statement.

V

 is definitely assigned after a local variable declaration statement that con 

tains initializers iff either it is definitely assigned after the last initializer

expression in the local variable declaration statement or the last initializer

expression in the declaration is in the declarator that declares

V

.

V

 is definitely assigned before the first initializer expression iff it is definitely

assigned before the local variable declaration statement.

V

 is definitely assigned before any other initializer expression

e

iff either it is

definitely assigned after the initializer expression immediately preceding

e

in

the local variable declaration statement or the initializer expression immedi 

ately preceding

e

in the local variable declaration statement is in the declara 

tor that declares

V

.

16.2.4   Labeled Statements

V

 is definitely assigned after a labeled statement

L:S

 (where

L

 is a label) iff

V

is definitely assigned after

S

 and

V

 is definitely assigned before every

break

statement that may exit the labeled statement

L:S

.

V

 is definitely assigned before

S

 iff

V

 is definitely assigned before

L:S

.

16.2.5   Expression Statements

V

 is definitely assigned after an expression statement

e

;

 iff it is definitely

assigned after

e

.

V

 is definitely assigned before

e

 iff it is definitely assigned before

e

;

.

16.2.6

if

 Statements

V

 is definitely assigned after

if (

e

) S

 iff

V

 is definitely assigned after

S

 and

V

is definitely assigned after

e

 when false.

393