[Bug c/61129] Feature request: integer-overflow-detecting arithmetic intrinsics

2014-12-02 Thread luto at mit dot edu
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

2014-05-18 Thread eggert at gnu dot org
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

2014-05-18 Thread pinskia at gcc dot gnu.org
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

2014-05-18 Thread manu at gcc dot gnu.org
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

2014-05-13 Thread rguenth at gcc dot gnu.org
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.