[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Known to work|

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #9 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:5e57bacf6f3599efea7634470db84121641c80b0 commit r12-3248-g5e57bacf6f3599efea7634470db84121641c80b0 Author: Richard Biener Date:

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #8 from Richard Biener --- Testing an alternative.

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #7 from Richard Biener --- All of the FAILs could be avoided when taking the position of the use into account but that would require some more substantial adjustment of TER.

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #6 from Richard Biener --- Bootstrap & regtest reveals FAIL: gcc.dg/pr63743.c scan-rtl-dump-times expand "Swap operands" 1 ... FAIL: gcc.target/i386/pr85667-10.c scan-assembler-times addsd[ \\t]*40(%rsp), .* 1 FAIL:

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #5 from Richard Biener --- Btw, the stmt_could_throw_p check was added in response to PR33593 which looks quite similar (but the testcase uses -fnon-call-exceptions).

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-31 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 Richard Biener changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-30 Thread vincent-gcc at vinc17 dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #3 from Vincent Lefèvre --- Implementation details about trap enablement is outside the scope of ISO C, but the existence of traps is explicitly allowed by Annex F (when supported). F.8 says: "It includes also IEC 60559 dynamic

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-30 Thread joseph at codesourcery dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #2 from joseph at codesourcery dot com --- On Mon, 30 Aug 2021, vincent-gcc at vinc17 dot net via Gcc-bugs wrote: > In the generated code with -O1 and above, one can see that the multiplication > is done after g is called, even if

[Bug middle-end/102129] -ftrapping-math is broken or badly documented

2021-08-30 Thread vincent-gcc at vinc17 dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102129 --- Comment #1 from Vincent Lefèvre --- Additional surprising behavior... On the following C code: void g (void); double f (void) { double x = 0.0, y = 0.0; double r = x / y; g (); return r; } one can see with -ftrapping-math (the