1da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h> 2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h> 3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint Global; 5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) { 7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany Global++; 8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) { 12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany Global--; 13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() { 17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_t t[2]; 18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[0], NULL, Thread1, NULL); 19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[1], NULL, Thread2, NULL); 20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[0], NULL); 21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[1], NULL); 22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race 25