| Naomi Musgrave | 21792b1 | 2015-07-30 17:59:46 +0000 | [diff] [blame] | 1 | // Test -fsanitize-memory-use-after-dtor |
| Naomi Musgrave | 5c79fb7 | 2015-07-30 17:59:48 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -disable-llvm-optzns -std=c++11 -triple=x86_64-pc-linux -emit-llvm -o - %s | FileCheck %s |
| Naomi Musgrave | 21792b1 | 2015-07-30 17:59:46 +0000 | [diff] [blame] | 3 | |
| 4 | struct Simple { |
| 5 | int x_; |
| 6 | Simple() { |
| 7 | x_ = 5; |
| 8 | } |
| 9 | ~Simple() { |
| 10 | x_ += 1; |
| 11 | } |
| 12 | }; |
| 13 | |
| 14 | Simple s; |
| 15 | // Simple internal member is poisoned by compiler-generated dtor |
| 16 | // CHECK-LABEL: define {{.*}}SimpleD2Ev |
| Naomi Musgrave | 5c79fb7 | 2015-07-30 17:59:48 +0000 | [diff] [blame] | 17 | // CHECK: {{^ *}}call void @__sanitizer_dtor_callback |
| Naomi Musgrave | 3d45167 | 2015-07-30 17:59:50 +0000 | [diff] [blame^] | 18 | // CHECK-NOT: tail call void @__sanitizer_dtor_callback |
| Naomi Musgrave | 21792b1 | 2015-07-30 17:59:46 +0000 | [diff] [blame] | 19 | // CHECK: ret void |