| #include <pthread.h> |
| #include <stdio.h> |
| #include <unistd.h> |
| |
| int Global; |
| |
| void __attribute__((noinline)) foo1() { |
| Global = 42; |
| } |
| |
| void __attribute__((noinline)) bar1() { |
| volatile int tmp = 42; int tmp2 = tmp; (void)tmp2; |
| foo1(); |
| } |
| |
| void __attribute__((noinline)) foo2() { |
| volatile int tmp = Global; int tmp2 = tmp; (void)tmp2; |
| } |
| |
| void __attribute__((noinline)) bar2() { |
| volatile int tmp = 42; int tmp2 = tmp; (void)tmp2; |
| foo2(); |
| } |
| |
| void *Thread1(void *x) { |
| usleep(1000000); |
| bar1(); |
| return NULL; |
| } |
| |
| int main() { |
| pthread_t t; |
| pthread_create(&t, NULL, Thread1, NULL); |
| bar2(); |
| pthread_join(t, NULL); |
| } |
| |
| // CHECK: WARNING: ThreadSanitizer: data race |
| // CHECK-NEXT: Write of size 4 at {{.*}} by thread 1: |
| // CHECK-NEXT: #0 foo1{{.*}} {{.*}}simple_stack2.cc:8{{(:3)?}} ({{.*}}) |
| // CHECK-NEXT: #1 bar1{{.*}} {{.*}}simple_stack2.cc:13{{(:3)?}} ({{.*}}) |
| // CHECK-NEXT: #2 Thread1{{.*}} {{.*}}simple_stack2.cc:27{{(:3)?}} ({{.*}}) |
| // CHECK-NEXT: Previous read of size 4 at {{.*}} by main thread: |
| // CHECK-NEXT: #0 foo2{{.*}} {{.*}}simple_stack2.cc:17{{(:28)?}} ({{.*}}) |
| // CHECK-NEXT: #1 bar2{{.*}} {{.*}}simple_stack2.cc:22{{(:3)?}} ({{.*}}) |
| // CHECK-NEXT: #2 main{{.*}} {{.*}}simple_stack2.cc:34{{(:3)?}} ({{.*}}) |