[stmt.while] Generalize the equivalence for a declaration as the condition.

Author: jensmaurer

source/statements.tex

@@ -510,26 +510,23 @@
 When the condition of a \tcode{while} statement is a declaration, the scope of
 the variable that is declared extends from its point of
 declaration\iref{basic.scope.pdecl} to the end of the \tcode{while}
-\grammarterm{statement}. A \tcode{while} statement of the form
-
-\begin{codeblock}
-while (T t = x) @\grammarterm{statement}@
-\end{codeblock}
-
+\grammarterm{statement}. A \tcode{while} statement whose \grammarterm{condition}
+is an initialized declaration of some variable \tcode{t}
 is equivalent to
 
 \begin{codeblock}
 label:
 {                   // start of condition scope
-  T t = x;
+  @\grammarterm{condition}@ ;      @\,@// declares \tcode{t}
   if (t) {
     @\grammarterm{statement}@
     goto label;
   }
 }                   // end of condition scope
 \end{codeblock}
 
-The variable created in a condition is destroyed and created with each
+\begin{note}
+The variable created in the condition is destroyed and created with each
 iteration of the loop.
 \begin{example}
 
@@ -551,6 +548,7 @@
 once for the condition that succeeds and once for the condition that
 fails.
 \end{example}
+\end{note}
 
 \rSec2[stmt.do]{The \tcode{do} statement}%
 \indextext{statement!\idxcode{do}}