| // ignore-msvc |
| // ignore-wasm32-bare compiled with panic=abort by default |
| // 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(); |
| } |
