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.
