From c6bb0cc2556bfcc55a1e01e522aa66600ad9c102 Mon Sep 17 00:00:00 2001 From: Alex Shlyapnikov Date: Fri, 8 Jun 2018 23:31:42 +0000 Subject: [MSan] Report proper error on allocator failures instead of CHECK(0)-ing Summary: Following up on and complementing D44404. Currently many allocator specific errors (OOM, for example) are reported as a text message and CHECK(0) termination, not stack, no details, not too helpful nor informative. To improve the situation, detailed and structured errors were defined and reported under the appropriate conditions. Reviewers: eugenis Subscribers: srhines, delcypher, #sanitizers, llvm-commits Differential Revision: https://reviews.llvm.org/D47793 git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@334338 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/msan/Linux/aligned_alloc-alignment.cc | 26 ++++++++++++++++++++++++++ test/msan/allocator_returns_null.cc | 18 ++++++++++-------- test/msan/posix_memalign-alignment.cc | 22 ++++++++++++++++++++++ test/msan/pvalloc.cc | 6 ++++-- 4 files changed, 62 insertions(+), 10 deletions(-) create mode 100644 test/msan/Linux/aligned_alloc-alignment.cc create mode 100644 test/msan/posix_memalign-alignment.cc (limited to 'test') diff --git a/test/msan/Linux/aligned_alloc-alignment.cc b/test/msan/Linux/aligned_alloc-alignment.cc new file mode 100644 index 000000000..86ec7c9d8 --- /dev/null +++ b/test/msan/Linux/aligned_alloc-alignment.cc @@ -0,0 +1,26 @@ +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 -g %s -o %t +// RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t 2>&1 | FileCheck %s +// RUN: MSAN_OPTIONS=allocator_may_return_null=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-NULL + +// UNSUPPORTED: android + +// REQUIRES: stable-runtime + +#include +#include + +extern void *aligned_alloc(size_t alignment, size_t size); + +int main() { + void *p = aligned_alloc(17, 100); + // CHECK: ERROR: MemorySanitizer: invalid alignment requested in aligned_alloc: 17 + // Check just the top frame since mips is forced to use store_context_size==1 + // and also handle a case when aligned_alloc is aliased by memalign. + // CHECK: {{#0 0x.* in .*}}{{aligned_alloc|memalign}} + // CHECK: SUMMARY: MemorySanitizer: invalid-aligned-alloc-alignment + + printf("pointer after failed aligned_alloc: %zd\n", (size_t)p); + // CHECK-NULL: pointer after failed aligned_alloc: 0 + + return 0; +} diff --git a/test/msan/allocator_returns_null.cc b/test/msan/allocator_returns_null.cc index 583b5b4f7..7e45a1be0 100644 --- a/test/msan/allocator_returns_null.cc +++ b/test/msan/allocator_returns_null.cc @@ -30,7 +30,7 @@ // RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t new 2>&1 \ // RUN: | FileCheck %s --check-prefix=CHECK-nCRASH // RUN: MSAN_OPTIONS=allocator_may_return_null=1 not %run %t new 2>&1 \ -// RUN: | FileCheck %s --check-prefix=CHECK-nCRASH +// RUN: | FileCheck %s --check-prefix=CHECK-nCRASH-OOM // RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t new-nothrow 2>&1 \ // RUN: | FileCheck %s --check-prefix=CHECK-nnCRASH // RUN: MSAN_OPTIONS=allocator_may_return_null=1 %run %t new-nothrow 2>&1 \ @@ -98,19 +98,21 @@ int main(int argc, char **argv) { } // CHECK-mCRASH: malloc: -// CHECK-mCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-mCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big // CHECK-cCRASH: calloc: -// CHECK-cCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-cCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big // CHECK-coCRASH: calloc-overflow: -// CHECK-coCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-coCRASH: SUMMARY: MemorySanitizer: calloc-overflow // CHECK-rCRASH: realloc: -// CHECK-rCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-rCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big // CHECK-mrCRASH: realloc-after-malloc: -// CHECK-mrCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-mrCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big // CHECK-nCRASH: new: -// CHECK-nCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-nCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big +// CHECK-nCRASH-OOM: new: +// CHECK-nCRASH-OOM: SUMMARY: MemorySanitizer: out-of-memory // CHECK-nnCRASH: new-nothrow: -// CHECK-nnCRASH: MemorySanitizer's allocator is terminating the process +// CHECK-nnCRASH: SUMMARY: MemorySanitizer: allocation-size-too-big // CHECK-mNULL: malloc: // CHECK-mNULL: errno: 12 diff --git a/test/msan/posix_memalign-alignment.cc b/test/msan/posix_memalign-alignment.cc new file mode 100644 index 000000000..0bb8e324d --- /dev/null +++ b/test/msan/posix_memalign-alignment.cc @@ -0,0 +1,22 @@ +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 -g %s -o %t +// RUN: MSAN_OPTIONS=$MSAN_OPTIONS:allocator_may_return_null=0 not %run %t 2>&1 | FileCheck %s +// RUN: MSAN_OPTIONS=$MSAN_OPTIONS:allocator_may_return_null=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-NULL + +// REQUIRES: stable-runtime + +#include +#include + +int main() { + void *p = reinterpret_cast(42); + int res = posix_memalign(&p, 17, 100); + // CHECK: ERROR: MemorySanitizer: invalid alignment requested in posix_memalign: 17 + // Check just the top frame since mips is forced to use store_context_size==1 + // CHECK: {{#0 0x.* in .*posix_memalign}} + // CHECK: SUMMARY: MemorySanitizer: invalid-posix-memalign-alignment + + printf("pointer after failed posix_memalign: %zd\n", (size_t)p); + // CHECK-NULL: pointer after failed posix_memalign: 42 + + return 0; +} diff --git a/test/msan/pvalloc.cc b/test/msan/pvalloc.cc index 649719a88..a85f4cad7 100644 --- a/test/msan/pvalloc.cc +++ b/test/msan/pvalloc.cc @@ -1,4 +1,4 @@ -// RUN: %clangxx_msan -O0 %s -o %t +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 -g %s -o %t // RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t m1 2>&1 | FileCheck %s // RUN: MSAN_OPTIONS=allocator_may_return_null=1 %run %t m1 2>&1 // RUN: MSAN_OPTIONS=allocator_may_return_null=0 not %run %t psm1 2>&1 | FileCheck %s @@ -41,4 +41,6 @@ int main(int argc, char *argv[]) { return 0; } -// CHECK: MemorySanitizer's allocator is terminating the process +// CHECK: {{ERROR: MemorySanitizer: pvalloc parameters overflow: size .* rounded up to system page size .* cannot be represented in type size_t}} +// CHECK: {{#0 0x.* in .*pvalloc}} +// CHECK: SUMMARY: MemorySanitizer: pvalloc-overflow -- cgit v1.2.3