http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53218
--- Comment #3 from Tom Callaway <tcallawa at redhat dot com> 2012-05-07 13:31:47 UTC --- No, the system libstdc++ was compiled with gcc-4.6. How would I find out what they do differently? (Compiler debugging is rather far from my area of expertise.)