https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
--- Comment #5 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #4) > > I posted a patch for this in > > https://gcc.gnu.org/ml/gcc-patches/2010-02/msg00325.html, and Arnaud > > approved it in the followup message, but it never got applied. > > Sorry about that, please ping patches when they fall through the cracks. I did (https://gcc.gnu.org/ml/gcc-patches/2011-09/msg00978.html) - I guess it fell through the cracks again, my end as well as yours. Not the most important of patches!
