Re: c/8293: C99 declaration syntax not accepted after case label

Re: c/8293: C99 declaration syntax not accepted after case label

[jsm28]

Synopsis: C99 declaration syntax not accepted after case label

State-Changed-From-To: open->closed
State-Changed-By: jsm28
State-Changed-When: Sun Oct 20 13:04:57 2002
State-Changed-Why:
    C99 does not allow it.  Statements and declarations may
    be mixed, but declarations are not a type of statement,
    and labels may only be applied to statements.  See
    block-item, 6.8.2#1, and labeled-statement, 6.8.1.
    
    As noted in a comment in c-parse.in, this is not
    implemented as a GCC extension because there would be
    a conflict between attributes on the label and on the
    declaration.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8293

c/8293: C99 declaration syntax not accepted after case label

[drepper]

>Number:         8293
>Category:       c
>Synopsis:       C99 declaration syntax not accepted after case label
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Oct 20 12:26:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Ulrich Drepper
>Release:        gcc 3.2
>Organization:
>Environment:
Linux x86, but this is platform independent
>Description:
If a variable declaration follows directly to a case label the compiler reports an error.  C99 allows this and gcc must support it if -std=c99 or -stdc=gnu99 is used.

>How-To-Repeat:
Compile:

int foo (int x) { switch (x) { case 1: int y = x; return y; default: return x + 1; } }
>Fix:
N/A
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="u.c"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="u.c"

aW50IGZvbyAoaW50IHgpIHsgc3dpdGNoICh4KSB7IGNhc2UgMTogaW50IHkgPSB4OyByZXR1cm4g
eTsgZGVmYXVsdDogcmV0dXJuIHggKyAxOyB9IH0K