10172c8cd8ec72ae11e7b2a2b65b54466ea75de9cAlexey Samsonov// RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s
23285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov#include <pthread.h>
33285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov#include <unistd.h>
43285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov
53285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukovvoid *Thread(void *a) {
63285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  __atomic_fetch_add((int*)a, 1, __ATOMIC_SEQ_CST);
73285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  return 0;
83285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov}
93285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov
103285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukovint main() {
113285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  int *a = new int(0);
123285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  pthread_t t;
133285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  pthread_create(&t, 0, Thread, a);
143285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  sleep(1);
153285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  delete a;
163285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov  pthread_join(t, 0);
173285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov}
183285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov
193285866e45a8521c56ba6209daf3c9f91f844fd3Dmitry Vyukov// CHECK: WARNING: ThreadSanitizer: data race
20