mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make expectation in panic-in-drop-abort.rs test more precise

Browse Source 
Check whether a call/invoke of the function exists, but don't
match a leftover function declaration.

Also remove the CHECK-LABELs: In panic-in-drop=unwind mode the
call will not actually be in either of those functions, so
remove the restriction and look for any calls.
This commit is contained in:
Nikita Popov 2021-09-14 20:16:22 +02:00
parent 074bbc6b87
commit 31834434a0
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/test/codegen/panic-in-drop-abort.rs
View File

@ -3,6 +3,8 @@
// Ensure that unwinding code paths are eliminated from the output after
// optimization.
// CHECK-NOT: {{(call|invoke).*}}should_not_appear_in_output
#![crate_type = "lib"]
use std::any::Any;
use std::mem::forget;
@ -35,8 +37,6 @@ impl Drop for AssertNeverDrop {
}
}
// CHECK-LABEL: normal_drop
// CHECK-NOT: should_not_appear_in_output
#[no_mangle]
pub fn normal_drop(x: ExternDrop) {
let guard = AssertNeverDrop;
@ -44,8 +44,6 @@ pub fn normal_drop(x: ExternDrop) {
forget(guard);
}
// CHECK-LABEL: indirect_drop
// CHECK-NOT: should_not_appear_in_output
#[no_mangle]
pub fn indirect_drop(x: Box<dyn Any>) {
let guard = AssertNeverDrop;