1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2bcaeed49SFangrui Song #include "test.h"
3bcaeed49SFangrui Song #include <string.h>
4bcaeed49SFangrui Song 
5bcaeed49SFangrui Song char *data0 = new char[10];
6bcaeed49SFangrui Song char *data1 = new char[10];
7bcaeed49SFangrui Song char *data2 = new char[10];
8bcaeed49SFangrui Song 
Thread1(void * x)9bcaeed49SFangrui Song void *Thread1(void *x) {
10bcaeed49SFangrui Song   static volatile int size = 1;
11bcaeed49SFangrui Song   static volatile int sink;
12bcaeed49SFangrui Song   sink = memcmp(data0+5, data1, size);
13bcaeed49SFangrui Song   barrier_wait(&barrier);
14bcaeed49SFangrui Song   return NULL;
15bcaeed49SFangrui Song }
16bcaeed49SFangrui Song 
Thread2(void * x)17bcaeed49SFangrui Song void *Thread2(void *x) {
18bcaeed49SFangrui Song   static volatile int size = 4;
19bcaeed49SFangrui Song   barrier_wait(&barrier);
20bcaeed49SFangrui Song   memcpy(data0+5, data2, size);
21bcaeed49SFangrui Song   return NULL;
22bcaeed49SFangrui Song }
23bcaeed49SFangrui Song 
main()24bcaeed49SFangrui Song int main() {
25bcaeed49SFangrui Song   barrier_init(&barrier, 2);
26bcaeed49SFangrui Song   print_address("addr=", 1, &data0[5]);
27bcaeed49SFangrui Song   pthread_t t[2];
28bcaeed49SFangrui Song   pthread_create(&t[0], NULL, Thread1, NULL);
29bcaeed49SFangrui Song   pthread_create(&t[1], NULL, Thread2, NULL);
30bcaeed49SFangrui Song   pthread_join(t[0], NULL);
31bcaeed49SFangrui Song   pthread_join(t[1], NULL);
32bcaeed49SFangrui Song   return 0;
33bcaeed49SFangrui Song }
34bcaeed49SFangrui Song 
35bcaeed49SFangrui Song // CHECK: addr=[[ADDR:0x[0-9,a-f]+]]
36bcaeed49SFangrui Song // CHECK: WARNING: ThreadSanitizer: data race
37*b3321349SDmitry Vyukov // CHECK:   Write of size 3 at [[ADDR]] by thread T2:
38bcaeed49SFangrui Song // CHECK:     #0 {{(memcpy|memmove)}}
39a1526cd6SPratyai Mazumder // CHECK:     #{{[12]}} Thread2
40bcaeed49SFangrui Song // CHECK:   Previous read of size 1 at [[ADDR]] by thread T1:
41bcaeed49SFangrui Song // CHECK:     #0 memcmp
42a1526cd6SPratyai Mazumder // CHECK:     #{{[12]}} Thread1
43