2 <clause number="12.3.3.9" title="For statements">
3 <paragraph>Definite assignment checking for a for statement of the form: <code_example><![CDATA[
4 for (for-initializer; for-condition; for-iterator) embedded-statement
5 ]]></code_example>is done as if the statement were written: <code_example><![CDATA[
8 while (for-condition) {
13 ]]></code_example></paragraph>
14 <paragraph>If the <non_terminal where="15.8.3">for-condition</non_terminal> is omitted from the for statement, then evaluation of definite assignment proceeds as if <non_terminal where="15.8.3">for-condition</non_terminal> were replaced with true in the above expansion. </paragraph>