From e0625b4586c5a0f855a1157b09ae384f5de0ecf7 Mon Sep 17 00:00:00 2001 From: Zalathar Date: Mon, 12 Jun 2023 18:07:04 +1000 Subject: Migrate most of the existing coverage tests over to `run-coverage` --- tests/run-make/coverage/inline-dead.rs | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 tests/run-make/coverage/inline-dead.rs (limited to 'tests/run-make/coverage/inline-dead.rs') diff --git a/tests/run-make/coverage/inline-dead.rs b/tests/run-make/coverage/inline-dead.rs deleted file mode 100644 index 854fa062967..00000000000 --- a/tests/run-make/coverage/inline-dead.rs +++ /dev/null @@ -1,27 +0,0 @@ -// Regression test for issue #98833. -// compile-flags: -Zinline-mir -Cdebug-assertions=off - -fn main() { - println!("{}", live::()); - - let f = |x: bool| { - debug_assert!( - x - ); - }; - f(false); -} - -#[inline] -fn live() -> u32 { - if B { - dead() - } else { - 0 - } -} - -#[inline] -fn dead() -> u32 { - 42 -} -- cgit 1.4.1-3-g733a5