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.