mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-02-25 21:11:25 +00:00
b4257d3bf5
After https://reviews.llvm.org/rG463aa814182a23 tsan replaces llvm intrinsics with calls to glibc functions. However this approach is fragile, as slight changes in pipeline can return llvm intrinsics back. In particular InstCombine can do that. Msan/Asan already declare own version of these memory functions for the similar purpose. KCSAN, or anything that uses something else than compiler-rt, needs to implement this callbacks. Reviewed By: melver Differential Revision: https://reviews.llvm.org/D133268
38 lines
839 B
C++
38 lines
839 B
C++
// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
|
|
#include "test.h"
|
|
#include <string.h>
|
|
|
|
int y[4], z[4];
|
|
|
|
void *MemMoveThread(void *a) {
|
|
memmove((int*)a, z, 16);
|
|
barrier_wait(&barrier);
|
|
return NULL;
|
|
}
|
|
|
|
void *MemSetThread(void *a) {
|
|
barrier_wait(&barrier);
|
|
memset((int*)a, 0, 16);
|
|
return NULL;
|
|
}
|
|
|
|
int main() {
|
|
barrier_init(&barrier, 2);
|
|
pthread_t t[2];
|
|
// Race on y between memmove and memset
|
|
pthread_create(&t[0], NULL, MemMoveThread, y);
|
|
pthread_create(&t[1], NULL, MemSetThread, y);
|
|
pthread_join(t[0], NULL);
|
|
pthread_join(t[1], NULL);
|
|
|
|
fprintf(stderr, "PASS\n");
|
|
return 0;
|
|
}
|
|
|
|
// CHECK: WARNING: ThreadSanitizer: data race
|
|
// CHECK: #0 {{.*}}memset
|
|
// CHECK: #{{[12]}} MemSetThread
|
|
// CHECK: Previous write
|
|
// CHECK: #0 {{.*mem(cpy|move)}}
|
|
// CHECK: #{{[12]}} MemMoveThread
|