diff options
author | Kostya Serebryany <kcc@google.com> | 2014-10-17 01:22:37 +0000 |
---|---|---|
committer | Kostya Serebryany <kcc@google.com> | 2014-10-17 01:22:37 +0000 |
commit | d97858de5d17a669dcdf6c0b3c0eaf9d6e4fef75 (patch) | |
tree | dd4948b70d5261f4d8b0d27b96f3ad289d5c9f17 /test/asan/TestCases/intra-object-overflow.cc | |
parent | 1365cf2482bfea7cdfb2edfe90dcb1c911d550e4 (diff) |
[asan] the run-time part of intra-object-overflow detector (-fsanitize-address-field-padding=1). Note that all of this is still experimental; don't use unless you are brave.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@220013 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/asan/TestCases/intra-object-overflow.cc')
-rw-r--r-- | test/asan/TestCases/intra-object-overflow.cc | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/asan/TestCases/intra-object-overflow.cc b/test/asan/TestCases/intra-object-overflow.cc new file mode 100644 index 000000000..e48a261f5 --- /dev/null +++ b/test/asan/TestCases/intra-object-overflow.cc @@ -0,0 +1,31 @@ +// RUN: %clangxx_asan -O0 -fsanitize-address-field-padding=1 %s -o %t +// RUN: not %run %t 11 2>&1 | FileCheck %s +// RUN: %run %t 10 +// +// FIXME: fix 32-bits. +// REQUIRES: asan-64-bits +#include <stdio.h> +#include <stdlib.h> +class Foo { + public: + Foo() : pre1(1), pre2(2), post1(3), post2(4) { + } + virtual ~Foo() { + } + void set(int i, int val) { a[i] = val; } +// CHECK: ERROR: AddressSanitizer: intra-object-overflow +// CHECK: #0 {{.*}}Foo::set{{.*}}intra-object-overflow.cc:[[@LINE-2]] + private: + int pre1, pre2; + int a[11]; + int post1, post2; +}; + +int main(int argc, char **argv) { + int idx = argc == 2 ? atoi(argv[1]) : 0; + Foo *foo = new Foo; + foo->set(idx, 42); +// CHECK: #1 {{.*}}main{{.*}}intra-object-overflow.cc:[[@LINE-1]] +// CHECK: is located 84 bytes inside of 128-byte region + delete foo; +} |