• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clangxx_asan -O1 %s -o %t
2 // RUN: not %run %t 0 2>&1 | FileCheck %s --check-prefix=CHECK0
3 // RUN: not %run %t 1 2>&1 | FileCheck %s --check-prefix=CHECK1
4 // RUN: not %run %t 2 2>&1 | FileCheck %s --check-prefix=CHECK2
5 // RUN: not %run %t 3 2>&1 | FileCheck %s --check-prefix=CHECK3
6 
7 #define NOINLINE __attribute__((noinline))
break_optimization(void * arg)8 inline void break_optimization(void *arg) {
9   __asm__ __volatile__("" : : "r" (arg) : "memory");
10 }
11 
Frame0(int frame,char * a,char * b,char * c)12 NOINLINE static void Frame0(int frame, char *a, char *b, char *c) {
13   char s[4] = {0};
14   char *d = s;
15   break_optimization(&d);
16   switch (frame) {
17     case 3: a[5]++; break;
18     case 2: b[5]++; break;
19     case 1: c[5]++; break;
20     case 0: d[5]++; break;
21   }
22 }
Frame1(int frame,char * a,char * b)23 NOINLINE static void Frame1(int frame, char *a, char *b) {
24   char c[4] = {0}; Frame0(frame, a, b, c);
25   break_optimization(0);
26 }
Frame2(int frame,char * a)27 NOINLINE static void Frame2(int frame, char *a) {
28   char b[4] = {0}; Frame1(frame, a, b);
29   break_optimization(0);
30 }
Frame3(int frame)31 NOINLINE static void Frame3(int frame) {
32   char a[4] = {0}; Frame2(frame, a);
33   break_optimization(0);
34 }
35 
main(int argc,char ** argv)36 int main(int argc, char **argv) {
37   if (argc != 2) return 1;
38   Frame3(argv[1][0] - '0');
39 }
40 
41 // CHECK0: AddressSanitizer: stack-buffer-overflow
42 // CHECK0: #0{{.*}}Frame0
43 // CHECK0: #1{{.*}}Frame1
44 // CHECK0: #2{{.*}}Frame2
45 // CHECK0: #3{{.*}}Frame3
46 // CHECK0: is located in stack of thread T0 at offset
47 // CHECK0-NEXT: #0{{.*}}Frame0
48 //
49 // CHECK1: AddressSanitizer: stack-buffer-overflow
50 // CHECK1: is located in stack of thread T0 at offset
51 // CHECK1-NEXT: #0{{.*}}Frame1
52 //
53 // CHECK2: AddressSanitizer: stack-buffer-overflow
54 // CHECK2: is located in stack of thread T0 at offset
55 // CHECK2-NEXT: #0{{.*}}Frame2
56 //
57 // CHECK3: AddressSanitizer: stack-buffer-overflow
58 // CHECK3: is located in stack of thread T0 at offset
59 // CHECK3-NEXT: #0{{.*}}Frame3
60