1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
6 __attribute__((weak
)) // Required for dyld macOS 12.0+
8 __attribute__((disable_sanitizer_instrumentation
))
10 __tsan_symbolize_external(jptr pc
, char *func_buf
, jptr func_siz
,
11 char *file_buf
, jptr file_siz
, int *line
, int *col
) {
12 if (pc
== (1234 | kExternalPCBit
)) {
13 memcpy(func_buf
, "MyFunc", sizeof("MyFunc"));
14 memcpy(file_buf
, "MyFile.java", sizeof("MyFile.java"));
22 void *Thread(void *p
) {
23 barrier_wait(&barrier
);
24 __tsan_write1_pc((jptr
)p
, 1234 | kExternalPCBit
);
29 barrier_init(&barrier
, 2);
30 int const kHeapSize
= 1024 * 1024;
31 jptr jheap
= (jptr
)malloc(kHeapSize
+ 8) + 8;
32 __tsan_java_init(jheap
, kHeapSize
);
33 const int kBlockSize
= 16;
34 __tsan_java_alloc(jheap
, kBlockSize
);
36 pthread_create(&th
, 0, Thread
, (void*)jheap
);
37 __tsan_write1_pc((jptr
)jheap
, 1234 | kExternalPCBit
);
38 barrier_wait(&barrier
);
40 __tsan_java_free(jheap
, kBlockSize
);
41 fprintf(stderr
, "DONE\n");
42 return __tsan_java_fini();
45 // CHECK: WARNING: ThreadSanitizer: data race
46 // CHECK: #0 MyFunc MyFile.java:1234:56