[Bug c++/31923] New: g++ accepts a storage-class-specifier on a template explicit specialization

[Bug c++/31923] New: g++ accepts a storage-class-specifier on a template explicit specialization

[simon_baldwin at yahoo dot com]

The following test program compiles without error or warning on g++ (versions
2.95.3, 3.4.5, 4.0.2, 4.1.0, 4.1.1, and 4.3-20070323):

template<class T>
static void F();

template<>
static void F<int>();  // Explicit specialization with storage class specifier

The C++ standard seems to disallow this.  From 7.1.1 - Storage class specifiers
[dcl.stc], para 1:

...  A storage-class-specifier shall not be specified in an explicit
specialization (temp.expl.spec) or an explicit instantiation (temp.explicit)
directive.

I couldn't find an existing report of this, but may well have missed one.


-- 
           Summary: g++ accepts a storage-class-specifier on a template
                    explicit specialization
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: simon_baldwin at yahoo dot com


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[patchapp at dberlin dot org]

------- Comment #1 from patchapp at dberlin dot org  2007-05-29 22:54 -------
Subject: Bug number PR c++/31923

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2007-05/msg02033.html


-- 


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[simon_baldwin at yahoo dot com]

------- Comment #2 from simon_baldwin at yahoo dot com  2007-06-14 21:29 -------
Note: there's also a C++ language defect report relating to this issue, with
recommendation from the CWG:

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#605


-- 


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[simonb at gcc dot gnu dot org]

------- Comment #3 from simonb at gcc dot gnu dot org  2007-06-18 22:09 -------
Subject: Bug 31923

Author: simonb
Date: Mon Jun 18 22:09:14 2007
New Revision: 125829

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125829
Log:
gcc/cp/ChangeLog
2007-06-15  Simon Baldwin <simonb@google.com>

        PR c++/31923
        * parser.c (cp_parser_single_declaration): Added check for storage
        class other than sc_none in parsed declaration, and a flag to indicate
        if the call is part of an explicit template specialization parse.
        * (cp_parser_explicit_specialization): Specialization check flag added
        to call to cp_parser_single_declaration(), set true.
        * (cp_parser_template_declaration_after_export): Specialization check
        flag added to call to cp_parser_single_declaration(), set false.
        * pt.c (check_explicit_specialization): Added code to copy visiblity
        and linkage from the templated function to the explicit specialization.

gcc/testsuite/ChangeLog
2007-06-15  Simon Baldwin <simonb@google.com>

        PR c++/31923
        * g++.dg/template/error25.C: New.
        * g++.dg/template/spec35.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/template/error25.C
    trunk/gcc/testsuite/g++.dg/template/spec35.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2007-06-23 19:52 -------
As this patch has been checked in, can this PR be closed?


-- 


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[simon_baldwin at yahoo dot com]

------- Comment #5 from simon_baldwin at yahoo dot com  2007-06-25 17:24 -------
Indeed it can -- thanks for the reminder.  Marking as FIXED.


-- 

simon_baldwin at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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

[Bug c++/31923] g++ accepts a storage-class-specifier on a template explicit specialization

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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