[Bug c++/13635] New: specific order of template specialization causes ICE

[Bug c++/13635] New: specific order of template specialization causes ICE

[gcc-bugzilla at gcc dot gnu dot org]

Certain orders of partial specialization cause the compiler
to emit an ICE:
breakgcc.cc:14: internal compiler error: in register_specialization, at cp/pt.c
   :968

Environment:
System: Linux razorfish 2.4.22-1-686 #6 Sat Oct 4 14:09:08 EST 2003 i686 GNU/Linux
Architecture: i686

host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux

How-To-Repeat:
The following code demonstrates the problem, saved as breakgcc.ii and
compiled with 
g++ -Wall breakgcc.ii

Switching the order of the two specializations makes the problem go away.
	
------------------------------------------------------------
# 1 "breakgcc.cc"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "breakgcc.cc"
template <class foo>
class bar {
public:
        template <class baz>
        int func(baz *x);
};

template <>
template <class baz>
int bar<double>::func(baz *x) { return 5;}

template <>
template <>
int bar<double>::func(int *x) { return 5;}
------------------------------------------------------------
------- Additional Comments From jhbrown at bluefinrobotics dot com  2004-01-09 18:08 -------
Fix:
Workaround: Re-order the specializations.

-- 
           Summary: specific order of template specialization causes ICE
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jhbrown at bluefinrobotics dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i486-pc-linux-gnu
  GCC host triplet: i486-pc-linux-gnu
GCC target triplet: i486-pc-linux-gnu


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

[Bug c++/13635] [3.3/3.4 regression] ICE in register_specialization for specific order of template specialization

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-01-09 19:12 -------
Confirmed. This ICE started between 2.95 and 3.2, and is still there 
in present mainline. Before that, gcc2.95 issued an error, though, and 
then bailed out, so it's only a lesser kind of regression. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-09 19:12:02
               date|                            |
            Summary|specific order of template  |[3.3/3.4 regression] ICE in
                   |specialization causes ICE   |register_specialization for
                   |                            |specific order of template
                   |                            |specialization
   Target Milestone|---                         |3.3.3


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

[Bug c++/13635] ICE in register_specialization for specific order of template specialization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-11 01:19 -------
Not a regression as 2.95.3 bailed out.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3/3.4 regression] ICE in |ICE in
                   |register_specialization for |register_specialization for
                   |specific order of template  |specific order of template
                   |specialization              |specialization
   Target Milestone|3.3.3                       |---


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

[Bug c++/13635] ICE in register_specialization for specific order of template specialization

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-01-11 12:00 -------
*** Bug 13538 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lawless at spamcop dot net


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

[Bug c++/13635] [3.3/3.4 regression] ICE in register_specialization for specific order of template specialization

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-01-12 14:10 -------
Yes, it is a regression since 2.95 gave error messages before  
bailing out, whereas 3.4 just crashes silently.  
 
Andrew, please be more careful when you change things in the database. 
I'm not checking all this stuff so that someone comes around and 
changes fields without even looking at what exactly is going on! 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE in                      |[3.3/3.4 regression] ICE in
                   |register_specialization for |register_specialization for
                   |specific order of template  |specific order of template
                   |specialization              |specialization
   Target Milestone|---                         |3.3.3


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-19 00:48 -------
Subject: Bug 13635

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2004-01-19 00:47:59

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/ext: typeof7.C 

Log message:
	PR c++/13635
	* pt.c (tsubst): Use finish_typeof.
	
	PR c++/13635
	* g++.dg/ext/typeof7.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3895&r2=1.3896
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.816&r2=1.817
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3394&r2=1.3395
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/typeof7.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-19 00:48 -------
Subject: Bug 13635

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	mmitchel@gcc.gnu.org	2004-01-19 00:48:51

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/ext: typeof7.C 

Log message:
	PR c++/13635
	* pt.c (tsubst): Use finish_typeof.
	
	PR c++/13635
	* g++.dg/ext/typeof7.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.1&r2=1.3892.2.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.816&r2=1.816.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.2&r2=1.3389.2.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/typeof7.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[lerdsuwa at gcc dot gnu dot org]

------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2004-01-23 14:30 -------
Will investigate.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |lerdsuwa at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[lerdsuwa at gcc dot gnu dot org]

------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2004-02-05 16:05 -------
Patch submitted:

  http://gcc.gnu.org/ml/gcc-patches/2004-02/msg00439.html

-- 


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-14 11:29 -------
Subject: Bug 13635

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	lerdsuwa@gcc.gnu.org	2004-02-14 11:29:01

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: spec11.C 

Log message:
	PR c++/13635
	* pt.c (push_template_decl_real): Make sure DECL_TI_ARGS of DECL
	has full set of arguments.
	
	* g++.dg/template/spec11.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3955&r2=1.3956
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.829&r2=1.830
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3498&r2=1.3499
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec11.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/13635] [3.3/3.4/3.5 regression] ICE in register_specialization for specific order of template specialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-14 11:46 -------
Subject: Bug 13635

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	lerdsuwa@gcc.gnu.org	2004-02-14 11:46:00

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: spec11.C 

Log message:
	PR c++/13635
	* pt.c (push_template_decl_real): Make sure DECL_TI_ARGS of DECL
	has full set of arguments.
	
	* g++.dg/template/spec11.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.51&r2=1.3892.2.52
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.816.2.10&r2=1.816.2.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.75&r2=1.3389.2.76
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec11.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/13635] [3.3 regression] ICE in register_specialization for specific order of template specialization

[lerdsuwa at gcc dot gnu dot org]

------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2004-02-14 11:49 -------
Fixed in 3.4 and mainline.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3/3.4/3.5 regression] ICE|[3.3 regression] ICE in
                   |in register_specialization  |register_specialization for
                   |for specific order of       |specific order of template
                   |template specialization     |specialization


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

[Bug c++/13635] [3.3 regression] ICE in register_specialization for specific order of template specialization

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-15 12:38 -------
Adjust milestone

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.3                       |3.3.4


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

[Bug c++/13635] [3.3 regression] ICE in register_specialization for specific order of template specialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-23 14:43 -------
Subject: Bug 13635

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	lerdsuwa@gcc.gnu.org	2004-02-23 14:43:12

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: spec11.C 

Log message:
	PR c++/13635
	* pt.c (push_template_decl_real): Make sure DECL_TI_ARGS of DECL
	has full set of arguments.
	
	* g++.dg/template/spec11.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.3076.2.254&r2=1.3076.2.255
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.635.2.42&r2=1.635.2.43
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.2261.2.360&r2=1.2261.2.361
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec11.C.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=NONE&r2=1.1.4.1



-- 


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

[Bug c++/13635] [3.3 regression] ICE in register_specialization for specific order of template specialization

[lerdsuwa at gcc dot gnu dot org]

------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2004-02-23 14:44 -------
Fixed in 3.3.4.

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


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