From: Gerald Pfeifer
The approach described above is known to work with the following race detection tools: - + DRD, - + Helgrind, and ThreadSanitizer (this refers to ThreadSanitizer v1, not the diff --git a/libstdc++-v3/doc/xml/manual/debug.xml b/libstdc++-v3/doc/xml/manual/debug.xml index 7b60b497cfc..1fedf0acca1 100644 --- a/libstdc++-v3/doc/xml/manual/debug.xml +++ b/libstdc++-v3/doc/xml/manual/debug.xml @@ -245,10 +245,10 @@ The approach described above is known to work with the following race detection tools: + xlink:href="https://valgrind.org/docs/manual/drd-manual.html"> DRD, + xlink:href="https://valgrind.org/docs/manual/hg-manual.html"> Helgrind, and