From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x431.google.com (mail-wr1-x431.google.com [IPv6:2a00:1450:4864:20::431]) by sourceware.org (Postfix) with ESMTPS id 4F6163858D39 for ; Wed, 15 Mar 2023 15:13:47 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4F6163858D39 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wr1-x431.google.com with SMTP id q16so17639146wrw.2 for ; Wed, 15 Mar 2023 08:13:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678893225; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=vUQVZn/tf7YrTBjnWR+c77XdpFaPLXSjq9lbilfv8hs=; b=bkxWUVD+dL+lmfEK/XCYTf++VOrg92RBDMlgou+2/eA4EWp4ujX1mpgoIQ3Fe+Oeua wbp74Sd34hwL1xXZmxPWaHl6RaPm7oL5J60ZRhAmRTLoywaJ1/3gmc51UqtJiICOU56U EiUpXvLOBsImATrPEEQ7gybcmI4MFGP3aMV4Xk/MgKWauy9zcx5qJvlW0MkJcbXAAFVN 4VCsWWXdZEPZAgjfycQ7c1m0yNzV4KSBalg/Mi1nZZemq+SfF8ekgwvt/E3tJ5Jv8DyR 8aJ4BY1zryHFbYLlA8Zon20L7qDd8gwYJh1kw1wO7sSFT0pzlBCy801848jIJwDjHtxC V9RQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678893225; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=vUQVZn/tf7YrTBjnWR+c77XdpFaPLXSjq9lbilfv8hs=; b=r90H8OOX+GwK8we/QgWkaQaPnRHqYLBeP6ooeirk9wdypvBYZbNcESsFD8e8R6AJvc BtmYOk8SbwnlzG0yOFuE+JVfxKWZQxSjiGdba/OJJorSg7O9f9g8tZi5BP2ICwZ+WLL/ EPr/g7AvXAO0Tj6epExxHt+F9fYNmsRhRDV2C05vMxVjte2tSJWuUsjC9/hl8bFXQGXO spLE5Aet5LN0kONs1GJYH2W/n7u61lLgYfBxONcCu5IJKxahmpWolEqKykxtji8e6V70 IfJJa3dKVg1wq+P3kSJLAPNjjTiAnMqEGrGbirB+j4kEItLWooKS/4Ql7R1Vp2U1LRne zDqw== X-Gm-Message-State: AO0yUKVwgD0pURdPNY+xM6Vd8X8Ft9SCrr/qvmfk12QCNhSgIJqKUaOc O7IAUcH2fYfYoYWWfxMCSr0= X-Google-Smtp-Source: AK7set/d2CZoPTn3Y5GqSW/DUscO+qzMVyUPM7qbSfEK0YN0ar1qYQRH9idN5OKfr9R7T8pUIxdc1w== X-Received: by 2002:a5d:4526:0:b0:2c7:1c36:3c67 with SMTP id j6-20020a5d4526000000b002c71c363c67mr2314577wra.23.1678893225157; Wed, 15 Mar 2023 08:13:45 -0700 (PDT) Received: from [192.168.0.160] ([170.253.51.134]) by smtp.gmail.com with ESMTPSA id q4-20020adff944000000b002c552c6c8c2sm4953999wrr.87.2023.03.15.08.13.43 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 15 Mar 2023 08:13:44 -0700 (PDT) Message-ID: Date: Wed, 15 Mar 2023 16:13:28 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 Subject: Re: Ping: [PATCH resend] Make -Wuse-after-free=3 the default one in -Wall Content-Language: en-US To: Richard Biener Cc: gcc-patches@gcc.gnu.org, Alejandro Colomar , Andreas Schwab , David Malcolm , Florian Weimer , Iker Pedrosa , Jens Gustedt , Jonathan Wakely , Mark Wielaard , Martin Uecker , Michael Kerrisk , Paul Eggert , Sam James , Siddhesh Poyarekar , Yann Droneaud References: <3d7d07cf-3276-b091-69d5-bf00b04e518d@gotplt.org> <20230217230525.10750-1-alx@kernel.org> From: Alejandro Colomar In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------G53WPyQYyfEqdLKBvEq1HLIX" X-Spam-Status: No, score=-4.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,KAM_SHORT,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------G53WPyQYyfEqdLKBvEq1HLIX Content-Type: multipart/mixed; boundary="------------55TIMIyvGvELlCmevIuAMMFe"; protected-headers="v1" From: Alejandro Colomar To: Richard Biener Cc: gcc-patches@gcc.gnu.org, Alejandro Colomar , Andreas Schwab , David Malcolm , Florian Weimer , Iker Pedrosa , Jens Gustedt , Jonathan Wakely , Mark Wielaard , Martin Uecker , Michael Kerrisk , Paul Eggert , Sam James , Siddhesh Poyarekar , Yann Droneaud Message-ID: Subject: Re: Ping: [PATCH resend] Make -Wuse-after-free=3 the default one in -Wall References: <3d7d07cf-3276-b091-69d5-bf00b04e518d@gotplt.org> <20230217230525.10750-1-alx@kernel.org> In-Reply-To: --------------55TIMIyvGvELlCmevIuAMMFe Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Richard, On 3/15/23 15:52, Richard Biener wrote: > On Wed, Mar 15, 2023 at 3:30=E2=80=AFPM Alejandro Colomar via Gcc-patch= es > wrote: >> >> Ping >=20 > -Wuse-after-free=3D3 was explicitly added to cover cases with a high > false-positive rate. If you want to > make that the default then instead merge the equality compare case > back to the =3D2 case. >=20 > But as I said elsewhere I think that -Wuse-after-free is very much too > trigger happy, especially > with value-uses (not accessing released memory but inspecting the old > pointer value). Please consider > looking at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D104075 and > review the false positives > reported. >=20 > Also see my very recent patches from today trying to limit > -Wuse-after-free by not diagnosing > from late IL. Hmmm, thanks, didn't know about those. Please ignore my patch. Cheers, Alex --=20 GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5 --------------55TIMIyvGvELlCmevIuAMMFe-- --------------G53WPyQYyfEqdLKBvEq1HLIX Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE6jqH8KTroDDkXfJAnowa+77/2zIFAmQR4JgACgkQnowa+77/ 2zIjIw//dDH4PUcHrlMOtRAgW2s6QLienW18XMury2BVctUxskGcmaObWhF94sbm F5FC4NfSYiHAAQMjfbB18lP5Tq9QP5pk7unvVzvaCiw2H72ZHANzdGwxa7Ub/cvp Dr53OUn6qwJqd+eyuW7qqzTZjXobO02W1p1iLHr4+ijqXmDc/MXWrE12kU6cLy3o QdIOcS6Zijq0JhRVqxCYvXWX3066sukh3unwtBXAPxrEFPTuyfZdW03TrI9U90zV LuC2WXRXHlxwIxotRs++LmywyN3ZcFFDpA70ccR13Cf2Cgvo+atlAE958VZtaAnt EuVS1agYuw1WaMysgQDZhC7RZvdgtLNrSNDbHVTm7NjTvesgf/by2ADx0fHsWMx2 2mKx5iHgcWRG75Yt+U3RqABOe9Mtb5BgVJ4VkVUSe+3O7mpRJYEma24hSgeIlE2r /rXVGMZpcSiomYPWjjNfMQOX/ATtcaPhYLol0tTUNrQZTRW5wUI0XybyGcOPAGUW MYxD4uiWSwZl5tfElNPZFkfAemlpIXOzGb8yeCqMv5H1MTrG7yWWKgvHxP6O6AqN BywtHey7xGWu85u9tC7VAWYxdU3kAgaghCS4ooYmEfNlnehZUqOvownYfcNEhsEV hTdCPa17iLz/H/zgAHwKs8QCStjKLkllabItMxRPBoL19nXLky0= =Lus1 -----END PGP SIGNATURE----- --------------G53WPyQYyfEqdLKBvEq1HLIX--