[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61129 Andy Lutomirski luto at mit dot edu changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #5 from Andy Lutomirski luto at mit dot edu --- According to https://gcc.gnu.org/gcc-5/changes.html, this is now implemented. Thanks!
[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61129 Paul Eggert eggert at gnu dot org changed: What|Removed |Added CC||eggert at gnu dot org --- Comment #2 from Paul Eggert eggert at gnu dot org --- It'd be nice if this were higher priority. I've been wanting this for years. We jump through a lot of confusing hoops in GNU applications to test for integer overflow, both signed and unsigned. See, for example, INT_MULTIPLY_OVERFLOW in: http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob;f=lib/intprops.h;h=d0bb7a6f57734e15e535cfc6b287a555dc6ccbb3;hb=HEAD Also, the need for a fast test for unsigned multiplication overflow recently came up in glibc internals discussions when writing a memory allocator. See: https://sourceware.org/ml/libc-alpha/2014-05/msg00480.html
[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61129 --- Comment #3 from Andrew Pinski pinskia at gcc dot gnu.org --- (In reply to Paul Eggert from comment #2) It'd be nice if this were higher priority. I've been wanting this for years. We jump through a lot of confusing hoops in GNU applications to test for integer overflow, both signed and unsigned. See, for example, INT_MULTIPLY_OVERFLOW in: http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob;f=lib/intprops.h; h=d0bb7a6f57734e15e535cfc6b287a555dc6ccbb3;hb=HEAD Also, the need for a fast test for unsigned multiplication overflow recently came up in glibc internals discussions when writing a memory allocator. See: https://sourceware.org/ml/libc-alpha/2014-05/msg00480.html You would still need them to compile with older GCCs anyways. Glibc still needs to compiler with a few year old GCC.
[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61129 Manuel López-Ibáñez manu at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2014-05-18 CC||manu at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #4 from Manuel López-Ibáñez manu at gcc dot gnu.org --- I think this was the last message: https://gcc.gnu.org/ml/gcc/2014-04/msg00194.html
[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61129 --- Comment #1 from Richard Biener rguenth at gcc dot gnu.org --- There was a recent proof-of-concept patch on the mailinglist to implement that.