1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t
2bcaeed49SFangrui Song // RUN: %deflake %run %t 2>&1 | FileCheck %s
3bcaeed49SFangrui Song
4bcaeed49SFangrui Song #include <pthread.h>
5bcaeed49SFangrui Song #include <stdint.h>
6bcaeed49SFangrui Song #include <stdio.h>
7bcaeed49SFangrui Song #include <stdlib.h>
8bcaeed49SFangrui Song #include <string.h>
9bcaeed49SFangrui Song
10bcaeed49SFangrui Song #include "test.h"
11bcaeed49SFangrui Song
12bcaeed49SFangrui Song extern "C" {
13bcaeed49SFangrui Song void __tsan_on_report(void *report);
14bcaeed49SFangrui Song void *__tsan_get_current_report();
15bcaeed49SFangrui Song int __tsan_get_report_data(void *report, const char **description, int *count,
16bcaeed49SFangrui Song int *stack_count, int *mop_count, int *loc_count,
17bcaeed49SFangrui Song int *mutex_count, int *thread_count,
18bcaeed49SFangrui Song int *unique_tid_count, void **sleep_trace,
19bcaeed49SFangrui Song unsigned long trace_size);
20bcaeed49SFangrui Song int __tsan_get_report_mop(void *report, unsigned long idx, int *tid,
21bcaeed49SFangrui Song void **addr, int *size, int *write, int *atomic,
22bcaeed49SFangrui Song void **trace, unsigned long trace_size);
23bcaeed49SFangrui Song int __tsan_get_report_thread(void *report, unsigned long idx, int *tid,
24bcaeed49SFangrui Song uint64_t *os_id, int *running,
25bcaeed49SFangrui Song const char **name, int *parent_tid, void **trace,
26bcaeed49SFangrui Song unsigned long trace_size);
27bcaeed49SFangrui Song }
28bcaeed49SFangrui Song
29bcaeed49SFangrui Song long my_global;
30bcaeed49SFangrui Song
Thread(void * a)31bcaeed49SFangrui Song void *Thread(void *a) {
32bcaeed49SFangrui Song barrier_wait(&barrier);
33bcaeed49SFangrui Song my_global = 42;
34bcaeed49SFangrui Song return NULL;
35bcaeed49SFangrui Song }
36bcaeed49SFangrui Song
main()37bcaeed49SFangrui Song int main() {
38bcaeed49SFangrui Song barrier_init(&barrier, 2);
39bcaeed49SFangrui Song fprintf(stderr, "&my_global = %p\n", &my_global);
40bcaeed49SFangrui Song // CHECK: &my_global = [[GLOBAL:0x[0-9a-f]+]]
41bcaeed49SFangrui Song pthread_t t;
42bcaeed49SFangrui Song pthread_create(&t, 0, Thread, 0);
43bcaeed49SFangrui Song my_global = 41;
44bcaeed49SFangrui Song barrier_wait(&barrier);
45bcaeed49SFangrui Song pthread_join(t, 0);
46bcaeed49SFangrui Song fprintf(stderr, "Done.\n");
47bcaeed49SFangrui Song }
48bcaeed49SFangrui Song
49*24af1ba6SDmitry Vyukov __attribute__((disable_sanitizer_instrumentation)) void
__tsan_on_report(void * report)50*24af1ba6SDmitry Vyukov __tsan_on_report(void *report) {
51bcaeed49SFangrui Song fprintf(stderr, "__tsan_on_report(%p)\n", report);
52bcaeed49SFangrui Song fprintf(stderr, "__tsan_get_current_report() = %p\n",
53bcaeed49SFangrui Song __tsan_get_current_report());
54bcaeed49SFangrui Song // CHECK: __tsan_on_report([[REPORT:0x[0-9a-f]+]])
55bcaeed49SFangrui Song // CHECK: __tsan_get_current_report() = [[REPORT]]
56bcaeed49SFangrui Song
57bcaeed49SFangrui Song const char *description;
58bcaeed49SFangrui Song int count;
59bcaeed49SFangrui Song int stack_count, mop_count, loc_count, mutex_count, thread_count,
60bcaeed49SFangrui Song unique_tid_count;
61bcaeed49SFangrui Song void *sleep_trace[16] = {0};
62bcaeed49SFangrui Song __tsan_get_report_data(report, &description, &count, &stack_count, &mop_count,
63bcaeed49SFangrui Song &loc_count, &mutex_count, &thread_count,
64bcaeed49SFangrui Song &unique_tid_count, sleep_trace, 16);
65bcaeed49SFangrui Song fprintf(stderr, "report type = '%s', count = %d\n", description, count);
66bcaeed49SFangrui Song // CHECK: report type = 'data-race', count = 0
67bcaeed49SFangrui Song
68bcaeed49SFangrui Song fprintf(stderr, "mop_count = %d\n", mop_count);
69bcaeed49SFangrui Song // CHECK: mop_count = 2
70bcaeed49SFangrui Song
71bcaeed49SFangrui Song int tid;
72bcaeed49SFangrui Song void *addr;
73bcaeed49SFangrui Song int size, write, atomic;
74bcaeed49SFangrui Song void *trace[16] = {0};
75bcaeed49SFangrui Song
76bcaeed49SFangrui Song __tsan_get_report_mop(report, 0, &tid, &addr, &size, &write, &atomic, trace,
77bcaeed49SFangrui Song 16);
78bcaeed49SFangrui Song fprintf(stderr, "tid = %d, addr = %p, size = %d, write = %d, atomic = %d\n",
79bcaeed49SFangrui Song tid, addr, size, write, atomic);
80bcaeed49SFangrui Song // CHECK: tid = 1, addr = [[GLOBAL]], size = 8, write = 1, atomic = 0
81bcaeed49SFangrui Song fprintf(stderr, "trace[0] = %p, trace[1] = %p\n", trace[0], trace[1]);
82bcaeed49SFangrui Song // CHECK: trace[0] = 0x{{[0-9a-f]+}}, trace[1] = {{0x0|\(nil\)|\(null\)}}
83bcaeed49SFangrui Song
84bcaeed49SFangrui Song __tsan_get_report_mop(report, 1, &tid, &addr, &size, &write, &atomic, trace,
85bcaeed49SFangrui Song 16);
86bcaeed49SFangrui Song fprintf(stderr, "tid = %d, addr = %p, size = %d, write = %d, atomic = %d\n",
87bcaeed49SFangrui Song tid, addr, size, write, atomic);
88bcaeed49SFangrui Song // CHECK: tid = 0, addr = [[GLOBAL]], size = 8, write = 1, atomic = 0
89bcaeed49SFangrui Song fprintf(stderr, "trace[0] = %p, trace[1] = %p\n", trace[0], trace[1]);
90bcaeed49SFangrui Song // CHECK: trace[0] = 0x{{[0-9a-f]+}}, trace[1] = {{0x0|\(nil\)|\(null\)}}
91bcaeed49SFangrui Song
92bcaeed49SFangrui Song fprintf(stderr, "thread_count = %d\n", thread_count);
93bcaeed49SFangrui Song // CHECK: thread_count = 2
94bcaeed49SFangrui Song
95bcaeed49SFangrui Song uint64_t os_id;
96bcaeed49SFangrui Song int running;
97bcaeed49SFangrui Song const char *name;
98bcaeed49SFangrui Song int parent_tid;
99bcaeed49SFangrui Song
100bcaeed49SFangrui Song __tsan_get_report_thread(report, 0, &tid, &os_id, &running, &name, &parent_tid, trace, 16);
101bcaeed49SFangrui Song fprintf(stderr, "tid = %d\n", tid);
102bcaeed49SFangrui Song // CHECK: tid = 1
103bcaeed49SFangrui Song
104bcaeed49SFangrui Song __tsan_get_report_thread(report, 1, &tid, &os_id, &running, &name, &parent_tid, trace, 16);
105bcaeed49SFangrui Song fprintf(stderr, "tid = %d\n", tid);
106bcaeed49SFangrui Song // CHECK: tid = 0
107bcaeed49SFangrui Song }
108bcaeed49SFangrui Song
109bcaeed49SFangrui Song // CHECK: Done.
110bcaeed49SFangrui Song // CHECK: ThreadSanitizer: reported 1 warnings
111