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