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