c++/6440: [2003-01-22] template specializations cause ICE

[Giovanni Bajo]

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

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: <gcc-gnats@gcc.gnu.org>,
	<Jens.Maurer@gmx.net>,
	<gcc-bugs@gcc.gnu.org>,
	<nobody@gcc.gnu.org>,
	<gcc-prs@gcc.gnu.org>
Cc:  
Subject: Re: c++/6440: [2003-01-22] template specializations cause ICE
Date: Thu, 23 Jan 2003 05:14:16 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 r=6440
 
 I agree that A<int>::B is the right syntax, and it is indeed accepted by
 EDG.
 
 Moreover, please notice that the last definition in the test is ill-formed:
 
     template<class Y> template<>
         void A<Y>::B<double>::mf2() { }
 
 since you cannot specialize B<> without specializing A<>. I think that line
 should be removed from the test (unless it's required to trigger the ICE),
 otherwise "ice-on-legal-code" should be change to "illegal-code".