From 176cb2dad15b7d0593f14e8d52a550202adec125 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sat, 2 Mar 2019 18:29:37 +0100 Subject: [PATCH] Allow race condition in caml_leave_blocking_section Since commit 08ed1e8 (GPR#2211) caml_leave_blocking_section writes to caml_signals_are_pending, a variable that has known race conditions. --- tools/ci/inria/tsan-suppr.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/ci/inria/tsan-suppr.txt b/tools/ci/inria/tsan-suppr.txt index b6574382d..70521db6a 100644 --- a/tools/ci/inria/tsan-suppr.txt +++ b/tools/ci/inria/tsan-suppr.txt @@ -1,5 +1,6 @@ # The treatment of pending signals involves unsynchronized accesses fun:caml_record_signal fun:caml_process_pending_signals +fun:caml_leave_blocking_section # st_masterlock_waiters polls m->waiters without locking fun:st_masterlock_waiters