1 // RUN: %clangxx_asan %s -pthread -o %t
2 // RUN: %env_asan_opts=detect_stack_use_after_return=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1
3 // RUN: %env_asan_opts=detect_stack_use_after_return=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK0
4 // RUN: %clangxx_asan -O3 %s -pthread -o %t
5 // RUN: %env_asan_opts=detect_stack_use_after_return=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1
6 // RUN: %env_asan_opts=detect_stack_use_after_return=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK0
7 // REQUIRES: stable-runtime
8
9 #include <assert.h>
10 #include <stdio.h>
11 #include <pthread.h>
12 #include <sanitizer/asan_interface.h>
13
14 static const int kNumThreads = 2;
15 static const int kLeftRedzoneSize = sizeof(void *) * 4;
16
Thread(void * unused)17 void *Thread(void *unused) {
18 void *fake_stack = __asan_get_current_fake_stack();
19 char var[15];
20 if (fake_stack) {
21 fprintf(stderr, "fake stack found: %p; var: %p\n", fake_stack, var);
22 // CHECK1: fake stack found
23 // CHECK1: fake stack found
24 void *beg, *end;
25 void *real_stack =
26 __asan_addr_is_in_fake_stack(fake_stack, &var[0], &beg, &end);
27 assert(real_stack);
28 assert((char*)beg <= (char*)&var[0]);
29 assert((char*)end > (char*)&var[0]);
30 for (int i = -kLeftRedzoneSize; i < 15; i++) {
31 void *beg1, *end1;
32 char *ptr = &var[0] + i;
33 void *real_stack1 =
34 __asan_addr_is_in_fake_stack(fake_stack, ptr, &beg1, &end1);
35 assert(real_stack == real_stack1);
36 assert(beg == beg1);
37 assert(end == end1);
38 }
39 } else {
40 fprintf(stderr, "no fake stack\n");
41 // CHECK0: no fake stack
42 // CHECK0: no fake stack
43 }
44 return NULL;
45 }
46
main(int argc,char ** argv)47 int main(int argc, char **argv) {
48 pthread_t t[kNumThreads];
49 for (int i = 0; i < kNumThreads; i++)
50 pthread_create(&t[i], 0, Thread, 0);
51 for (int i = 0; i < kNumThreads; i++)
52 pthread_join(t[i], 0);
53 return 0;
54 }
55