http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57975
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- I am working (slowly) on some additional Debug Mode checks in <mutex>, <condition_variable> etc. so at some point you'll be able to debug this with -D_GLIBCX_DEBUG