------- Comment #1 from redi at gcc dot gnu dot org 2010-08-13 11:50 ------- (In reply to comment #0) > I propose to add a more detailed documentation (though I don't know the exact > place where to add it).
maybe http://gcc.gnu.org/onlinedocs/libstdc++/manual/debug.html The html docs are generated from docbook sources in libstdc++-v3/doc/xml/manual -- redi at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|0000-00-00 00:00:00 |2010-08-13 11:50:12 date| | Summary|Need to document |Need to document |_GLIBCXX_SYNCHRONIZATION_HAP|_GLIBCXX_SYNCHRONIZATION_HAP |PENS_BEFORE |PENS_BEFORE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45276