about summary refs log tree commit diff
path: root/tests/coverage/inline-dead.rs
blob: 4eb397a43fc17a7e2a23f9ea5fe2eee5df10718b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// Regression test for issue #98833.
//@ compile-flags: -Zinline-mir -Cdebug-assertions=off

fn main() {
    println!("{}", live::<false>());

    let f = |x: bool| {
        debug_assert!(x);
    };
    f(false);
}

#[inline]
fn live<const B: bool>() -> u32 {
    if B {
        dead() //
    } else {
        0
    }
}

#[inline]
fn dead() -> u32 {
    42
}