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