1 // RUN: %clangxx_tsan -O1 %s -o %t && %t 2>&1 | FileCheck %s
8 void *Thread(void *p
) {
10 __tsan_java_mutex_lock(lockaddr
);
12 __tsan_java_mutex_unlock(lockaddr
);
17 int const kHeapSize
= 1024 * 1024;
18 void *jheap
= malloc(kHeapSize
);
19 __tsan_java_init((jptr
)jheap
, kHeapSize
);
20 const int kBlockSize
= 16;
21 __tsan_java_alloc((jptr
)jheap
, kBlockSize
);
22 varaddr
= (jptr
)jheap
;
23 lockaddr
= (jptr
)jheap
+ 8;
25 pthread_create(&th
, 0, Thread
, 0);
26 __tsan_java_mutex_lock(lockaddr
);
28 __tsan_java_mutex_unlock(lockaddr
);
30 __tsan_java_free((jptr
)jheap
, kBlockSize
);
32 return __tsan_java_fini();
35 // CHECK-NOT: WARNING: ThreadSanitizer: data race