1 // RUN: %clang_cl_asan -Od %s -Fe%t
2 // RUN: %env_asan_opts=detect_stack_use_after_return=1 not %run %t 2>&1 | FileCheck %s
3
4 char *x;
5
foo()6 void foo() {
7 char stack_buffer[42];
8 x = &stack_buffer[13];
9 }
10
main()11 int main() {
12 foo();
13 *x = 42;
14 // CHECK: AddressSanitizer: stack-use-after-return
15 // CHECK: WRITE of size 1 at {{.*}} thread T0
16 // CHECK-NEXT: {{#0 0x.* in main .*stack_use_after_return.cpp}}:[[@LINE-3]]
17 //
18 // CHECK: is located in stack of thread T0 at offset [[OFFSET:.*]] in frame
19 // CHECK-NEXT: {{#0 0x.* in foo.*stack_use_after_return.cpp}}
20 //
21 // CHECK: 'stack_buffer'{{.*}} <== Memory access at offset [[OFFSET]] is inside this variable
22 }
23