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
