This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
template specialization bug #2 (gcc3.2)
- From: nbecker at hns dot com (Neal D. Becker)
- To: gcc-bugs at gcc dot gnu dot org
- Date: 19 Nov 2002 08:48:32 -0500
- Subject: template specialization bug #2 (gcc3.2)
This test case should compile, but gives an error instead:
gcc -c -v bug.cc
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/3.2/specs
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --host=i386-redhat-linux --with-system-zlib --enable-__cxa_atexit
Thread model: posix
gcc version 3.2 20020903 (Red Hat Linux 8.0 3.2-7)
/usr/lib/gcc-lib/i386-redhat-linux/3.2/cc1plus -v -D__GNUC__=3 -D__GNUC_MINOR__=2 -D__GNUC_PATCHLEVEL__=0 -D__GXX_ABI_VERSION=102 -D__ELF__ -Dunix -D__gnu_linux__ -Dlinux -D__ELF__ -D__unix__ -D__gnu_linux__ -D__linux__ -D__unix -D__linux -Asystem=posix -D__NO_INLINE__ -D__STDC_HOSTED__=1 -D_GNU_SOURCE -Acpu=i386 -Amachine=i386 -Di386 -D__i386 -D__i386__ -D__tune_i386__ bug.cc -D__GNUG__=3 -D__DEPRECATED -D__EXCEPTIONS -quiet -dumpbase bug.cc -version -o /tmp/cc5OJSQs.s
GNU CPP version 3.2 20020903 (Red Hat Linux 8.0 3.2-7) (cpplib) (i386 Linux/ELF)
GNU C++ version 3.2 20020903 (Red Hat Linux 8.0 3.2-7) (i386-redhat-linux)
compiled by GNU C version 3.2 20020903 (Red Hat Linux 8.0 3.2-7).
ignoring nonexistent directory "/usr/i386-redhat-linux/include"
#include "..." search starts here:
#include <...> search starts here:
/usr/include/c++/3.2
/usr/include/c++/3.2/i386-redhat-linux
/usr/include/c++/3.2/backward
/usr/local/include
/usr/lib/gcc-lib/i386-redhat-linux/3.2/include
/usr/include
End of search list.
bug.cc: In function `int main()':
bug.cc:7: call of overloaded `foo(X<int>)' is ambiguous
bug.cc:3: candidates are: void foo(T) [with int shift = 1, T = X<int>]
bug.cc:4: void foo(X<T>) [with int shift = 1, T = int]
-----------------------
template <typename T> class X {};
template<int shift, typename T> void foo (T x) { error; }
template<int shift, typename T> void foo (X<T> x) {}
int main () {
foo<1> (X<int>());
}
-----------------------