brintos

brintos / llvm-project-archived public Read only

0
0
Text · 2.2 KiB · 91e240f Raw
82 lines · cpp
1//===-- tsan_string.cpp ---------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// This file is a part of ThreadSanitizer (TSan), a race detector.10//11//===----------------------------------------------------------------------===//12#include "tsan_test_util.h"13#include "gtest/gtest.h"14#include <string.h>15 16namespace __tsan {17 18TEST_F(ThreadSanitizer, Memcpy) {19  char data0[7] = {1, 2, 3, 4, 5, 6, 7};20  char data[7] = {42, 42, 42, 42, 42, 42, 42};21  MainThread().Memcpy(data+1, data0+1, 5);22  EXPECT_EQ(data[0], 42);23  EXPECT_EQ(data[1], 2);24  EXPECT_EQ(data[2], 3);25  EXPECT_EQ(data[3], 4);26  EXPECT_EQ(data[4], 5);27  EXPECT_EQ(data[5], 6);28  EXPECT_EQ(data[6], 42);29  MainThread().Memset(data+1, 13, 5);30  EXPECT_EQ(data[0], 42);31  EXPECT_EQ(data[1], 13);32  EXPECT_EQ(data[2], 13);33  EXPECT_EQ(data[3], 13);34  EXPECT_EQ(data[4], 13);35  EXPECT_EQ(data[5], 13);36  EXPECT_EQ(data[6], 42);37}38 39TEST_F(ThreadSanitizer, MemcpyRace1) {40  char *data = new char[10];41  char *data1 = new char[10];42  char *data2 = new char[10];43  ScopedThread t1, t2;44  t1.Memcpy(data, data1, 10);45  t2.Memcpy(data, data2, 10, true);46}47 48TEST_F(ThreadSanitizer, MemcpyRace2) {49  char *data = new char[10];50  char *data1 = new char[10];51  char *data2 = new char[10];52  ScopedThread t1, t2;53  t1.Memcpy(data+5, data1, 1);54  t2.Memcpy(data+3, data2, 4, true);55}56 57TEST_F(ThreadSanitizer, MemcpyRace3) {58  char *data = new char[10];59  char *data1 = new char[10];60  char *data2 = new char[10];61  ScopedThread t1, t2;62  t1.Memcpy(data, data1, 10);63  t2.Memcpy(data1, data2, 10, true);64}65 66TEST_F(ThreadSanitizer, MemcpyStack) {67  char *data = new char[10];68  char *data1 = new char[10];69  ScopedThread t1, t2;70  t1.Memcpy(data, data1, 10);71  t2.Memcpy(data, data1, 10, true);72}73 74TEST_F(ThreadSanitizer, MemsetRace1) {75  char *data = new char[10];76  ScopedThread t1, t2;77  t1.Memset(data, 1, 10);78  t2.Memset(data, 2, 10, true);79}80 81}  // namespace __tsan82