http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58687
--- Comment #8 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Thanks for working on this bug. http://gcc.gnu.org/contribute.html describes how to submit changes (including testcases etc.).
