c++/6440: template specializations cause ICE

[Jens Maurer]

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