[Bug c++/25439] New: [4.0/4.1/4.3 regression] "template<> int A<0>" accepted

[Bug c++/25439] New: [4.0/4.1/4.3 regression] "template<> int A<0>" accepted

[reichelt at gcc dot gnu dot org]

The following invalid code snippet is accepted since GCC 4.0.0:

============================
template<int> struct A;
template<> int A<0>;
============================

Before we got the error message:
  bug.cc:2: error: `A<0>' specified as declarator-id
  bug.cc:2: error: extraneous `int' ignored


-- 
           Summary: [4.0/4.1/4.3 regression] "template<> int A<0>" accepted
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Keywords: accepts-invalid, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-12-25 01:43 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-12-25 01:43:21
               date|                            |
   Target Milestone|---                         |4.0.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[mmitchel at gcc dot gnu dot org]

------- Comment #2 from mmitchel at gcc dot gnu dot org  2005-12-27 06:49 -------
Subject: Bug 25439

Author: mmitchel
Date: Tue Dec 27 06:49:21 2005
New Revision: 109076

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109076
Log:
        PR c++/25439
        * decl.c (grokdeclarator): Remove dead code.
        * ptree.c (cxx_print_xnode): Handle BASELINK.
        * parser.c (make_id_declarator): Add sfk parameter.  
        (cp_parser_direct_declarator): Do not pass TYPE_DECLs to
        make_id_declarator.
        (cp_parser_declarator_id): Simplify BASELINKs here.
        (cp_parser_member_declaration): Adjust calls to
        make_id_declarator.
        PR c++/25439
        * g++.dg/parse/crash17.C: Adjust error markers.
        * g++.dg/template/error20.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/error20.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/decl.c
    branches/gcc-4_1-branch/gcc/cp/parser.c
    branches/gcc-4_1-branch/gcc/cp/ptree.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/parse/crash17.C


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2005-12-27 06:50 -------
Subject: Bug 25439

Author: mmitchel
Date: Tue Dec 27 06:50:10 2005
New Revision: 109077

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109077
Log:
        PR c++/25439
        * decl.c (grokdeclarator): Remove dead code.
        * ptree.c (cxx_print_xnode): Handle BASELINK.
        * parser.c (make_id_declarator): Add sfk parameter.  
        (cp_parser_direct_declarator): Do not pass TYPE_DECLs to
        make_id_declarator.
        (cp_parser_declarator_id): Simplify BASELINKs here.
        (cp_parser_member_declaration): Adjust calls to
        make_id_declarator.
        PR c++/25439
        * g++.dg/parse/crash17.C: Adjust error markers.
        * g++.dg/template/error20.C: New test.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/g++.dg/template/error20.C
Modified:
    branches/gcc-4_0-branch/gcc/cp/ChangeLog
    branches/gcc-4_0-branch/gcc/cp/decl.c
    branches/gcc-4_0-branch/gcc/cp/parser.c
    branches/gcc-4_0-branch/gcc/cp/ptree.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_0-branch/gcc/testsuite/g++.dg/parse/crash17.C


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2005-12-27 09:05 -------
Subject: Bug 25439

Author: mmitchel
Date: Tue Dec 27 09:05:17 2005
New Revision: 109079

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109079
Log:
        PR c++/25439
        * decl.c (grokdeclarator): Remove dead code.
        * ptree.c (cxx_print_xnode): Handle BASELINK.
        * parser.c (make_id_declarator): Add sfk parameter.  
        (cp_parser_direct_declarator): Do not pass TYPE_DECLs to
        make_id_declarator.
        (cp_parser_declarator_id): Simplify BASELINKs here.
        (cp_parser_member_declaration): Adjust calls to
        make_id_declarator.
        PR c++/25439
        * g++.dg/parse/crash17.C: Adjust error markers.
        * g++.dg/template/error20.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/error20.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/ptree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/parse/crash17.C


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439

[Bug c++/25439] [4.0/4.1/4.2 regression] "template<> int A<0>" accepted

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2005-12-27 09:05 -------
Fixed in 4.0.3.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439