This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
c++/3797: gcc 3.0 fails to emit explicit specialization of a template member
- To: gcc-gnats at gcc dot gnu dot org
- Subject: c++/3797: gcc 3.0 fails to emit explicit specialization of a template member
- From: sebor at roguewave dot com
- Date: 24 Jul 2001 18:34:36 -0000
- Reply-To: sebor at roguewave dot com
>Number: 3797
>Category: c++
>Synopsis: gcc 3.0 fails to emit explicit specialization of a template member
>Confidential: no
>Severity: serious
>Priority: medium
>Responsible: unassigned
>State: open
>Class: sw-bug
>Submitter-Id: net
>Arrival-Date: Tue Jul 24 11:36:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator: sebor@roguewave.com
>Release: gcc version 3.0
>Organization:
>Environment:
>Description:
Declaring the explicit specialization of the member of the
class template causes the compiler to 'forget' to emit the
out-of-line symbol for the explicit specialization defined
later.
$ cat t.cpp
template <class T>
struct S
{
int foo () { return 0; }
};
template <>
int S<int>::foo ();
template <>
int S<int>::foo () { return 1; }
$ g++ -c -v t.cpp
Reading specs from /usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/specs
Configured with: ../gcc-3.0/configure --prefix=/usr/local/gcc-3.0 --enable-shared
Thread model: single
gcc version 3.0
/usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/cc1plus -v -D__GNUC__=3 -D__GNUC_MINOR__=0 -D__GNUC_PATCHLEVEL__=0 -D__ELF__ -Dunix -Dlinux -D__ELF__ -D__unix__ -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_i686__ -D__tune_pentiumpro__ t.cpp -D__GNUG__=3 -D__GXX_DEPRECATED -D__EXCEPTIONS -D__GXX_ABI_VERSION=100 -quiet -dumpbase t.cpp -version -o /tmp/ccoYegSb.s
GNU CPP version 3.0 (cpplib) (i386 Linux/ELF)
GNU C++ version 3.0 (i686-pc-linux-gnu)
compiled by GNU C version 2.95.2 19991024 (release).
ignoring nonexistent directory "/usr/local/gcc-3.0/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
/usr/local/gcc-3.0/include/g++-v3
/usr/local/gcc-3.0/include/g++-v3/i686-pc-linux-gnu
/usr/local/gcc-3.0/include/g++-v3/backward
/usr/local/gcc-3.0/include
/usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/include
/usr/include
End of search list.
as --traditional-format -V -Qy -o t.o /tmp/ccoYegSb.s
GNU assembler version 2.9.1 (i386-redhat-linux), using BFD version 2.9.1.0.23
$ nm t.o
$
>How-To-Repeat:
template <class T>
struct S
{
int foo () { return 0; }
};
template <>
int S<int>::foo ();
template <>
int S<int>::foo () { return 1; }
>Fix:
Omit the declaration of the specialization or the definition
of the member of the primary template (neither is acceptable
if the specialization is to exist in a portable library).
>Release-Note:
>Audit-Trail:
>Unformatted: