https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77365
Ole Streicher <olebole at debian dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution|--- |INVALID
--- Comment #5 from Ole Streicher <olebole at debian dot org> ---
After some discussion, I am convinced that this is not a bug, but the result of
the 80-bit-FPU accuracy on x86. Therefore I would consider the bug now as
invalid.
