blob: 592b4d9b7237713f25a965f5ecb4183b3a86b3fb (
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
26
27
28
29
30
31
32
|
// 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
|