Re: c++/3943: Template function and using declaration

Re: c++/3943: Template function and using declaration

[gdr]

Synopsis: Template function and using declaration

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Sun Aug  5 01:14:20 2001
Responsible-Changed-Why:
    Analyzed.
State-Changed-From-To: open->closed
State-Changed-By: gdr
State-Changed-When: Sun Aug  5 01:14:20 2001
State-Changed-Why:
    REal PR is 3944.

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

Re: c++/3943: Template function and using declaration

[gdr]

Synopsis: Template function and using declaration

State-Changed-From-To: analyzed->closed
State-Changed-By: gdr
State-Changed-When: Mon Aug  6 09:07:49 2001
State-Changed-Why:
    Fixed in GCC-3.1 sources.

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

Re: c++/3943: Template function and using declaration

[gdr]

Synopsis: Template function and using declaration

State-Changed-From-To: closed->analyzed
State-Changed-By: gdr
State-Changed-When: Sun Aug  5 01:33:03 2001
State-Changed-Why:
    The real class is ice-on-illegal-code.

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

Re: c++/3943: Template function and using declaration

[Gabriel Dos Reis]

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

From: Gabriel Dos Reis <gdr@codesourcery.com>
To: fasbjx@free.fr
Cc: gcc-gnats@gcc.gnu.org, debian-gcc@lists.debian.org
Subject: Re: c++/3943: Template function and using declaration
Date: 05 Aug 2001 10:12:15 +0200

 fasbjx@libertysurf.fr, Branjonneau@free.fr writes:
 
 | >Class:          ice-on-legal-code
 
 | The following code:
 | 
 | namespace N {
 | 
 | template< int >
 | void f() {}
 | 
 | }
 | 
 | using N::f< 0 >;
 | 
 | doesn't compile. From codesourcery:
 
 The program construct is ill-formed.
 
 Arguably, an ICE isn't an acceptable diagnostic :-)
 
 -- Gaby

c++/3943: Template function and using declaration

[fasbjx, Branjonneau]

>Number:         3943
>Category:       c++
>Synopsis:       Template function and using declaration
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Sat Aug 04 20:26:00 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:

namespace N {

template< int >
void f() {}

}

using N::f< 0 >;

doesn't compile. From codesourcery:

GCC Output

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

    g++ [input] 

Exit code: 256

Messages:

    /usr/tmp/@13172.7.cc:8: Internal error #384.
    /usr/tmp/@13172.7.cc:8: Internal compiler error in push_using_decl, at 
       cp/decl.c:4514

	
>How-To-Repeat:
	
>Fix:
	

Trivial work around:

namespace N {

template< int >
void f() {}

}

template< int x >
void f() { N::f< x >(); }




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