FileCheck issue_106141.

This commit is contained in:
Camille GILLOT 2023-10-16 20:28:28 +00:00
parent c679b208d2
commit 13683554ed

View File

@ -1,6 +1,9 @@
// skip-filecheck // Verify that we do not ICE inlining a function which uses _0 as an index.
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
pub fn outer() -> usize { pub fn outer() -> usize {
// CHECK-LABEL: fn outer(
// CHECK: = {{.*}}[_0];
inner() inner()
} }
@ -11,6 +14,8 @@ fn index() -> usize {
#[inline] #[inline]
fn inner() -> usize { fn inner() -> usize {
// CHECK-LABEL: fn inner(
// CHECK: = {{.*}}[_0];
let buffer = &[true]; let buffer = &[true];
let index = index(); let index = index();
if buffer[index] { if buffer[index] {