http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #13 from H.J. Lu <hjl.tools at gmail dot com> 2011-08-13 18:23:14 UTC --- We should consider our users. GMP has been working with GCC for a long time. Now it fails with GCC 4.7. It is a very bad GCC 4.7 experience for user.
