https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850
--- Comment #25 from Tom Tromey <tromey at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #24) > There is a patch for GCC that was basically approved in January: > https://gcc.gnu.org/ml/gcc-patches/2014-01/msg01284.html > > I am not sure why it hasn't been committed yet. I'm going to submit the fixed up version this week.