From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.smtpout.orange.fr (smtp-18.smtpout.orange.fr [80.12.242.18]) by sourceware.org (Postfix) with ESMTPS id E3461384D170 for ; Thu, 20 Oct 2022 18:58:45 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E3461384D170 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=orange.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=orange.fr Received: from [192.168.1.17] ([86.215.174.255]) by smtp.orange.fr with ESMTPA id lakco3vs7XaJmlakcowzNc; Thu, 20 Oct 2022 20:58:43 +0200 X-ME-Helo: [192.168.1.17] X-ME-Auth: bW9yaW4tbWlrYWVsQG9yYW5nZS5mcg== X-ME-Date: Thu, 20 Oct 2022 20:58:43 +0200 X-ME-IP: 86.215.174.255 Message-ID: <455087f8-5728-6eaa-9196-fc694d7d88db@orange.fr> Date: Thu, 20 Oct 2022 20:58:42 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.3 Subject: Re: [COMMITTED] Replace finite_operands_p with maybe_isnan. Content-Language: fr, en-US To: gcc-patches@gcc.gnu.org References: <20221020141336.228799-1-aldyh@redhat.com> From: Mikael Morin In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,JMQ_SPF_NEUTRAL,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Le 20/10/2022 à 20:56, Mikael Morin a écrit : > > Doesn't this miss a check of flag_finite_math_only to be strictly > equivalent?  You keep that check for the two-arguments case, so I guess > it's not redundant? Well, the check is removed in the follow-up patch, so maybe is is after all.