15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h> 3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <semaphore.h> 4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h> 50dc47b652dfbe0d61d153eded02bae9487a7b539Dmitry Vyukov#include <unistd.h> 6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct A { 8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany A() { 9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_init(&sem_, 0, 0); 10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany void Done() { 14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_post(&sem_); 15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~A() { 17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_wait(&sem_); 18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_destroy(&sem_); 19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_t sem_; 21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct B : A { 24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~B() { } 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) { 380dc47b652dfbe0d61d153eded02bae9487a7b539Dmitry Vyukov sleep(1); 39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany delete obj; 40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() { 44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_t t[2]; 45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[0], NULL, Thread1, NULL); 46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[1], NULL, Thread2, NULL); 47da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[0], NULL); 48da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[1], NULL); 49da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 50da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 510dc47b652dfbe0d61d153eded02bae9487a7b539Dmitry Vyukov// CHECK: WARNING: ThreadSanitizer: data race on vptr 52