Re: [PATCH] Fortran: error recovery while simplifying expressions [PR103707, PR106987]

[Harald Anlauf <anlauf@gmx.de>]

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 <anlauf@gmx.de> 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
>>
>>
>