[Bug c++/51911] New: [C++11] G++ accepts new auto { list }

[Bug c++/51911] New: [C++11] G++ accepts new auto { list }

[jason at gcc dot gnu.org]

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

             Bug #: 51911
           Summary: [C++11] G++ accepts new auto { list }
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jason@gcc.gnu.org


If the auto type-specifier appears in the type-specifier-seq of a new-type-id
or type-id of a new-expression, the new-expression shall contain a
new-initializer of the form ( assignment-expression )

So this shouldn't compile:

#include <initializer_list>
int main()
{
    auto foo = new auto {3, 4, 5};
}

[Bug c++/51911] [C++11] G++ accepts new auto { list }

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51911

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-06-24
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com
   Target Milestone|---                         |6.0
     Ever confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/51911] [C++11] G++ accepts new auto { list }

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51911

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Mon Sep 14 15:25:00 2015
New Revision: 227753

URL: https://gcc.gnu.org/viewcvs?rev=227753&root=gcc&view=rev
Log:
/cp
2015-09-14  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51911
        * parser.c (cp_parser_new_expression): Enforce 5.3.4/2 (as amended
        per the spirit of DR 1467).

/testsuite
2015-09-14  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/51911
        * g++.dg/cpp0x/new-auto1.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/new-auto1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51911] [C++11] G++ accepts new auto { list }

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51911

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Diagnostic improved for 6.0.