[Bug libstdc++/56109] New: Add light-weight ABI-compatible debug checks to standard containers

["ppluzhnikov at google dot com" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56109

             Bug #: 56109
           Summary: Add light-weight ABI-compatible debug checks to
                    standard containers
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: libstdc++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ppluzhnikov@google.com


Google has implemented a series of patches which allows us to catch many STL
mis-use bugs cheaply and in ABI-compatible way:

http://gcc.gnu.org/ml/gcc-patches/2013-01/msg01186.html
http://gcc.gnu.org/ml/gcc-patches/2013-01/msg01074.html and more ...
(just look for __google_stl in google/integration branch).

Some of the bugs we catch this way are not visible to "standard" tools like
Valgrind and AddressSanitizer.

These bugs (and more) *are* visible to _GLIBCXX_DEBUG mode, but we've not been
able to use that mode due to source incompatibilities, and it has ABI
implications as well.

Please consider adding a light-weight ABI-compatible debug mode to trunk, once
it re-opens for stage 1.