1 // RUN: %clangxx_asan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
2 // RUN: %clangxx_asan -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
3 // RUN: %clangxx_asan -O2 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
4 // RUN: %clangxx_asan -O3 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-%os --check-prefix=CHECK
5 // XFAIL: arm-linux-gnueabi
6
7 #include <stdlib.h>
8 __attribute__((noinline))
LargeFunction(int * x,int zero)9 static void LargeFunction(int *x, int zero) {
10 x[0]++;
11 x[1]++;
12 x[2]++;
13 x[3]++;
14 x[4]++;
15 x[5]++;
16 x[6]++;
17 x[7]++;
18 x[8]++;
19 x[9]++;
20
21 // CHECK: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}
22 // CHECK: {{0x.* at pc 0x.* bp 0x.* sp 0x.*}}
23 // CHECK: {{READ of size 4 at 0x.* thread T0}}
24 x[zero + 103]++; // we should report this exact line
25 // atos incorrectly extracts the symbol name for the static functions on
26 // Darwin.
27 // CHECK-Linux: {{#0 0x.* in LargeFunction.*large_func_test.cc:}}[[@LINE-3]]
28 // CHECK-Darwin: {{#0 0x.* in .*LargeFunction.*large_func_test.cc}}:[[@LINE-4]]
29
30 x[10]++;
31 x[11]++;
32 x[12]++;
33 x[13]++;
34 x[14]++;
35 x[15]++;
36 x[16]++;
37 x[17]++;
38 x[18]++;
39 x[19]++;
40 }
41
main(int argc,char ** argv)42 int main(int argc, char **argv) {
43 int *x = new int[100];
44 LargeFunction(x, argc - 1);
45 // CHECK: {{ #1 0x.* in main .*large_func_test.cc:}}[[@LINE-1]]
46 // CHECK: {{0x.* is located 12 bytes to the right of 400-byte region}}
47 // CHECK: {{allocated by thread T0 here:}}
48 // CHECK-Linux: {{ #0 0x.* in operator new.*}}
49 // CHECK-Darwin: {{ #0 0x.* in .*_Zna.*}}
50 // CHECK: {{ #1 0x.* in main .*large_func_test.cc:}}[[@LINE-7]]
51 delete x;
52 }
53