c++/8928: gcc fails to reject an ill-formed specialization of a typedef

c++/8928: gcc fails to reject an ill-formed specialization of a typedef

[sebor]

>Number:         8928
>Category:       c++
>Synopsis:       gcc fails to reject an ill-formed specialization of a typedef
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Dec 13 09:06:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     sebor@roguewave.com
>Release:        gcc 3.2
>Organization:
>Environment:

>Description:
The ill-formed program below compiles w/o an error with gcc 3.2.

$ cat t.cpp; gcc --version; gcc t.cpp -c; echo $?
namespace N {

template <class T, class U> struct S { };
typedef S<int, int> Sii;

}

N::Sii<int, int> s;   // Sii is not a template
gcc (GCC) 3.2
Copyright (C) 2002 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

0
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:

Re: c++/8928: gcc fails to reject an ill-formed specialization of a typedef

[reichelt]

Synopsis: gcc fails to reject an ill-formed specialization of a typedef

State-Changed-From-To: analyzed->closed
State-Changed-By: reichelt
State-Changed-When: Sun Jan 12 15:53:07 2003
State-Changed-Why:
    The bug is fixed in gcc 3.4-20021230 with the new parser.
    
    We now get the following error message:
    
    PR8928.cc:8: error: expected unqualified-id
    PR8928.cc:8: error: expected `,' or `;'
    
    (Testcase in preparation.)

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

Re: c++/8928: gcc fails to reject an ill-formed specialization of a typedef

[reichelt]

Synopsis: gcc fails to reject an ill-formed specialization of a typedef

State-Changed-From-To: open->analyzed
State-Changed-By: reichelt
State-Changed-When: Fri Dec 13 09:20:38 2002
State-Changed-Why:
    Confirmed.
    gcc fails at least since gcc 2.95.x to reject the code.

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