http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47715
--- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> 2011-02-25 16:56:12 UTC --- Thread pointer really should be 32bit in x32.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47715
--- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> 2011-02-25 16:56:12 UTC --- Thread pointer really should be 32bit in x32.