tests/mir-opt/inline/issue_106141.rs


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
26
27
28
29

//@ compile-flags: -C debuginfo=full
// Verify that we do not ICE inlining a function which uses _0 as an index.
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY

pub fn outer() -> usize {
    // CHECK-LABEL: fn outer(
    // CHECK: = {{.*}}[_0];
    inner()
}

#[inline(never)]
fn index() -> usize {
    loop {}
}

#[inline]
fn inner() -> usize {
    // CHECK-LABEL: fn inner(
    // CHECK: = {{.*}}[_0];
    let buffer = &[true];
    let index = index();
    if buffer[index] { index } else { 0 }
}

fn main() {
    outer();
}

// EMIT_MIR issue_106141.outer.Inline.diff