[Bug middle-end/102930] equal values appear to be different due to missing correct rounding in libc

2021-10-26 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 --- Comment #5 from Richard Biener --- It looks like the usual equivalence issue.

[Bug middle-end/102930] equal values appear to be different due to missing correct rounding in libc

2021-10-25 Thread joseph at codesourcery dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 --- Comment #4 from joseph at codesourcery dot com --- On Mon, 25 Oct 2021, vincent-gcc at vinc17 dot net via Gcc-bugs wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 > > --- Comment #3 from Vincent Lefèvre --- > (In reply to

[Bug middle-end/102930] equal values appear to be different due to missing correct rounding in libc

2021-10-25 Thread vincent-gcc at vinc17 dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 --- Comment #3 from Vincent Lefèvre --- (In reply to Jakub Jelinek from comment #2) > I think there is nothing that can be done about this, and something like > this has been there since forever. While perhaps some double routines in > glibc

[Bug middle-end/102930] equal values appear to be different due to missing correct rounding in libc

2021-10-25 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug middle-end/102930] equal values appear to be different due to missing correct rounding in libc

2021-10-25 Thread vincent-gcc at vinc17 dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102930 --- Comment #1 from Vincent Lefèvre --- I forgot some information: Debian unstable currently has libc6 2.32-4, where IBM's code for correct rounding was disabled some time ago. This bug might be unreproducible with other glibc versions (or