http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53798
Martin <windward at gmx dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Version|4.7.1 |4.7.2 Known to fail| |4.7.2 --- Comment #9 from Martin <windward at gmx dot com> 2013-02-26 14:22:00 UTC --- Ping? Bug still exists in 4.7.2, workaround stays the same.