1 // Regression test for https://github.com/google/sanitizers/issues/691
2
3 // RUN: %clangxx_asan -O0 %s -o %t -fstack-protector
4 // RUN: %run %t 1 2>&1 | FileCheck %s
5 // RUN: %run %t 2 2>&1 | FileCheck %s
6
7 #include <stdio.h>
8 #include <string.h>
9 #include <stdlib.h>
10
11 // MSVC provides _alloca instead of alloca.
12 #if defined(_MSC_VER) && !defined(alloca)
13 # define alloca _alloca
main(void)14 #endif
15
16 #if defined(__sun__) && defined(__svr4__)
17 #include <alloca.h>
18 #endif
19
20
21 void f1_alloca() {
22 char *dynamic_buffer = (char *)alloca(200);
23 fprintf(stderr, "dynamic_buffer = %p\n", dynamic_buffer);
24 memset(dynamic_buffer, 'y', 200);
25 return;
26 }
27
28 static const int kDynamicArraySize = 200;
29
30 void f1_vla() {
31 char dynamic_buffer[kDynamicArraySize];
32 fprintf(stderr, "dynamic_buffer = %p\n", dynamic_buffer);
33 memset(dynamic_buffer, 'y', kDynamicArraySize);
34 return;
35 }
36
37 void f2() {
38 char buf[1024];
39 memset(buf, 'x', 1024);
40 }
41
42 int main(int argc, const char *argv[]) {
43 if (!strcmp(argv[1], "1")) {
44 f1_alloca();
45 } else if (!strcmp(argv[1], "2")) {
46 f1_vla();
47 }
48 f2();
49 fprintf(stderr, "Done.\n");
50 return 0;
51 }
52
53 // CHECK-NOT: ERROR: AddressSanitizer
54 // CHECK: Done.
55