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