diff options
| author | Evgenii Stepanov <eugenis@google.com> | 2019-12-20 12:07:04 -0800 |
|---|---|---|
| committer | Evgenii Stepanov <eugenis@google.com> | 2020-01-06 15:07:02 -0800 |
| commit | b5e7f95cfbeb28ff8b966a2b7e38a03f32410030 (patch) | |
| tree | f21db342c30a91c23340f16598bcc2abe558c1ee /compiler-rt/test/msan | |
| parent | 59fadc14eeb1d63177b76147b26348a106ac1f9b (diff) | |
| download | bcm5719-llvm-b5e7f95cfbeb28ff8b966a2b7e38a03f32410030.tar.gz bcm5719-llvm-b5e7f95cfbeb28ff8b966a2b7e38a03f32410030.zip | |
[msan] Check qsort input.
Summary:
Qsort interceptor suppresses all checks by unpoisoning the data in the
wrapper of a comparator function, and then unpoisoning the output array
as well.
This change adds an explicit run of the comparator on all elements of
the input array to catch any sanitizer bugs.
Reviewers: vitalybuka
Subscribers: #sanitizers, llvm-commits
Tags: #sanitizers, #llvm
Differential Revision: https://reviews.llvm.org/D71780
Diffstat (limited to 'compiler-rt/test/msan')
| -rw-r--r-- | compiler-rt/test/msan/qsort.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler-rt/test/msan/qsort.cpp b/compiler-rt/test/msan/qsort.cpp index eb869701186..cf754012b22 100644 --- a/compiler-rt/test/msan/qsort.cpp +++ b/compiler-rt/test/msan/qsort.cpp @@ -1,4 +1,5 @@ // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t +// RUN: %clangxx_msan -DPOISON -O0 -g %s -o %t && not %run %t 2>&1 | FileCheck %s #include <assert.h> #include <errno.h> @@ -65,6 +66,10 @@ int main(int argc, char *argv[]) { for (int i = 0; i < kSize1; ++i) p[i] = i * 2 + (i % 3 - 1) * 3; poison_stack_and_param(); +#ifdef POISON + __msan_poison(p + 1, sizeof(long)); + // CHECK: Uninitialized bytes in __msan_check_mem_is_initialized at offset 0 inside [{{.*}}, 8) +#endif qsort(p, kSize1, sizeof(long), compar1); __msan_check_mem_is_initialized(p, sizeof(long) * kSize1); assert(seen2); |
