// CHECK-LABEL: @issue71861
#[no_mangle]
pub fn issue71861(vec: Vec<u32>) -> Box<[u32]> {
+ // CHECK-NOT: panic
+
+ // Call to panic_no_unwind in case of double-panic is expected,
+ // but other panics are not.
+ // CHECK: cleanup
+ // CHECK-NEXT: ; call core::panicking::panic_no_unwind
+ // CHECK-NEXT: panic_no_unwind
+
// CHECK-NOT: panic
vec.into_boxed_slice()
}
// CHECK-LABEL: @issue75636
#[no_mangle]
pub fn issue75636<'a>(iter: &[&'a str]) -> Box<[&'a str]> {
+ // CHECK-NOT: panic
+
+ // Call to panic_no_unwind in case of double-panic is expected,
+ // but other panics are not.
+ // CHECK: cleanup
+ // CHECK-NEXT: ; call core::panicking::panic_no_unwind
+ // CHECK-NEXT: panic_no_unwind
+
// CHECK-NOT: panic
iter.iter().copied().collect()
}
+
+// CHECK: ; core::panicking::panic_no_unwind
+// CHECK: declare void @{{.*}}panic_no_unwind