1ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// RUN: %clangxx_tsan -O1 %s -o %t && %t 2>&1 | FileCheck %s 2ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <pthread.h> 3ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <stdio.h> 4ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <unistd.h> 5ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 6ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint Global; 7ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_mutex_t mtx; 8ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 9ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread1(void *x) { 1063a22f073dcdfbabc492ca4c9eb06d0571915570Dmitry Vyukov sleep(1); 11ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx); 12ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global++; 13ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx); 14ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 15ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 16ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 17ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread2(void *x) { 18ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global--; 19ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 20ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 21ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 22ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint main() { 2355425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: WARNING: ThreadSanitizer: data race 2455425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Write of size 4 at {{.*}} by thread T1 2555425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: (mutexes: write [[M1:M[0-9]+]]): 2655425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Previous write of size 4 at {{.*}} by thread T2: 2755425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Mutex [[M1]] created at: 2855425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #0 pthread_mutex_init 2955425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset1.cc:[[@LINE+1]] 30ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_init(&mtx, 0); 31ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_t t[2]; 32ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[0], NULL, Thread1, NULL); 33ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[1], NULL, Thread2, NULL); 34ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[0], NULL); 35ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[1], NULL); 36ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_destroy(&mtx); 37ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 38