CWG2345 [stmt.stmt, stmt.dcl] Jumping across initializers in init-statements and conditions (#1949)

Author: jensmaurer

source/statements.tex

@@ -35,7 +35,10 @@
 \indextext{\idxgram{condition}{s}!rules for}%
 The rules for \grammarterm{condition}{s} apply both to
 \grammarterm{selection-statement}{s} and to the \tcode{for} and \tcode{while}
-statements\iref{stmt.iter}. The \grammarterm{declarator} shall not
+statements\iref{stmt.iter}.
+A \grammarterm{condition} that is not an \grammarterm{expression} is a
+declaration\iref{dcl.dcl}.
+The \grammarterm{declarator} shall not
 specify a function or an array. The \grammarterm{decl-specifier-seq} shall not
 define a class or enumeration. If the \tcode{auto} \grammarterm{type-specifier} appears in
 the \grammarterm{decl-specifier-seq},
@@ -898,7 +901,9 @@
 \indextext{initialization!jump past}%
 \indextext{\idxcode{goto}!initialization and}%
 It is possible to transfer into a block, but not in a way that bypasses
-declarations with initialization. A program that jumps\footnote{The transfer from the condition of a \tcode{switch} statement to a
+declarations with initialization (including ones in \grammarterm{condition}s
+and \grammarterm{init-statement}s).
+A program that jumps\footnote{The transfer from the condition of a \tcode{switch} statement to a
 \tcode{case} label is considered a jump in this respect.}
 from a point where a variable with automatic storage duration is
 not in scope to a point where it is in scope is ill-formed unless the