[Bug c++/11071] New: [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[Bug c++/11071] New: [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[bangerth@dealii.org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [3.4 regression] ICE in regenerate_decl_from_template
                    after forgotten template for disambiguation, part 2
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P1
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: bangerth@dealii.org
                CC: gcc-bugs@gcc.gnu.org
OtherBugsDependingO 11070
             nThis:

[This is a variation of 11070, but this time it's really worse. When
this one is fixed, this probably also fixes 11070, please check!]

This ICEs with present mainline while it compiles fine with 3.3:
-----------------------------------
template <bool b> struct X {
    template <typename T>
    static int* execute(T* x) { return x; }
};

template <typename T> void foo() {
  static bool const same = true;
  X<same>::execute ((int*)0);
}

template void foo<int> ();
------------------------------------

g/x> /home/bangerth/bin/gcc-3.3-pre/bin/c++ -c y.cc

g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c y.cc
y.cc: In static member function `static int* X::execute(T*)':
y.cc:3:   instantiated from `static int* X<b>::execute(T*) [with T = int, bool b
= same]'
y.cc:8:   instantiated from `void foo() [with T = int]'
y.cc:11:   instantiated from here
y.cc:3: internal compiler error: in regenerate_decl_from_template, at cp/pt.c:
   10691
Please submit a full bug report,

Note that in comparison to 11070, this time the template
parameter is actually deduced implicitly. Thus, it is
not specified explicitly after "execute" and IMHO we
shouldn't require "template" for disambiguation, right?

Whatever the matter, adding "template" doesn't help here,
we get the same crash in any case. This is really bad :-(

I mark this bug as blocking 11070, which in turn is related to 10922.

W.



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/11071] [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[pinskia@physics.uc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-06-03 12:48:37
               date|                            |


------- Additional Comments From pinskia@physics.uc.edu  2003-06-03 12:48 -------
Yep it ices on the mainline (20030602) and does not ice on 3.3.1 (20030526).



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/11071] [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[janis187@us.ibm.com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From janis187@us.ibm.com  2003-06-16 19:39 -------
A regression hunt showed that the test case starts failing with a huge change
that Mark Mitchell added on 2003-01-16.  (I'll forward this mail to Mark and
let him decide whether he wants to be on the cc: list for this PR.)

[Bug c++/11071] [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

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


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-10 02:18 -------
The ICE is gone in the mainline (20030709). Closing as fixed.  Will submit a testcase 
when I get cvs access.

[Bug c++/11071] [3.4 regression] ICE in regenerate_decl_from_template after forgotten template for disambiguation, part 2

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-07-17 22:53 -------
Subject: Bug 11071

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2003-07-17 22:53:47

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/expr: crash-1.C 
	gcc/testsuite/g++.dg/template: init3.C non-dependent1.C 
	                               non-dependent2.C non-dependent3.C 
	                               sizeof5.C 

Log message:
	Andrew Pinski <pinskia@physics.uc.edu>
	
	PR c++/10476
	* g++.dg/expr/crash-1.C: New test.
	
	PR c++/11027
	* g++.dg/template/init3.C: New test.
	
	PR c++/8222
	* g++.dg/template/non-dependent1.C: New test.
	
	PR c++/11070
	* g++.dg/template/non-dependent2.C: New test.
	
	PR c++/11071
	* g++.dg/template/non-dependent3.C: New test.
	
	PR c++/9907
	* g++.dg/template/sizeof5.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.2892&r2=1.2893
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/expr/crash-1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/init3.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/non-dependent1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/non-dependent2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/non-dependent3.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/sizeof5.C.diff?cvsroot=gcc&r1=NONE&r2=1.1