[Bug c++/31516] New: ICE on nested templates

[Bug c++/31516] New: ICE on nested templates

[reichelt at gcc dot gnu dot org]

The following valid code snippet triggers an ICE since at least GCC 2.95.3:

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

bug.cc: In member function 'void A<<anonymous> >::B<<anonymous> >::foo()':
bug.cc:7: internal compiler error: tree check: expected class 'type', have
'declaration' (function_decl) in push_template_decl_real, at cp/pt.c:3857
Please submit a full bug report, [etc.]


-- 
           Summary: ICE on nested templates
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, 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=31516

[Bug c++/31516] ICE on nested templates

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2007-04-10 00:30 -------
Confirmed, though this appears to work up to and including the 4.1.2
release at least, in contrast to your assertion...

W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-04-10 00:30:53
               date|                            |


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

[Bug c++/31516] ICE on nested templates

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2007-04-10 01:22 -------
Well, it crashes for me:

GCC 2.95.3:
PR31516.cc: In method `A<{anon}>::B<{anon}>::foo()::C::C()':
PR31516.cc:7: ../../../gcc-2.95.3/gcc/cp/pt.c:2493: Expect 't', have
'function_decl'

GCC 3.0.4:
PR31516.cc: In member function `void A<<anonymous> >::B<<anonymous> >::foo()':
PR31516.cc:7: Tree check: expected class 't', have 'd' (function_decl) in 
   push_template_decl_real, at cp/pt.c:2687
Please submit a full bug report, [etc.]

GCC 3.2.3:
PR31516.cc: In member function `void A<<anonymous> >::B<<anonymous> >::foo()':
PR31516.cc:7: tree check: expected class 't', have 'd' (function_decl) in 
   push_template_decl_real, at cp/pt.c:2776
Please submit a full bug report, [etc.]

GCC 3.3.6:
PR31516.cc: In member function `void A<<anonymous> >::B<<anonymous> >::foo()':
PR31516.cc:7: internal compiler error: tree check: expected class 't', have 'd' 
   (function_decl) in push_template_decl_real, at cp/pt.c:2897
Please submit a full bug report, [etc.]

Maybe you don't have checking enabled for the release versions?


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking


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

[Bug c++/31516] ICE on nested templates

[bangerth at dealii dot org]

------- Comment #3 from bangerth at dealii dot org  2007-04-10 19:18 -------
(In reply to comment #2)

> Maybe you don't have checking enabled for the release versions?

That appears to be the case (I thought I had set --enable-checking).

In any case, I see the ICE on the currently maintained release branches,
which is what counts anyway :-)

W.


-- 


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

[Bug c++/31516] ICE on nested templates

[pcarlini at suse dot de]

------- Comment #4 from pcarlini at suse dot de  2007-08-15 15:25 -------
This is a duplicate of 33035 and indeed the latter isn't a regression, I'm
fixing that.

*** This bug has been marked as a duplicate of 33035 ***


-- 

pcarlini at suse dot de changed:

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


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