tiny_race.c revision ec1e196dabccd57c69dbcc0d4931bd1c5d36876c 
1#include <pthread.h>
2int Global;
3void *Thread1(void *x) {
4  Global = 42;
5  return x;
6}
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