Workaround TSan false positive in [set_]mark_bit_from_hdr
authorIvan Maidanski <ivmai@mail.ru>
Tue, 31 Oct 2017 08:49:55 +0000 (11:49 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 31 Oct 2017 21:19:59 +0000 (00:19 +0300)
commit6096c4098e06460eed029c8259102462231fe7ee
tree9d6be71737d870a06273b95a193d8aa812f3679a
parent57f22ff97d7961784ad7e93578558990ddd74e2e
Workaround TSan false positive in [set_]mark_bit_from_hdr

There is no data race between GC_set_fl_marks and GC_is_marked because
bit_no is different.

* include/private/gc_priv.h [THREADS && THREAD_SANITIZER]: Include
gc_atomic_ops.h.
* include/private/gc_priv.h [!USE_MARK_BYTES && THREAD_SANITIZER
&& THREADS] (OR_WORD): Use AO_or; update comment.
include/private/gc_priv.h