http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #8 from H.J. Lu <hjl.tools at gmail dot com> 2011-08-13 15:56:22 UTC --- make_overflow_infinity sets to TYPE_MAX_VALUE/TYPE_MIN_VALUE. Shouldn't it set to TYPE_MAX_VALUE + 1/TYPE_MIN_VALUE - 1?