16.1.12

The Conditional Operator

? :

DEFINITE ASSIGNMENT

16.1.12   The Conditional Operator

? :

Suppose that

b

 and

c

 are expressions that are not boolean valued.

V

 is definitely assigned after

a

?

b

:

c

iff both of the following are true:

N

V

 is definitely assigned after

b

.

N

V

 is definitely assigned after

c

.

V

 is definitely assigned before

a

 iff

V

 is definitely assigned before

a

?

b

:

c

.

V

 is definitely assigned before

b

iff

V

 is definitely assigned after

a

 when true.

V

 is definitely assigned before

c

iff

V

 is definitely assigned after

a

 when false.

16.1.13   Boolean Assignment Expressions

Suppose that an assignment expression

a

=

b

,

a

&=

b

,

a

|=

b

, or

a

^=

b

 is boolean 

valued.

V

 is definitely assigned before

a

 iff

V

 is definitely assigned before the assign 

ment expression.

V

 is definitely assigned before

b

 iff

V

 is definitely assigned after

a

.

V

 is definitely assigned after

a

=

b

 when true iff either

a

 is

V

 or

V

 is definitely

assigned after the right hand operand expression when true.

V

 is definitely assigned after

a

=

b

 when false iff either

a

 is

V

 or

V

 is definitely

assigned after the right hand operand expression when false.

V

 is definitely assigned after

a

&=

b

 when true iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

&

b

 (in the same context) when true.

V

 is definitely assigned after

a

&=

b

 when false iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

&

b

 (in the same context) when false.

V

 is definitely assigned after

a

|=

b

 when true iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

|

b

 (in the same context) when true.

V

 is definitely assigned after

a

|=

b

 when false iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

|

b

 (in the same context) when false.

V

 is definitely assigned after

a

^=

b

 when true iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

^

b

 (in the same context) when true.

V

 is definitely assigned after

a

^=

b

 when false iff either

a

 is

V

 or

V

 would be

definitely assigned after

a

^

b

 (in the same context) when false.

390