[Bug c++/22478] New: explicit specialization of template class members

["wolfgang dot roehrl at de dot gi-de dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Dear all,

I would like to post a bug report for the GNU C/C++ compiler 3.3-e500.

We use the compiler to generate code for a PowerPC processor.

Used invokation line for the GNU C++ compiler:

ccppc -c -x c++ -ansi -Wall -Werror -mcpu=8540 -fverbose-asm -mbig
      -fmerge-templates -mmultiple -mno-string -mstrict-align -O3
      -fno-exceptions -fno-rtti -fno-builtin-printf
      -I<different include paths>
      -D<differen #define's>
      X.CPP -oX.O


// file X.CPP

#define MODE 2                      // set MODE to 1 or 2

template <typename T_>
struct S
{
    int f (const T_&) const { return 0; }
    static int s;
};

#if (MODE == 1)

// template <>                      // declaration of S<char>::f
int S<char>::f (const char&) const;

// template <>                      // declaration of S<char>::s
int S<char>::s;

#elif (MODE == 2)

// template <>                      // definition of S<char>::f
int S<char>::f (const char&) const
{ return 1; }

// template <>                      // definition of S<char>::s
int S<char>::s = 2;

#endif


We have a template class S<> whose members should be explicitly specialized
for S<char>.
The program can be translated in two versions: if we set MODE to 1 we only
get a declaration of the specialized members, if we set MODE to 2 we get a
definition of these members.

Set mode to 1: The compiler accepts the declarations without the preceeding
"template<>" phrase. This is not standard compliant (see 14.7.3/1 and
14.7.3/15).

Set mode to 2: The compiler accepts the definitions without the preceeding
"template<>" phrase. This is also not standard compliant (see 14.7.3/16).

Kind regards
W. Roehrl

-- 
           Summary: explicit specialization of template class members
           Product: gcc
           Version: 3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wolfgang dot roehrl at de dot gi-de dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: sparc-sun-solaris2.5.1
  GCC host triplet: i386-pc-mingw32
GCC target triplet: powerpc-wrs-vxworks


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22478