# The treatment of pending signals involves unsynchronized accesses
fun:caml_record_signal
fun:caml_process_pending_signals
# st_masterlock_waiters polls m->waiters without locking
fun:st_masterlock_waiters

# 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

Allow race condition in caml_leave_blocking_section
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.
