| Naomi Musgrave | 21792b1 | 2015-07-30 17:59:46 +0000 | [diff] [blame] | 1 | // Test -fsanitize-memory-use-after-dtor |
| Naomi Musgrave | 690132b | 2015-07-30 17:59:52 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -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 | 5c79fb7 | 2015-07-30 17:59:48 +0000 | [diff] [blame] | 3 | // 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] | 4 | |
| 5 | struct Simple { |
| 6 | int x_; |
| 7 | Simple() { |
| 8 | x_ = 5; |
| 9 | } |
| 10 | ~Simple() { |
| 11 | x_ += 1; |
| 12 | } |
| 13 | }; |
| 14 | |
| 15 | Simple s; |
| 16 | // Simple internal member is poisoned by compiler-generated dtor |
| Naomi Musgrave | 9476ee9 | 2015-07-30 17:59:54 +0000 | [diff] [blame^] | 17 | // CHECK: define {{.*}}SimpleD2Ev{{.*}} [[ATTRIBUTE:#[0-9]]] |
| Naomi Musgrave | 5c79fb7 | 2015-07-30 17:59:48 +0000 | [diff] [blame] | 18 | // CHECK: {{^ *}}call void @__sanitizer_dtor_callback |
| Naomi Musgrave | 3d45167 | 2015-07-30 17:59:50 +0000 | [diff] [blame] | 19 | // CHECK-NOT: tail call void @__sanitizer_dtor_callback |
| Naomi Musgrave | 21792b1 | 2015-07-30 17:59:46 +0000 | [diff] [blame] | 20 | // CHECK: ret void |
| Naomi Musgrave | 690132b | 2015-07-30 17:59:52 +0000 | [diff] [blame] | 21 | |
| 22 | // Destructor does not emit any tail calls |
| Naomi Musgrave | 9476ee9 | 2015-07-30 17:59:54 +0000 | [diff] [blame^] | 23 | // CHECK: attributes [[ATTRIBUTE]] = {{.*}}"disable-tail-calls"="true" |