[Bug sanitizer/111063] [UBSAN] Implement "-inf is outside the range of representable values of type 'unsigned long'" to be on par with Clang

2023-08-22 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111063 --- Comment #4 from Jakub Jelinek --- Yet, even for C++ both the compiler middle-end and users assume they can do say 0.0 / 0.0 and get a NaN, not UB etc. Even for the conversions, the generated code or library functions just set the resulting

[Bug sanitizer/111063] [UBSAN] Implement "-inf is outside the range of representable values of type 'unsigned long'" to be on par with Clang

2023-08-22 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111063 Jonathan Wakely changed: What|Removed |Added Status|RESOLVED|NEW Resolution|INVALID

[Bug sanitizer/111063] [UBSAN] Implement "-inf is outside the range of representable values of type 'unsigned long'" to be on par with Clang

2023-08-20 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111063 --- Comment #2 from Andrew Pinski --- Also I tested GCC 13.2.0 with -fsanitize=float-cast-overflow and GCC does produce an error message at runtime for the original testcase too.

[Bug sanitizer/111063] [UBSAN] Implement "-inf is outside the range of representable values of type 'unsigned long'" to be on par with Clang

2023-08-20 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111063 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---