1 #include <pthread.h> 2 int Global; Thread1(void * x)3void *Thread1(void *x) { 4 Global = 42; 5 return x; 6 } main()7int main() { 8 pthread_t t; 9 pthread_create(&t, NULL, Thread1, NULL); 10 Global = 43; 11 pthread_join(t, NULL); 12 return Global; 13 } 14 // CHECK: WARNING: ThreadSanitizer: data race 15