http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53113
--- Comment #4 from Martin <windward at gmx dot com> 2012-06-21 09:25:21 UTC --- ( And the "different story" is bug 53731... http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53731 )
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53113
--- Comment #4 from Martin <windward at gmx dot com> 2012-06-21 09:25:21 UTC --- ( And the "different story" is bug 53731... http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53731 )