Remove thread sanitizer from the "sanitizers" CI job

Too many alarms that appear unfixable.  See #11040.

1 files changed, 24 insertions, 21 deletions

diff --git a/tools/ci/inria/sanitizers/script b/tools/ci/inria/sanitizers/script
index 12368e4a19..8d849579d9 100755
--- a/tools/ci/inria/sanitizers/script
+++ b/tools/ci/inria/sanitizers/script
@@ -110,31 +110,34 @@ ASAN_OPTIONS="detect_leaks=0,use_sigaltstack=0" $run_testsuite
 
 #########################################################################
 
-echo "======== clang 13, thread sanitizer =========="
+# Thread sanitizer is not working in OCaml 5: too many alarms that are
+# probably benign races in the GC (#11040).  Turn it off.
 
-git clean -q -f -d -x
-
-# Select thread sanitizer
-# Don't optimize too much to get better backtraces of errors
-
-./configure \
-  CC=clang-13 \
-  CFLAGS="-O1 -fno-omit-frame-pointer -fsanitize=thread" \
-  --disable-stdlib-manpages --enable-dependency-generation
+# echo "======== clang 13, thread sanitizer =========="
 
-# Build the system
-TSAN_OPTIONS="detect_deadlocks=0" make $jobs
+# git clean -q -f -d -x
 
-# ThreadSanitizer reports errors for the error case of unlocking an
-# error-checking mutex.
-# Exclude the corresponding test
-export OCAMLTEST_SKIP_TESTS="$OCAMLTEST_SKIP_TESTS \
-tests/lib-threads/mutex_errors.ml"
+# # Select thread sanitizer
+# # Don't optimize too much to get better backtraces of errors
 
-# Run the testsuite.
-# ThreadSanitizer complains about fork() in threaded programs,
-# we ask it to just continue in this case.
-TSAN_OPTIONS="detect_deadlocks=0,die_after_fork=0" $run_testsuite
+# ./configure \
+#   CC=clang-13 \
+#   CFLAGS="-O1 -fno-omit-frame-pointer -fsanitize=thread" \
+#   --disable-stdlib-manpages --enable-dependency-generation
+
+# # Build the system
+# TSAN_OPTIONS="detect_deadlocks=0" make $jobs
+
+# # ThreadSanitizer reports errors for the error case of unlocking an
+# # error-checking mutex.
+# # Exclude the corresponding test
+# export OCAMLTEST_SKIP_TESTS="$OCAMLTEST_SKIP_TESTS \
+# tests/lib-threads/mutex_errors.ml"
+
+# # Run the testsuite.
+# # ThreadSanitizer complains about fork() in threaded programs,
+# # we ask it to just continue in this case.
+# TSAN_OPTIONS="detect_deadlocks=0,die_after_fork=0" $run_testsuite
 
 #########################################################################