http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #11 from H.J. Lu <hjl.tools at gmail dot com> 2011-08-13 18:11:56 UTC --- Created attachment 25006 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25006 A patch GMP code may be buggy. But it works with all other compilers, including GCC 4.6.0 and older. Is there any particular good reason to ignore range overflow? This patch checks range overflow and caused no regressions on Linux/x86.