http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54694
H.J. Lu <hjl.tools at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed|2013-11-28 00:00:00 |2012-09-25 0:00 CC| |hjl.tools at gmail dot com --- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> --- "ebp" is a frame pointer and used by GCC internally. It shouldn't be marked as fixed. If register struct CPUX86State *env asm ("ebp"); has to be used, -mno-avx is a reasonable workaround.