https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47379
H.J. Lu <hjl.tools at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution|--- |WONTFIX --- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> --- X32 has switched to 32-bit Pmode by default in GCC 4.8. This is no longer an issue.