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