http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56875
--- Comment #4 from Jan-Benedict Glaw <jbg...@lug-owl.de> --- You're quite right, Martin! It's a simple fix on the GCC side working around a buggy gas, and it would also work with a fixed gas. However, gas isn't too simple to fix, at least not with a well-architected fix.
