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 Vyukov 8ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread1(void *x) { 963a22f073dcdfbabc492ca4c9eb06d0571915570Dmitry Vyukov sleep(1); 10ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global++; 11ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 12ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 13ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 14ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread2(void *x) { 15ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_t mtx; 16ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_init(&mtx, 0); 17ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx); 18ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global--; 19ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx); 20ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_destroy(&mtx); 21ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 22ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 23ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 24ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint main() { 25ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_t t[2]; 26ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[0], NULL, Thread1, NULL); 27ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[1], NULL, Thread2, NULL); 28ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[0], NULL); 29ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[1], NULL); 30ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 31ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 32ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK: WARNING: ThreadSanitizer: data race 33ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK: Write of size 4 at {{.*}} by thread T1: 34ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK: Previous write of size 4 at {{.*}} by thread T2 353617ad70f3ade71b944b35fa3faaadfb97700deaDmitry Vyukov// CHECK: (mutexes: write [[M1:M[0-9]+]]): 363617ad70f3ade71b944b35fa3faaadfb97700deaDmitry Vyukov// CHECK: Mutex [[M1]] is already destroyed 37ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK-NOT: Mutex {{.*}} created at 38ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 39