Home | History | Annotate | Download | only in rtl 
      1 //===-- tsan_string.cc ----------------------------------------------------===//
      2 //
      3 //                     The LLVM Compiler Infrastructure
      4 //
      5 // This file is distributed under the University of Illinois Open Source
      6 // License. See LICENSE.TXT for details.
      7 //
      8 //===----------------------------------------------------------------------===//
      9 //
     10 // This file is a part of ThreadSanitizer (TSan), a race detector.
     11 //
     12 //===----------------------------------------------------------------------===//
     13 #include "tsan_test_util.h"
     14 #include "gtest/gtest.h"
     15 #include <string.h>
     16 
     17 namespace __tsan {
     18 
     19 TEST(ThreadSanitizer, Memcpy) {
     20   char data0[7] = {1, 2, 3, 4, 5, 6, 7};
     21   char data[7] = {42, 42, 42, 42, 42, 42, 42};
     22   MainThread().Memcpy(data+1, data0+1, 5);
     23   EXPECT_EQ(data[0], 42);
     24   EXPECT_EQ(data[1], 2);
     25   EXPECT_EQ(data[2], 3);
     26   EXPECT_EQ(data[3], 4);
     27   EXPECT_EQ(data[4], 5);
     28   EXPECT_EQ(data[5], 6);
     29   EXPECT_EQ(data[6], 42);
     30   MainThread().Memset(data+1, 13, 5);
     31   EXPECT_EQ(data[0], 42);
     32   EXPECT_EQ(data[1], 13);
     33   EXPECT_EQ(data[2], 13);
     34   EXPECT_EQ(data[3], 13);
     35   EXPECT_EQ(data[4], 13);
     36   EXPECT_EQ(data[5], 13);
     37   EXPECT_EQ(data[6], 42);
     38 }
     39 
     40 TEST(ThreadSanitizer, MemcpyRace1) {
     41   char *data = new char[10];
     42   char *data1 = new char[10];
     43   char *data2 = new char[10];
     44   ScopedThread t1, t2;
     45   t1.Memcpy(data, data1, 10);
     46   t2.Memcpy(data, data2, 10, true);
     47 }
     48 
     49 // The test fails with TSAN_SHADOW_COUNT=2,
     50 // because the old racy access is evicted.
     51 #if defined(TSAN_SHADOW_COUNT) && TSAN_SHADOW_COUNT >= 4
     52 TEST(ThreadSanitizer, MemcpyRace2) {
     53   char *data = new char[10];
     54   char *data1 = new char[10];
     55   char *data2 = new char[10];
     56   ScopedThread t1, t2;
     57   t1.Memcpy(data+5, data1, 1);
     58   t2.Memcpy(data+3, data2, 4, true);
     59 }
     60 #endif
     61 
     62 TEST(ThreadSanitizer, MemcpyRace3) {
     63   char *data = new char[10];
     64   char *data1 = new char[10];
     65   char *data2 = new char[10];
     66   ScopedThread t1, t2;
     67   t1.Memcpy(data, data1, 10);
     68   t2.Memcpy(data1, data2, 10, true);
     69 }
     70 
     71 TEST(ThreadSanitizer, MemcpyStack) {
     72   char *data = new char[10];
     73   char *data1 = new char[10];
     74   ScopedThread t1, t2;
     75   t1.Memcpy(data, data1, 10);
     76   t2.Memcpy(data, data1, 10, true);
     77 }
     78 
     79 TEST(ThreadSanitizer, MemsetRace1) {
     80   char *data = new char[10];
     81   ScopedThread t1, t2;
     82   t1.Memset(data, 1, 10);
     83   t2.Memset(data, 2, 10, true);
     84 }
     85 
     86 }  // namespace __tsan
     87