[Bug c++/13314] New: [3.4 regression] ICE when omitting template parameter of a sub-class

[Bug c++/13314] New: [3.4 regression] ICE when omitting template parameter of a sub-class

[reichelt at gcc dot gnu dot org]

Mainline issues an ICE for the following code snippet (from PR 4868):

============================================
struct A { template <int> struct B; };
struct A::B {};
A::B<0> b;
============================================

x.cc:2: error: an explicit specialization must be preceded by 'template <>'
x.cc:2: error: explicit specialization of non-template `A::B<<anonymous> >'
x.cc:2: internal compiler error: in poplevel, at cp/decl.c:446
Please submit a full bug report, [etc.]

This is a regression introduced by Mark's patch for PR 9127

http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00441.html
http://gcc.gnu.org/ml/gcc-cvs/2003-12/msg00194.html

Mark, could you please have a look?

-- 
           Summary: [3.4 regression] ICE when omitting template parameter of
                    a sub-class
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,mark at codesourcery dot
                    com


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

[Bug c++/13314] [3.4 regression] ICE when omitting template parameter of a sub-class

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-05 18:54 -------
>From Phil's regression hunter: Search converges between 2003-10-10-trunk (#422) and 
2003-10-12-trunk (#423).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-12-05 18:54:02
               date|                            |


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

[Bug c++/13314] [3.4 regression] ICE when omitting template parameter of a sub-class

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2003-12-05 22:53 -------
Just a remark:

Compiling the code without optimization I get the ICE since today.
Compiling the code with -O2 the ICE already appears in October.


-- 


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

[Bug c++/13314] [3.4 regression] ICE when omitting template parameter of a sub-class

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-12-06 05:00 -------
That ICE came from a problem with the cgraph stuff; it's not related to the
other problem.

However, both problems are finxed in GCC 3.4.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4


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

[Bug c++/13314] [3.4 regression] ICE when omitting template parameter of a sub-class

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-06 04:59 -------
Subject: Bug 13314

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2003-12-06 04:59:55

Modified files:
	gcc            : ChangeLog emit-rtl.c 
	gcc/cp         : ChangeLog parser.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: error7.C 

Log message:
	PR c++/13314
	* emit-rtl.c (set_mem_attributes_minus_bitpos): Robustify.
	
	PR c++/13314
	* parser.c (cp_parser_class_specifier): Match push_scope/pop_scope
	calls.
	(cp_parser_class_head): Likewise.
	
	PR c++/13314
	* g++.dg/template/error7.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.1936&r2=2.1937
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/emit-rtl.c.diff?cvsroot=gcc&r1=1.354&r2=1.355
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3782&r2=1.3783
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.127&r2=1.128
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3232&r2=1.3233
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/error7.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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