| Vitaly Buka | 0ba360b | 2016-07-14 21:18:06 +0000 | [diff] [blame] | 1 | // RUN: %clangxx_asan -O1 -fsanitize-address-use-after-scope %s -o %t && \ |
| Evgeniy Stepanov | 4c0f6af | 2016-04-22 00:10:23 +0000 | [diff] [blame] | 2 | // RUN: not %run %t 2>&1 | FileCheck %s |
| Evgeniy Stepanov | 4c0f6af | 2016-04-22 00:10:23 +0000 | [diff] [blame] | 3 | |
| 4 | #include <stdlib.h> |
| 5 | |
| 6 | int *p; |
| 7 | |
| 8 | int main() { |
| 9 | for (int i = 0; i < 3; i++) { |
| 10 | int x; |
| 11 | p = &x; |
| 12 | } |
| Vitaly Buka | 49dd9d2 | 2016-07-28 23:03:27 +0000 | [diff] [blame] | 13 | return *p; // BOOM |
| Evgeniy Stepanov | 4c0f6af | 2016-04-22 00:10:23 +0000 | [diff] [blame] | 14 | // CHECK: ERROR: AddressSanitizer: stack-use-after-scope |
| Vitaly Buka | 49dd9d2 | 2016-07-28 23:03:27 +0000 | [diff] [blame] | 15 | // CHECK: #0 0x{{.*}} in main {{.*}}use-after-scope-loop-removed.cc:[[@LINE-2]] |
| 16 | // CHECK: Address 0x{{.*}} is located in stack of thread T{{.*}} at offset [[OFFSET:[^ ]+]] in frame |
| 17 | // {{\[}}[[OFFSET]], {{[0-9]+}}) 'x' |
| Evgeniy Stepanov | 4c0f6af | 2016-04-22 00:10:23 +0000 | [diff] [blame] | 18 | } |