http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56912
--- Comment #6 from Andi Kleen <andi-gcc at firstfloor dot org> --- Seems to be fixed.
andi-gcc at firstfloor dot org Fri, 25 Oct 2013 07:55:05 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56912
--- Comment #6 from Andi Kleen <andi-gcc at firstfloor dot org> --- Seems to be fixed.