http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51095
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-11-11 15:24:10 UTC --- This was supposed to be bug 864 but it looks like that wasn't really fixed even though it was closed as fixed. See also bug 19563.