16.1.11 The Boolean Operator ? :

Suppose that b and c are boolean-valued expressions.

• V is definitely assigned after a ? b : c when true iff both of the following are true:
  • V is definitely assigned before b or V is definitely assigned after b when true.
  • V is definitely assigned before c or V is definitely assigned after c when true.
• V is definitely assigned after a ? b : c when false iff both of the following are true:
  • V is definitely assigned before b or V is definitely assigned after b when false.
  • V is definitely assigned before c or V is definitely assigned after c when false.
• 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.