| //@ ignore-msvc |
| //@ needs-unwind |
| |
| //@ compile-flags: -O -C no-prepopulate-passes |
| |
| #![crate_type="lib"] |
| |
| struct S; |
| |
| impl Drop for S { |
| #[inline(never)] |
| fn drop(&mut self) { |
| } |
| } |
| |
| #[inline(never)] |
| fn might_unwind() { |
| } |
| |
| // CHECK-LABEL: @test |
| #[no_mangle] |
| pub fn test() { |
| let _s = S; |
| // Check that the personality slot alloca gets a lifetime start in each cleanup block, not just |
| // in the first one. |
| // CHECK: [[SLOT:%[0-9]+]] = alloca { ptr, i32{{.*}} } |
| // CHECK-LABEL: cleanup: |
| // CHECK: call void @llvm.lifetime.start.{{.*}}({{.*}}) |
| // CHECK-LABEL: cleanup1: |
| // CHECK: call void @llvm.lifetime.start.{{.*}}({{.*}}) |
| might_unwind(); |
| let _t = S; |
| might_unwind(); |
| } |
