[Bug c++/47956] New: gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[Bug c++/47956] New: gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[boostcpp at gmail dot com]

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

           Summary: gcc accepts static data member declaration with
                    initializer for non-const literal type if
                    type-specifier is auto
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: boostcpp@gmail.com


gcc accepts static data member declaration with brace-or-equal-initializer for
non-const literal type, when the type-specifier is the plain auto specifier.

struct X
{
    static auto member = 0 ;
} ;

The type of X::member is deduced to be int.
But static data member declaration is allowed to have
brace-or-equal-initializer if the type is const literal type.

So this code must be ill-formed.

[Bug c++/47956] [C++0x] gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.03.02 17:18:22
            Summary|gcc accepts static data     |[C++0x] gcc accepts static
                   |member declaration with     |data member declaration
                   |initializer for non-const   |with initializer for
                   |literal type if             |non-const literal type if
                   |type-specifier is auto      |type-specifier is auto
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-03-02 17:18:22 UTC ---
confirmed, not a regression

[Bug c++/47956] [C++0x] gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jason at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/47956] [C++0x] gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-27 04:01:51 UTC ---
Author: jason
Date: Fri May 27 04:01:46 2011
New Revision: 174317

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174317
Log:
    PR c++/47956
    * decl.c (check_static_variable_definition): Now static.
    (cp_finish_decl): Call it here.
    (grokdeclarator): Not here.
    * pt.c (instantiate_class_template_1): Or here.
    * cp-tree.h: Don't declare it.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/auto7.C
    trunk/gcc/testsuite/g++.dg/template/crash50.C
    trunk/gcc/testsuite/g++.dg/template/static9.C
    trunk/gcc/testsuite/g++.old-deja/g++.ext/memconst.C

[Bug c++/47956] [C++0x] gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-27 04:38:32 UTC ---
Fixed for 4.7.0.