Skip to content

CWG2345 Jumping across initializers in init-statements and conditions #1949

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tkoeppe merged 1 commit into from
Mar 30, 2018
Merged

CWG2345 Jumping across initializers in init-statements and conditions #1949

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 7 additions & 2 deletions source/statements.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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},
Expand Down Expand Up @@ -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
Expand Down