16.2.7 switch Statements

• V is definitely assigned after a switch statement iff both of the following are true:
  • Either the switch block is empty or V is definitely assigned after the last statement of the switch block.
  • V is definitely assigned before every break statement that may exit the switch statement.
• V is definitely assigned before the switch expression iff V is definitely assigned before the switch statement.
• V is definitely assigned before a statement or local variable declaration statement S in the switch block iff at least one of the following is true:
  • V is definitely assigned after the switch expression.
  • S is not labeled by a case or default label and V is definitely assigned after the preceding statement.