test/tsan/java_race_move.cc

   1 // RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s
   2 #include "java.h"
   3
   4 jptr varaddr;
   5 jptr varaddr2;
   6
   7 void *Thread(void *p) {
   8   sleep(1);
   9   *(int*)varaddr2 = 42;
  10   return 0;
  11 }
  12
  13 int main() {
  14   int const kHeapSize = 1024 * 1024;
  15   void *jheap = malloc(kHeapSize);
  16   __tsan_java_init((jptr)jheap, kHeapSize);
  17   const int kBlockSize = 64;
  18   int const kMove = 1024;
  19   __tsan_java_alloc((jptr)jheap, kBlockSize);
  20   varaddr = (jptr)jheap + 16;
  21   varaddr2 = varaddr + kMove;
  22   pthread_t th;
  23   pthread_create(&th, 0, Thread, 0);
  24   *(int*)varaddr = 43;
  25   __tsan_java_move(varaddr, varaddr2, kBlockSize);
  26   pthread_join(th, 0);
  27   __tsan_java_free(varaddr2, kBlockSize);
  28   return __tsan_java_fini();
  29 }
  30
  31 // CHECK: WARNING: ThreadSanitizer: data race