[Bug c++/32056] New: Storage classes on template parameters

[Bug c++/32056] New: Storage classes on template parameters

[andrew dot stubbs at st dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1139 bytes --]

None of the following should be accepted.

template <auto int T> struct A {};
template <extern int T> struct B {};
template <static int T> struct C {};
template <register int T> struct D {};
template <mutable int T> struct E {};

The extern, static and mutable are rejected with this message:

t.cxx:2: error: storage class specifiers invalid in parameter declarations
t.cxx:2: error: storage class specified for parameter ‘T’
t.cxx:3: error: storage class specifiers invalid in parameter declarations
t.cxx:3: error: storage class specified for parameter ‘T’
t.cxx:5: error: non-member ‘T’ cannot be declared ‘mutable’

But static and register have been accepted.

Clause 14.1/2 of the C++ standard says that storage classes should not be used
here.


-- 
           Summary: Storage classes on template parameters
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: andrew dot stubbs at st dot com


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

[Bug c++/32056] Storage classes on template parameters

[pcarlini at suse dot de]

-- 

pcarlini at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pcarlini at suse dot de
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-19 13:54:50
               date|                            |


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

[Bug c++/32056] Storage classes on template parameters

[paolo at gcc dot gnu dot org]

------- Comment #1 from paolo at gcc dot gnu dot org  2009-11-16 08:31 -------
Subject: Bug 32056

Author: paolo
Date: Mon Nov 16 08:31:26 2009
New Revision: 154198

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154198
Log:
cp/
2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/32056
        * decl.h (enum decl_context): Add TPARM enumerator.
        * decl.c (grokdeclarator): Per 14.1/2, error out if a storage class
        is specified in a template parameter declaration.
        * parser.c (cp_parser_template_parameter): Call grokdeclarator with
        TPARM as third argument.

testsuite/
2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/32056
        * testsuite/g++.dg/template/error44.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/template/error44.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/decl.h
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/32056] Storage classes on template parameters

[paolo dot carlini at oracle dot com]

------- Comment #2 from paolo dot carlini at oracle dot com  2009-11-16 08:33 -------
Fixed for 4.5.0.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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