http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48580
--- Comment #5 from Zack Weinberg <zackw at panix dot com> 2011-04-12 21:04:34 UTC --- Addendum: what would *you* describe as the correct C idiom for ensuring that the product of two signed integers was positive and did not overflow the range of a same-sized signed integer, assuming nothing about either multiplicand?