https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109008
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #54602|0 |1
is obsolete| |
--- Comment #30 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 54605
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54605&action=edit
gcc13-pr109008-wip.patch
Fixed iterative patch (just for archival purposes only).
Note, even this one isn't exact, because of the way the tests conservatively
try to round inexact operations (normally in a way to make the range slightly
larger, in this case the tests for e.g. low bound the normal operation towards
+inf), for f1 above with this patch one gets
[frange] double
[-1.11022302462515641716411522730772571691741167456465161356e-16
(-0x0.fffffffffffff8p-53),
2.22044604925031283432823045461545143383482334912930322712e-16
(0x0.fffffffffffff8p-52)]
instead of [-0x0.8p-53, 0x0.8p-52] which is the minimal range.
