From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jwakely.gcc@gmail.com>
Received: from mail-io1-xd42.google.com (mail-io1-xd42.google.com
 [IPv6:2607:f8b0:4864:20::d42])
 by sourceware.org (Postfix) with ESMTPS id 06032385DC03
 for <gcc-patches@gcc.gnu.org>; Thu,  9 Apr 2020 08:13:56 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 06032385DC03
Received: by mail-io1-xd42.google.com with SMTP id i19so2941026ioh.12
 for <gcc-patches@gcc.gnu.org>; Thu, 09 Apr 2020 01:13:56 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc;
 bh=aRru3mDIhyFe43lSgrnmjz/79N1OX+amtlJ6OYGt514=;
 b=PZVj8h+5UKFGMgfUQvWBFiuCuUO5xfHD2jrf0PcBCFLNBo6LLqwXZadlADFRs2N80l
 z86rfjYp0KZJBbs7Yo5xCzpkWIGt4qxSHCFfscgFOlaXUUtFar3tqWYr3WeEg4wTdkq9
 bwDDJfj/r/L1AQVFSC6XUQIAOW5qrf+leKOrhiqCzkXvlOAtCUsUn8DR3VQyai5Ieeyn
 Kx5jstbeY1WiSPDL0HDGKtBeYZT3N9NvZityzyLuJWcIX8O7ZzLGp6cfgmeUO22+kCOS
 EbZHXiacseA/nEVNwxB6c5ODWFSFQwBHY7tHvLoyujjzsDp5pnPfNPiMlSuLcXM18/vU
 qB/w==
X-Gm-Message-State: AGi0PuaOEmoQH29aQh3jK0122N2xPzNOeo8tTm5PvKSlBJ2YX79djDRb
 M7dWEKJS5JUO8YqJvNb2sbmBpmN5QzA5mb+41rc=
X-Google-Smtp-Source: APiQypL7avecuaJRy87Q9essS2wPx7RZSur5sEabBsGlRWnkftNt1Dk7sjrmb3dGzq+C7nS+0x0Ob5QaOqi/Vjpyqcg=
X-Received: by 2002:a02:cbac:: with SMTP id v12mr1154268jap.103.1586420035496; 
 Thu, 09 Apr 2020 01:13:55 -0700 (PDT)
MIME-Version: 1.0
References: <20200403152609.GA35629@kam.mff.cuni.cz>
 <0dbc191e-66f7-9878-956d-96149f20f5bf@suse.cz>
 <e856b407-df7e-4459-c1d7-2665810996fe@acm.org>
 <CAH6eHdS+DEpQU1nPN70hZte34_x8iWHotcOU6jWYeGqzB7UNVg@mail.gmail.com>
 <CAFiYyc2hpq5C8umjT8BVH3hd2uZFBVXfPhnSx72742i+waHLoQ@mail.gmail.com>
 <CAH6eHdRe7dghOY0yWv5WDGCdYV=babVRCBsdihVkb=N6syGeSQ@mail.gmail.com>
 <CAFiYyc0mjKPzET5xmU8Q=Ys=Kq7=bNxS8g5JvG1JCdhwTP6S3A@mail.gmail.com>
 <b5ab1c54-66d9-8c37-de81-ae62d20e76a6@suse.cz>
 <CAFiYyc2juGtFbSsqNiKwAM4+q2QJy79pFhMgZ4VdXMaXZc_Q=g@mail.gmail.com>
 <a0e07c47-196d-4a2b-339e-7bbbc6a82359@redhat.com>
 <20200408133252.GG2212@tucnak>
 <e3d38543-33e8-2939-f20a-5269b3f4776f@redhat.com>
 <e832e47e-451e-8b17-f4d0-5bfc93c9b97f@suse.cz>
 <20d175a6-23df-43e5-7027-d11fc660abd1@suse.cz>
 <CAFiYyc1wO-_UxE8Ju4pHpK_M9-UC_ee2Sjv6kfJhQtX32Ecpxg@mail.gmail.com>
 <alpine.DEB.2.22.394.2004090930080.7961@stedding.saclay.inria.fr>
In-Reply-To: <alpine.DEB.2.22.394.2004090930080.7961@stedding.saclay.inria.fr>
From: Jonathan Wakely <jwakely.gcc@gmail.com>
Date: Thu, 9 Apr 2020 08:13:44 +0000
Message-ID: <CAH6eHdQwg-ms3aj9=uiavCzdE3uyWzP5pqMzOkVbSpdBghdbiw@mail.gmail.com>
Subject: Re: [PATCH] Allow new/delete operator deletion only for replaceable.
To: Marc Glisse <marc.glisse@inria.fr>
Cc: Richard Biener <richard.guenther@gmail.com>,
 =?UTF-8?Q?Martin_Li=C5=A1ka?= <mliska@suse.cz>, 
 Jason Merrill <jason@redhat.com>, Jakub Jelinek <jakub@redhat.com>,
 Jan Hubicka <hubicka@ucw.cz>, 
 GCC Patches <gcc-patches@gcc.gnu.org>, Nathan Sidwell <nathan@acm.org>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Status: No, score=-1.5 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,
 SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 09 Apr 2020 08:13:57 -0000

On Thu, 9 Apr 2020 at 09:05, Marc Glisse wrote:
> Note that the matching is not 1-to-1. Array vs non-array and
> aligned vs non-aligned seem important, but sized and unsized delete can
> both match the same new, IIUC.

Right.

> Not sure about the nothrow versions...

This is valid, and mixes the nothrow new with non-nothrow delete:

delete new (std::nothrow) int;