2 <clause number="12.3.3.11" title="Throw statements">
3 <paragraph>For a statement stmt of the form <code_example><![CDATA[
5 ]]></code_example></paragraph>
6 <paragraph>The definite assignment state of v at the beginning of expr is the same as the definite assignment state of v at the beginning of stmt. </paragraph>