[Bug c++/27667] New: [4.0/4.1/4.2 regression] ICE with in-class specialization

[Bug c++/27667] New: [4.0/4.1/4.2 regression] ICE with in-class specialization

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since GCC 3.4.5 / 4.0.3:

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

bug.cc:4: error: explicit specialization in non-namespace scope 'struct A'
bug.cc:4: internal compiler error: in poplevel, at cp/decl.c:551
Please submit a full bug report, [etc.]


-- 
           Summary: [4.0/4.1/4.2 regression] ICE with in-class
                    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=27667

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
   Target Milestone|---                         |4.0.4


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2006-05-26 15:06 -------
Confirmed..


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-26 15:06:59
               date|                            |


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class 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-05-26 15:06:59         |2006-09-23 16:18:52
               date|                            |


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[patchapp at dberlin dot org]

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

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/msg01017.html


-- 


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

[Bug c++/27667] [4.0/4.1/4.2 regression] ICE with in-class specialization

[lmillward at gcc dot gnu dot org]

------- Comment #3 from lmillward at gcc dot gnu dot org  2006-09-25 19:58 -------
Subject: Bug 27667

Author: lmillward
Date: Mon Sep 25 19:58:10 2006
New Revision: 117206

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117206
Log:
        PR c++/27667
        * cp-tree.h (begin_specialization): Return bool instead of void.
        * pt.c (check_specialization_scope): Likwise. Adjust comment.
        Return false if a specialization isn't permitted in the current scope,.
        (begin_specialization): Use the return value of  
        check_specialization_scope.
        * parser.c (cp_parser_explicit_specialization): If
        begin_specialization returned false, skip the rest of the
        specialization.

        * g++.dg/template/spec33.C: New test.
        * g++.old-deja/g++.pt/spec20.C: Adjust error markers.


Added:
    trunk/gcc/testsuite/g++.dg/template/spec33.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.old-deja/g++.pt/spec20.C


-- 


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

[Bug c++/27667] [4.0/4.1 regression] ICE with in-class specialization

[lmillward at gcc dot gnu dot org]

------- Comment #4 from lmillward at gcc dot gnu dot org  2006-09-25 19:59 -------
Fixed in 4.2.


-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|lmillward at gcc dot gnu dot|unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.0/4.1/4.2 regression] ICE|[4.0/4.1 regression] ICE
                   |with in-class specialization|with in-class specialization


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

[Bug c++/27667] [4.0/4.1 regression] ICE with in-class specialization

[gdr at gcc dot gnu dot org]

------- Comment #5 from gdr at gcc dot gnu dot org  2007-02-03 17:04 -------
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=27667

[Bug c++/27667] [4.0/4.1 regression] ICE with in-class 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=27667

[Bug c++/27667] [4.0/4.1 regression] ICE with in-class 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=27667

[Bug c++/27667] [4.1 regression] ICE with in-class specialization

[jsm28 at gcc dot gnu dot org]

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


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |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=27667