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 <anl...@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
