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

[andrew dot stubbs at st dot com]

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