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.
do
statement.
continue
statement that may exit the body of the do
statement.