[Bug c++/28301] New: [4.0/4.1/4.2 regression] ICE with broken specialization

[Bug c++/28301] New: [4.0/4.1/4.2 regression] ICE with broken specialization

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since GCC 3.4.0:

===========================================
template<typename> struct A
{
    template<int> void foo()  // missing ;
};

template<> struct A<void>
{
    template<int> void foo();
};

void bar()
{
    A<void> a;
    a.foo<0>();
}
===========================================

bug.cc:4: error: expected initializer before '}' token
bug.cc:6: error: explicit specialization in non-namespace scope 'struct A<
<template-parameter-1-1> >'
bug.cc:6: error: enclosing class templates are not explicitly specialized
bug.cc:6: error: template parameters not used in partial specialization:
bug.cc:6: error:         '<template-parameter-1-1>'
bug.cc:15: error: expected `}' at end of input
bug.cc: In member function 'void A< <template-parameter-1-1> >::bar()':
bug.cc:14: internal compiler error: in retrieve_specialization, at cp/pt.c:819
Please submit a full bug report, [etc.]


-- 
           Summary: [4.0/4.1/4.2 regression] ICE with broken specialization
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, 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=28301

[Bug c++/28301] [4.0/4.1/4.2 regression] ICE with broken specialization

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.0.4


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

[Bug c++/28301] [4.0/4.1/4.2 regression] ICE with broken specialization

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4


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

[Bug c++/28301] [4.0/4.1/4.2 regression] ICE with broken specialization

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-09-03 06:30 -------
Confiremed.


-- 

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         |2006-09-03 06:30:41
               date|                            |


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

[Bug c++/28301] [4.0/4.1/4.2 regression] ICE with broken specialization

[patchapp at dberlin dot org]

------- Comment #2 from patchapp at dberlin dot org  2006-09-09 13:20 -------
Subject: Bug number PR c++/28301

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-09/msg00344.html


-- 


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

[Bug c++/28301] [4.0/4.1/4.2 regression] ICE with broken specialization

[lmillward at gcc dot gnu dot org]

-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |lmillward at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-09-03 06:30:41         |2006-09-09 13:20:00
               date|                            |


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

[Bug c++/28301] [4.0/4.1 regression] ICE with broken specialization

[reichelt at gcc dot gnu dot org]

------- Comment #3 from reichelt at gcc dot gnu dot org  2006-10-05 19:58 -------
Fixed on mainline by Lee's patch for PR27667.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1/4.2 regression] ICE|[4.0/4.1 regression] ICE
                   |with broken specialization  |with broken specialization


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

[Bug c++/28301] [4.0/4.1 regression] ICE with broken specialization

[gdr at gcc dot gnu dot org]

------- Comment #4 from gdr at gcc dot gnu dot org  2007-02-03 17:57 -------
Won't fix in GCC-4.0.x.  Adjusting milestone.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.4                       |4.1.3


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

[Bug c++/28301] [4.0/4.1 regression] ICE with broken specialization

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.3                       |4.1.2


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

[Bug c++/28301] [4.0/4.1 regression] ICE with broken specialization

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.2                       |4.1.3


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

[Bug c++/28301] [4.1 regression] ICE with broken specialization

[jsm28 at gcc dot gnu dot org]

------- Comment #5 from jsm28 at gcc dot gnu dot org  2008-07-04 15:40 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.0.4                       |4.0.4 4.1.3
      Known to work|                            |4.2.0
         Resolution|                            |FIXED
   Target Milestone|4.1.3                       |4.2.0


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2009-03-28 21:40 -------
The bug reappeared on the trunk and the 4.3 branch.
This was caused by

2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>

        PR c++/39425
        * parser.c (cp_parser_explicit_specialization): Don't skip the
        rest of the specialization when begin_specialization returns
        false.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl at gcc dot gnu dot org
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |
            Summary|[4.1 regression] ICE with   |[4.3/4.4/4.5 regression] ICE
                   |broken specialization       |with broken specialization
   Target Milestone|4.2.0                       |4.3.4
            Version|4.2.0                       |4.3.4


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl dot tools at gmail dot com]

------- Comment #7 from hjl dot tools at gmail dot com  2009-03-28 21:56 -------
Even if a bug is fixed by another patch for a different bug,
the testcase should be added to gcc.


-- 


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl dot tools at gmail dot com]

------- Comment #8 from hjl dot tools at gmail dot com  2009-03-31 17:37 -------
A patch is posted at

http://gcc.gnu.org/ml/gcc-patches/2009-03/msg01797.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2009-
                   |                            |03/msg01797.html


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl at gcc dot gnu dot org]

------- Comment #9 from hjl at gcc dot gnu dot org  2009-04-10 18:56 -------
Subject: Bug 28301

Author: hjl
Date: Fri Apr 10 18:56:07 2009
New Revision: 145936

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145936
Log:
gcc/cp/

2009-04-10  Jason Merrill  <jason@redhat.com>

        PR c++/28301
        * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
        if we see a close brace without an open brace.

gcc/testsuite/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        PR c++/28301
        * g++.dg/cpp0x/enum2.C: Updated.
        * g++.dg/debug/pr22514.C: Likewise.
        * g++.dg/parse/enum2.C: Likewise.
        * g++.dg/parse/enum3.C: Likewise.
        * g++.dg/template/crash79.C: Likewise.
        * g++.old-deja/g++.jason/cond.C: Likewise.

        * g++.dg/template/pr28301.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/template/pr28301.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/enum2.C
    trunk/gcc/testsuite/g++.dg/debug/pr22514.C
    trunk/gcc/testsuite/g++.dg/parse/enum2.C
    trunk/gcc/testsuite/g++.dg/parse/enum3.C
    trunk/gcc/testsuite/g++.dg/template/crash79.C
    trunk/gcc/testsuite/g++.old-deja/g++.jason/cond.C


-- 


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl at gcc dot gnu dot org]

------- Comment #10 from hjl at gcc dot gnu dot org  2009-04-10 19:01 -------
Subject: Bug 28301

Author: hjl
Date: Fri Apr 10 19:01:16 2009
New Revision: 145938

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145938
Log:
gcc/cp/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-10  Jason Merrill  <jason@redhat.com>

        PR c++/28301
        * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
        if we see a close brace without an open brace.

gcc/testsuite/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        PR c++/28301
        * g++.dg/cpp0x/enum2.C: Updated.
        * g++.dg/debug/pr22514.C: Likewise.
        * g++.dg/parse/enum2.C: Likewise.
        * g++.dg/parse/enum3.C: Likewise.
        * g++.dg/template/crash79.C: Likewise.
        * g++.old-deja/g++.jason/cond.C: Likewise.

        * g++.dg/template/pr28301.C: New.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/pr28301.C
      - copied unchanged from r145937,
trunk/gcc/testsuite/g++.dg/template/pr28301.C
Modified:
    branches/gcc-4_4-branch/gcc/cp/ChangeLog
    branches/gcc-4_4-branch/gcc/cp/parser.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/enum2.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/debug/pr22514.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/parse/enum2.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/parse/enum3.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/crash79.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.old-deja/g++.jason/cond.C


-- 


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl at gcc dot gnu dot org]

------- Comment #11 from hjl at gcc dot gnu dot org  2009-04-10 19:36 -------
Subject: Bug 28301

Author: hjl
Date: Fri Apr 10 19:36:19 2009
New Revision: 145939

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145939
Log:
gcc/cp/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-10  Jason Merrill  <jason@redhat.com>

        PR c++/28301
        * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
        if we see a close brace without an open brace.

gcc/testsuite/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

        PR c++/28301
        * g++.dg/debug/pr22514.C: Updated.
        * g++.dg/parse/enum2.C: Likewise.
        * g++.dg/parse/enum3.C: Likewise.

        * g++.dg/template/pr28301.C: New.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/template/pr28301.C
      - copied unchanged from r145938,
trunk/gcc/testsuite/g++.dg/template/pr28301.C
Modified:
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/parser.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/debug/pr22514.C
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/parse/enum2.C
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/parse/enum3.C


-- 


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

[Bug c++/28301] [4.3/4.4/4.5 regression] ICE with broken specialization

[hjl dot tools at gmail dot com]

------- Comment #12 from hjl dot tools at gmail dot com  2009-04-10 19:37 -------
Fixed.


-- 

hjl dot tools at gmail dot com changed:

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


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