1*7c3d14c8STreehugger Robot // RUN: %clangxx_asan -O0 -fsanitize-address-field-padding=1 %s -o %t
2*7c3d14c8STreehugger Robot // RUN: not %run %t 11 2>&1 | FileCheck %s
3*7c3d14c8STreehugger Robot // RUN: %run %t 10
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // FIXME: fix 32-bits.
6*7c3d14c8STreehugger Robot // REQUIRES: asan-64-bits
7*7c3d14c8STreehugger Robot #include <stdio.h>
8*7c3d14c8STreehugger Robot #include <stdlib.h>
9*7c3d14c8STreehugger Robot class Foo {
10*7c3d14c8STreehugger Robot public:
Foo()11*7c3d14c8STreehugger Robot Foo() : pre1(1), pre2(2), post1(3), post2(4) {
12*7c3d14c8STreehugger Robot }
~Foo()13*7c3d14c8STreehugger Robot virtual ~Foo() {
14*7c3d14c8STreehugger Robot }
set(int i,int val)15*7c3d14c8STreehugger Robot void set(int i, int val) { a[i] = val; }
16*7c3d14c8STreehugger Robot // CHECK: ERROR: AddressSanitizer: intra-object-overflow
17*7c3d14c8STreehugger Robot // CHECK: #0 {{.*}}Foo::set{{.*}}intra-object-overflow.cc:[[@LINE-2]]
18*7c3d14c8STreehugger Robot private:
19*7c3d14c8STreehugger Robot int pre1, pre2;
20*7c3d14c8STreehugger Robot int a[11];
21*7c3d14c8STreehugger Robot int post1, post2;
22*7c3d14c8STreehugger Robot };
23*7c3d14c8STreehugger Robot
main(int argc,char ** argv)24*7c3d14c8STreehugger Robot int main(int argc, char **argv) {
25*7c3d14c8STreehugger Robot int idx = argc == 2 ? atoi(argv[1]) : 0;
26*7c3d14c8STreehugger Robot Foo *foo = new Foo;
27*7c3d14c8STreehugger Robot foo->set(idx, 42);
28*7c3d14c8STreehugger Robot // CHECK: #1 {{.*}}main{{.*}}intra-object-overflow.cc:[[@LINE-1]]
29*7c3d14c8STreehugger Robot // CHECK: is located 84 bytes inside of 128-byte region
30*7c3d14c8STreehugger Robot delete foo;
31*7c3d14c8STreehugger Robot }
32