http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57158
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |DUPLICATE --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-05-03 10:36:00 UTC --- yes, this is known and documented: http://gcc.gnu.org/onlinedocs/libstdc++/manual/status.html#status.iso.2011 *** This bug has been marked as a duplicate of bug 54577 ***