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.

Reply via email to