http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57997
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> --- In my opinion it would be great if you could concretely propose a patch. I'm sure that both Gaby and the other library maintainers, like me, would be fast at reviewing it. Of course, if large it would require a Copyright assignment, but maybe not.