c++/4903: internal compiler error 19990331

c++/4903: internal compiler error 19990331

[theverylittleone]

>Number:         4903
>Category:       c++
>Synopsis:       internal compiler error 19990331
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Mon Nov 19 12:36:00 PST 2001
>Closed-Date:
>Last-Modified:
>Originator:     Dan Marinescu
>Release:        2.95.3-6
>Organization:
>Environment:
irrelevant
>Description:
template <class T>
struct A
{
  template <class U>
  struct B
  {
    A<T>::template B<U> foo(void);
  };
};

template <class T> template <class U>
A<T>::template B<U> A<T>::B<U>::foo(void)
{
  return A<T>::template B<U>(); // error here
}

int main()
{
  A<int>::template B<char> b;
  b.foo();
}

This reports "Internal compiler error 19990331"
>How-To-Repeat:

>Fix:

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

Re: c++/4903: internal compiler error 19990331

[lerdsuwa]

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

From: lerdsuwa@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  nobody@gcc.gnu.org, theverylittleone@hotmail.com
Cc:  
Subject: Re: c++/4903: internal compiler error 19990331
Date: 22 Nov 2001 15:05:38 -0000

 Synopsis: internal compiler error 19990331
 
 State-Changed-From-To: open->analyzed
 State-Changed-By: lerdsuwa
 State-Changed-When: Thu Nov 22 07:05:37 2001
 State-Changed-Why:
     Confirmed.  The code is illegal though.  There should be
     'typename' keyword prefix 'A<T>::template B<U>', like
       typename A<T>::template B<U> foo(void);
     Also, the keyword 'template' inside main() should be 
     removed.  It is only legal inside class/function templates.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4903&database=gcc

Re: c++/4903: internal compiler error 19990331

[lerdsuwa]

Synopsis: internal compiler error 19990331

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Thu Nov 22 07:05:37 2001
State-Changed-Why:
    Confirmed.  The code is illegal though.  There should be
    'typename' keyword prefix 'A<T>::template B<U>', like
      typename A<T>::template B<U> foo(void);
    Also, the keyword 'template' inside main() should be 
    removed.  It is only legal inside class/function templates.

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