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