http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53532
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-05-30 19:08:18 UTC --- This looks like another case of bug 51034.
joseph at codesourcery dot com Wed, 30 May 2012 12:08:47 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53532
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-05-30 19:08:18 UTC --- This looks like another case of bug 51034.