diff options
Diffstat (limited to 'tests/coverage/inline-dead.coverage')
| -rw-r--r-- | tests/coverage/inline-dead.coverage | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/coverage/inline-dead.coverage b/tests/coverage/inline-dead.coverage new file mode 100644 index 000000000..de96aa17a --- /dev/null +++ b/tests/coverage/inline-dead.coverage @@ -0,0 +1,28 @@ + LL| |// Regression test for issue #98833. + LL| |// compile-flags: -Zinline-mir -Cdebug-assertions=off + LL| | + LL| 1|fn main() { + LL| 1| println!("{}", live::<false>()); + LL| 1| + LL| 1| let f = |x: bool| { + LL| | debug_assert!( + LL| 0| x + LL| | ); + LL| 1| }; + LL| 1| f(false); + LL| 1|} + LL| | + LL| |#[inline] + LL| 1|fn live<const B: bool>() -> u32 { + LL| 1| if B { + LL| 0| dead() + LL| | } else { + LL| 1| 0 + LL| | } + LL| 1|} + LL| | + LL| |#[inline] + LL| 0|fn dead() -> u32 { + LL| 0| 42 + LL| 0|} + |