From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from ciao.gmane.io (ciao.gmane.io [116.202.254.214]) by sourceware.org (Postfix) with ESMTPS id E0F373857C43 for ; Wed, 6 Mar 2024 17:09:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E0F373857C43 Authentication-Results: sourceware.org; dmarc=fail (p=quarantine dis=none) header.from=gmx.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=m.gmane-mx.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E0F373857C43 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=116.202.254.214 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1709744999; cv=none; b=mHG6v3mivZxWFFqCjmHuk5+XLw5RASdk4aTHVaHJlaiyAXYRvlwZiyZOw4BJwzj0oydXu8GGIzGzP6tNYrB1zXVddcjbCTzX842MqJK3liN7NygmwVCnDJVu6MUp5uvh22caDkqc7NJnGOg8FTHYJjrRMNLaq3lp0Xg/o/O1Sgs= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1709744999; c=relaxed/simple; bh=Q1rYZIf72e5fWmMzi3bkhfW+vWD02W6pD2TRhHlZkQo=; h=To:From:Subject:Date:Message-ID:Mime-Version; b=fnpSLBl+0aRoT/c2cyE+6KfBrSlvBzVTLC0RDAJSovt7Snp0joTsS/wQ1YW2DUYNRGwXNV2Fu36uXTQsTvz4EqBZDYRYIll2g5rXkfFXN2ZIMDTEWspbMULqLUABXZQ8brBaoqdovfEOM6WYFEeLTD/YAY8zONTdjO99npYCga8= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1rhumC-0005la-Pi for gcc-patches@gcc.gnu.org; Wed, 06 Mar 2024 18:09:56 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: gcc-patches@gcc.gnu.org From: Harald Anlauf Subject: Re: [PATCH] Fortran: error recovery while simplifying expressions [PR103707, PR106987] Date: Wed, 6 Mar 2024 18:09:49 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: Cc: fortran@gcc.gnu.org X-Spam-Status: No, score=-3.1 required=5.0 tests=BAYES_00,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: Message-ID: <20240306170949.VXFR4neNAxFl09zSueheq_EeJtOXDnk8qLJnB9Gagm4@z> Hi Paul, thanks for reviewing the patch, and your trust in me :-) Backporting to 13-branch seems easily feasible (needs another small queued backport on which this patch depends), but going further is definitely out of the question... Will wait a couple of weeks though. Harald On 3/6/24 11:51, Paul Richard Thomas wrote: > Hi Harald, > > This all looks good to me. OK for mainline and, according to intestinal > fortitude on your part, earlier branches. > > Thanks > > Paul > > > On Tue, 5 Mar 2024 at 21:24, Harald Anlauf wrote: > >> Dear all, >> >> error recovery on arithmetic errors during simplification has bugged >> me for a long time, especially since the occurence of ICEs depended >> on whether -frange-check is specified or not, whether array ctors >> were involved, etc. >> >> I've now come up with the attached patch that classifies the arithmetic >> result codes into "hard" and "soft" errors. >> >> A "soft" error means that it is an overflow or other exception (e.g. NaN) >> that is ignored with -fno-range-check. After the patch, a soft error >> will not stop simplification (a hard one will), and error status will be >> passed along. >> >> I took this opportunity to change the emitted error for division by zero >> for real and complex division dependent on whether the numerator is >> regular or not. This makes e.g. (0.)/0 a NaN and now says so, in >> accordance with some other brands. >> >> Regtested on x86_64-pc-linux-gnu. OK for mainline? >> >> Other comments? >> >> Thanks, >> Harald >> >> >