c++/6440: [2003-01-22] template specializations cause ICE
Giovanni Bajo
giovannibajo@libero.it
Thu Jan 23 04:23:00 GMT 2003
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".
More information about the Gcc-bugs
mailing list