http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54075
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-25 09:56:15 UTC --- A patch is available here: http://gcc.gnu.org/ml/libstdc++/2012-07/msg00051.html Submitter and interested people can give it a try before it goes in.