Re: [C++ PATCH] PR c++/35878

[Ville Voutilainen <ville dot voutilainen at gmail dot com>]

On 20 March 2017 at 04:27, Jason Merrill <jason@redhat.com> wrote:
> On Sun, Mar 19, 2017 at 6:19 PM, Ville Voutilainen
> <ville.voutilainen@gmail.com> wrote:
>> I ran the tests for g++.dg/init thus far. Does this patch make sense?
>
> The condition needs to be a lot more specific: DR 1748 only applies to
> the non-allocating forms in [new.delete.placement], not to other
> placement allocation functions.

Round 2:

The new tests tested on Linux-x64, finishing testing with the full suite on
Linux-PPC64.

2017-03-20  Ville Voutilainen  <ville.voutilainen@gmail.com>

    gcc/

    PR c++/35878
    * cp/init.c (build_new_1): Don't do a null check for
    a namespace-scope non-replaceable placement new
    in C++17 mode unless -fcheck-new is provided.

    testsuite/

    PR c++/35878
    * g++.dg/init/pr35878_1.C: New.
    * g++.dg/init/pr35878_2.C: Likewise.
    * g++.dg/init/pr35878_3.C: Likewise.

Attachment: 35878_3.diff
Description: Text document