https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61321
--- Comment #8 from Pedro Alves <palves at redhat dot com> --- The patch was meanwhile approved: https://gcc.gnu.org/ml/gcc-patches/2014-11/msg01247.html I'm afraid I won't have time to get back to this for at least a few weeks. If someone else could push it, I'd appreciated it.
