c++/6440: template specializations cause ICE

c++/6440: template specializations cause ICE

[Jens.Maurer]

>Number:         6440
>Category:       c++
>Synopsis:       template specializations cause ICE
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Wed Apr 24 12:16:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Jens Maurer
>Release:        3.0.4 and recent CVS checkout
>Organization:
>Environment:
Linux 2.4.17
>Description:
See ISO C++ core issue 336.

spec-example-c336.cc:14: Internal compiler error in lookup_template_class, at 
   cp/pt.c:3960
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.
>How-To-Repeat:
    template<class T1> struct A { 
        template<class T2> struct B { 
            template<class T3> void mf1(T3);
            void mf2(); 
        }; 
    }; 

    template<> template<class X> 
        struct A<int>::B {
            template<class T> void mf1(T);
    }; 

    template<> template<> template<class T> 
        void A<int>::B<double>::mf1(T t) { } 
    template<class Y> template<> 
        void A<Y>::B<double>::mf2() { } 
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:

Re: c++/6440: template specializations cause ICE

[Jens Maurer]

The following reply was made to PR c++/6440; it has been noted by GNATS.

From: Jens Maurer <Jens.Maurer@gmx.net>
To: lerdsuwa@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
   nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: c++/6440: template specializations cause ICE
Date: Mon, 20 May 2002 16:15:49 +0200

 14.7.3p18 appears to say that A<int>::B<X> is not the right
 syntax, because A<int>::B is a genuine class template (for B),
 and A<int>::B has not been declared previously.
 
 Jens Maurer
 
 
 lerdsuwa@gcc.gnu.org wrote:
 > 
 > Synopsis: template specializations cause ICE
 > 
 > State-Changed-From-To: open->analyzed
 > State-Changed-By: lerdsuwa
 > State-Changed-When: Tue May 14 06:43:14 2002
 > State-Changed-Why:
 >     Confirmed, ICE on both 3.1 branch and main trunk.  Perhaps
 >     the right syntax could be:
 >       template<> template<class X>
 >         class A<int>::B<X> {
 >                        ^^^
 > 
 >     Both 3.1 and trunk work fine with the above code.
 > 
 > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6440
 
 
 

Re: c++/6440: template specializations cause ICE

[lerdsuwa]

Synopsis: template specializations cause ICE

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Tue May 14 06:43:14 2002
State-Changed-Why:
    Confirmed, ICE on both 3.1 branch and main trunk.  Perhaps
    the right syntax could be:
      template<> template<class X> 
        class A<int>::B<X> {
                       ^^^
    
    Both 3.1 and trunk work fine with the above code.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6440