https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61626
--- Comment #3 from Andrew Pinski ---
0x7FFF is not exactly presentably in 64bit (double) precision
floating point. But is 80bit (the underlying precision of x86/x87). So yes
this is exactly the same issue as bug 323.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61626
--- Comment #2 from meidingerc1 at gmail dot com ---
I dispute that bug 61626 is a duplicate of 323. The 323 bug doesn't show up on
the system where I confirmed 61626.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61626
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
