>Submitter-Id: net
>Originator: Franck Branjonneau
>Organization:
>Confidential: no
>Synopsis: Can't define inline overloaded template function members out
>of their class.
>Severity: critical
>Priority: medium
>Category: c++
>Class: rejects-legal ice-on-legal-code
>Release: 3.3.3 20040125 (prerelease) (Debian) (Debian testing/unstable)
>Environment:
System: Linux alpha.tchume.net 2.6.3 #1 SMP Fri Feb 27 15:52:02 UTC 2004 x86_64
GNU/Linux
Architecture: x86_64
host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib
--enable-nls --without-included-gettext --enable-__cxa_atexit
--enable-clocale=gnu --enable-debug --enable-java-gc=boehm
--enable-java-awt=xlib --enable-objc-gc i486-linux
>Description: Can't define inline overloaded template function members out of
>their class. g++ errors depends of the set of functions.
>How-To-Repeat:
Compile fine:
#include <iostream>
struct S {
template< typename _B, typename _A >
inline void
foo() { std::cout << "AB\n"; }
template< typename _A >
inline void
foo() { std::cout << "A\n"; }
};
int
main() {
S s;
s.foo< void >();
s.foo< void, void >();
}
Don't compile:
struct S {
template< typename _B, typename _A >
inline void
foo();
template< typename _A >
inline void
foo();
};
template< typename _A >
inline void
S::foo() { std::cout << "A\n"; }
template< typename _B, typename _A >
inline void
S::foo() { std::cout << "AB\n"; }
int
main() {
S s;
s.foo< void >();
s.foo< void, void >();
}
ICE(in tsubst, at cp/pt.c:6762):
struct S {
template< typename _A >
inline void
foo();
template< int _i >
inline void
foo();
}; // struct S
template< typename _A >
inline void
S::foo() { std::cout << "A\n"; }
template< int _i >
inline void
foo() { std::cout << "const\n"; };
int
main() {
S s;
s.foo< 0 >();
s.foo< void >();
}
>Fix:
