12d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s 2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h> 3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <semaphore.h> 4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h> 5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct A { 7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany A() { 8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_init(&sem_, 0, 0); 9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany void Done() { 13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_post(&sem_); 14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~A() { 16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_t sem_; 18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct B : A { 21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~B() { 24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_wait(&sem_); 25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_destroy(&sem_); 26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 29da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystatic A *obj = new B; 30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) { 32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany obj->F(); 33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany obj->Done(); 34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 35da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 36da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 37da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) { 38da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany delete obj; 39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() { 43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_t t[2]; 44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[0], NULL, Thread1, NULL); 45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[1], NULL, Thread2, NULL); 46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[0], NULL); 47da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[1], NULL); 48da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany fprintf(stderr, "PASS\n"); 49da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 50da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: PASS 51da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK-NOT: WARNING: ThreadSanitizer: data race 52