From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail.ispras.ru (mail.ispras.ru [83.149.199.84]) by sourceware.org (Postfix) with ESMTPS id C37463858D32 for ; Mon, 18 Sep 2023 15:38:28 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C37463858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=ispras.ru Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=ispras.ru Received: from [10.10.3.121] (unknown [10.10.3.121]) by mail.ispras.ru (Postfix) with ESMTPS id 4FAB040F1DF1; Mon, 18 Sep 2023 15:38:27 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 mail.ispras.ru 4FAB040F1DF1 Date: Mon, 18 Sep 2023 18:38:27 +0300 (MSK) From: Alexander Monakov To: Martin Uecker cc: Jakub Jelinek , Florian Weimer , gcc@gcc.gnu.org Subject: Re: Concerns regarding the -ffp-contract=fast default In-Reply-To: <0d101e3c2be84e4ff426615b910e6f513dbde0be.camel@gwdg.de> Message-ID: <1a384baa-fe1c-2b36-03d8-42cc650b4e34@ispras.ru> References: <87r0n01z18.fsf@oldenburg3.str.redhat.com> <21e46cef-1fbf-df87-608d-52b7f894dea7@ispras.ru> <2ef1dbd0-8a67-6a25-50e3-16c7ca3676b6@ispras.ru> <0d101e3c2be84e4ff426615b910e6f513dbde0be.camel@gwdg.de> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-3.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 Mon, 18 Sep 2023, Martin Uecker wrote: > > The hardest part would be popping the pragma state when leaving a block, > > which didn't seem difficult (at least for C). > > It is fairly restricted where it can appear, it essentially operates > on the level of compound statements (!= blocks). Thanks for the clarification. Let me note that the standard somehow decided to make out-of-place pragma a (compile-time) UB rather than a constraint violation, leaving us free to make it work for blocks (or launch Nethack). Alexander