From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [205.232.38.15]) by sourceware.org (Postfix) with ESMTPS id 5C17B3858D33 for ; Thu, 9 Mar 2023 08:23:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 5C17B3858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 921391165BE; Thu, 9 Mar 2023 03:23:56 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id qh9-BaqKTOAJ; Thu, 9 Mar 2023 03:23:56 -0500 (EST) Received: from free.home (tron.gnat.com [IPv6:2620:20:4000:0:46a8:42ff:fe0e:e294]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPS id 40ADA11615C; Thu, 9 Mar 2023 03:23:56 -0500 (EST) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 3298Nlkx801872 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Thu, 9 Mar 2023 05:23:47 -0300 From: Alexandre Oliva To: Richard Biener Cc: Martin =?utf-8?Q?Li=C5=A1ka?= , gcc-patches@gcc.gnu.org, msebor@redhat.com Subject: Re: [PATCH] -Wdangling-pointer: don't mark SSA lhs sets as stores Organization: Free thinker, does not speak for AdaCore References: <4c2566de-0352-22f7-3d86-44a2aa1f9957@suse.cz> Errors-To: aoliva@lxoliva.fsfla.org Date: Thu, 09 Mar 2023 05:23:47 -0300 In-Reply-To: (Richard Biener's message of "Wed, 8 Mar 2023 14:08:16 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-6.2 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,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: On Mar 8, 2023, Richard Biener wrote: > On Wed, Mar 8, 2023 at 2:04=E2=80=AFPM Martin Li=C5=A1ka = wrote: >> Is the emitted warning correct? > For the reduced testcase yes, if !aio_bh_poll_s (or !aio_bh_poll_bh) > the stored pointer remains local. *nod*, before the recent patch, it would have failed to issue the warning in somewhat unpredictable circumstances. --=20 Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about