http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58555
--- Comment #10 from Markus Trippelsdorf <octoploid at yandex dot com> --- (In reply to David Binderman from comment #9) > (In reply to Markus Trippelsdorf from comment #8) > > The following patch seems to fix the issue: > > Looks good to me. > > I think it needs to get into the compiler source code somehow. > > Would posting the patch to gcc-patches be the correct way forward ? Yes, but I'd prefer not to. Because without commit rights you'll have to find someone to commit things for you. And the need to repeatedly ping even for trivial patches soon gets ridiculous.
