test/tsan/inlined_memcpy_race.cc

   1 // RUN: %clangxx_tsan -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s
   2 #include <pthread.h>
   3 #include <stddef.h>
   4 #include <stdio.h>
   5 #include <string.h>
   6 #include <unistd.h>
   7
   8 int x[4], y[4], z[4];
   9
  10 void *MemCpyThread(void *a) {
  11   memcpy((int*)a, z, 16);
  12   return NULL;
  13 }
  14
  15 void *MemMoveThread(void *a) {
  16   memmove((int*)a, z, 16);
  17   return NULL;
  18 }
  19
  20 void *MemSetThread(void *a) {
  21   sleep(1);
  22   memset((int*)a, 0, 16);
  23   return NULL;
  24 }
  25
  26 int main() {
  27   pthread_t t[2];
  28   // Race on x between memcpy and memset
  29   pthread_create(&t[0], NULL, MemCpyThread, x);
  30   pthread_create(&t[1], NULL, MemSetThread, x);
  31   pthread_join(t[0], NULL);
  32   pthread_join(t[1], NULL);
  33   // Race on y between memmove and memset
  34   pthread_create(&t[0], NULL, MemMoveThread, y);
  35   pthread_create(&t[1], NULL, MemSetThread, y);
  36   pthread_join(t[0], NULL);
  37   pthread_join(t[1], NULL);
  38
  39   printf("PASS\n");
  40   return 0;
  41 }
  42
  43 // CHECK: WARNING: ThreadSanitizer: data race
  44 // CHECK:   #0 memset
  45 // CHECK:   #1 MemSetThread
  46 // CHECK:  Previous write
  47 // CHECK:   #0 memcpy
  48 // CHECK:   #1 MemCpyThread
  49
  50 // CHECK: WARNING: ThreadSanitizer: data race
  51 // CHECK:   #0 memset
  52 // CHECK:   #1 MemSetThread
  53 // CHECK:  Previous write
  54 // CHECK:   #0 memmove
  55 // CHECK:   #1 MemMoveThread