Re: c++/3851: Problem with generic member.

Re: c++/3851: Problem with generic member.

[nathan]

Synopsis: Problem with generic member.

State-Changed-From-To: open->analyzed
State-Changed-By: nathan
State-Changed-When: Wed Aug  1 05:31:18 2001
State-Changed-Why:
    confirmed as a bug

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3851&database=gcc

Re: c++/3851: Problem with generic member.

[reichelt]

Synopsis: Problem with generic member.

State-Changed-From-To: analyzed->closed
State-Changed-By: reichelt
State-Changed-When: Thu Nov  7 02:05:12 2002
State-Changed-Why:
    Fixed in current versions (3.1, 3.2 and main trunk).
    The compiler now issues a correct error message.
    
    Note that the code is in fact illegal:
    The line
      struct D: public Sb< anything >::C;
    should read 
      struct D: public Sb< anything >::C<e> {};

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

c++/3851: Problem with generic member

[fasbjx, Branjonneau]

>Number:         3851
>Category:       c++
>Synopsis:       Problem with generic member.
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Fri Jul 27 19:06:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Franck Branjonneau
>Release:        3.0 (Debian) (Debian testing/unstable)
>Organization:
>Environment:
System: Linux alpha.tchume.net 2.4.4 #2 mar mai 22 08:16:07 CEST 2001 i586 unknown
Architecture: i586

	
host: i386-pc-linux-gnu
build: i386-pc-linux-gnu
target: i386-pc-linux-gnu
configured with: ../src/configure -v --enable-languages=c,c++,java,f77,proto,objc --prefix=/usr --infodir=/share/info --mandir=/share/man --enable-shared --with-gnu-as --with-gnu-ld --with-system-zlib --enable-long-long --enable-nls --without-x --without-included-gettext --disable-checking --enable-threads=posix --enable-java-gc=boehm --with-cpp-install-dir=bin --enable-objc-gc i386-linux
>Description:
	
The following code:

enum X { L };

template< X x  >
struct Sa { enum E {}; };

  
template< X x  >
struct Sb {
  template< Sa< x >::E e >
  class C;
}; 

template<>
struct Sb< L > {
  template< Sa< L >::E e >
  struct D: public Sb< anything >::C;
};

don't compile. From codesourcery:

These are the results of processing your source code with the following command:

    g++ [input] 


Exit code: 256

Messages:

    /usr/tmp/@30575.7.cc:16: Internal error #2000.
    /usr/tmp/@30575.7.cc:16: Internal compiler error in make_typename_type, at 
       cp/decl.c:5659

>How-To-Repeat:
	
>Fix:
	

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