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 7b60b497cfca..1fedf0acca1b 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