1 // RUN: %clang_cl_asan -O0 %s -Fe%t 2 // RUN: env ASAN_OPTIONS=detect_stack_use_after_return=1 not %run %t 2>&1 | FileCheck %s 3 4 char *x; 5 6 void foo() { 7 char stack_buffer[42]; 8 x = &stack_buffer[13]; 9 } 10 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.cc}}:[[@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.cc}} 20 // 21 // CHECK: 'stack_buffer' <== Memory access at offset [[OFFSET]] is inside this variable 22 } 23