15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h>
3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stddef.h>
4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h>
5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <unistd.h>
6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) {
8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  int *p = (int*)x;
9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  p[0] = 1;
10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return NULL;
11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) {
1463a22f073dcdfbabc492ca4c9eb06d0571915570Dmitry Vyukov  sleep(1);
15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  char *p = (char*)x;
16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  p[2] = 1;
17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return NULL;
18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() {
2138a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  int *data = new int(42);
2238a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  fprintf(stderr, "ptr1=%p\n", data);
2338a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  fprintf(stderr, "ptr2=%p\n", (char*)data + 2);
24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_t t[2];
2538a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  pthread_create(&t[0], NULL, Thread1, data);
2638a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  pthread_create(&t[1], NULL, Thread2, data);
27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[0], NULL);
28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[1], NULL);
2938a2f2ac4ec70d4a10c549a9d4ba55711a9ff3f8Dmitry Vyukov  delete data;
30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: ptr1=[[PTR1:0x[0-9,a-f]+]]
33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: ptr2=[[PTR2:0x[0-9,a-f]+]]
34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race
35ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK:   Write of size 1 at [[PTR2]] by thread T2:
36ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// CHECK:   Previous write of size 4 at [[PTR1]] by thread T1:
37