[asan] Remove "COLLISION" workaround for datarace in asan

"nested bug in the same thread" is not expected in case like this and was caused
by https://github.com/google/sanitizers/issues/858

llvm-svn: 313844
This commit is contained in:
Vitaly Buka 2017-09-21 00:11:30 +00:00
parent d7f0361ab1
commit d0d025ef62
1 changed files with 8 additions and 11 deletions

View File

@ -3,17 +3,16 @@
// RUN: %clangxx_asan -fsanitize-recover=address -pthread %s -o %t
//
// RUN: %env_asan_opts=halt_on_error=false:suppress_equal_pcs=false %run %t 1 10 >%t.log 2>&1
// RUN: FileCheck %s <%t.log
// RUN: grep 'ERROR: AddressSanitizer: use-after-poison' %t.log | count 10
// RUN: FileCheck --check-prefix=CHECK-NO-COLLISION %s <%t.log
// RUN: FileCheck %s <%t.log
//
// Collisions are unlikely but still possible so we need the ||.
// RUN: %env_asan_opts=halt_on_error=false:suppress_equal_pcs=false:exitcode=0 %run %t 10 20 >%t.log 2>&1
// RUN: FileCheck --check-prefix=CHECK-COLLISION %s <%t.log || FileCheck --check-prefix=CHECK-NO-COLLISION %s <%t.log
// RUN: grep 'ERROR: AddressSanitizer: use-after-poison' %t.log | count 200
// RUN: FileCheck %s <%t.log
//
// Collisions are unlikely but still possible so we need the ||.
// RUN: %env_asan_opts=halt_on_error=false:exitcode=0 %run %t 10 20 >%t.log 2>&1
// RUN: FileCheck --check-prefix=CHECK-COLLISION %s <%t.log || FileCheck --check-prefix=CHECK-NO-COLLISION %s <%t.log
// RUN: grep 'ERROR: AddressSanitizer: use-after-poison' %t.log | count 1
// RUN: FileCheck %s <%t.log
#include <stdio.h>
#include <stdlib.h>
@ -39,7 +38,6 @@ void *run(void *arg) {
for (size_t i = 0; i < niter; ++i) {
random_delay(&seed);
// Expect error collisions here
// CHECK: ERROR: AddressSanitizer: use-after-poison
volatile int idx = 0;
tmp[idx] = 0;
@ -73,8 +71,7 @@ int main(int argc, char **argv) {
}
}
// CHECK-COLLISION: AddressSanitizer: nested bug in the same thread, aborting
// CHECK-NO-COLLISION: All threads terminated
// CHECK: All threads terminated
printf("All threads terminated\n");
delete [] tids;