Workaround TSan false positive in push_marked1 and ptr_store_and_dirty

* mark.c [USE_PUSH_MARKED_ACCELERATORS] (GC_push_marked1): Add
GC_ATTR_NO_SANITIZE_THREAD attribute.

1 files changed, 1 insertions, 0 deletions

diff --git a/mark.c b/mark.c
index 6068e733..5aab28e4 100644
--- a/mark.c
+++ b/mark.c
@@ -1683,6 +1683,7 @@ GC_INNER void GC_push_all_stack(ptr_t bottom, ptr_t top)
 #ifdef USE_PUSH_MARKED_ACCELERATORS
 /* Push all objects reachable from marked objects in the given block */
 /* containing objects of size 1 granule.                             */
+GC_ATTR_NO_SANITIZE_THREAD
 STATIC void GC_push_marked1(struct hblk *h, hdr *hhdr)
 {
     word * mark_word_addr = &(hhdr->hb_marks[0]);