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