rust/tests/mir-opt/pre-codegen/deref_nested_borrows.rs

26 lines
569 B
Rust

//! Regression test for <https://github.com/rust-lang/rust/issues/130853>
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
fn src(x: &&u8) -> bool {
// CHECK-LABEL: fn src(
// CHECK-NOT: _0 = const true;
// CHECK: _0 = Eq({{.*}}, {{.*}});
// CHECK-NOT: _0 = const true;
let y = **x;
unsafe { unknown() };
**x == y
}
#[inline(never)]
unsafe fn unknown() {
// CHECK-LABEL: fn unknown(
}
fn main() {
// CHECK-LABEL: fn main(
src(&&0);
}
// EMIT_MIR deref_nested_borrows.src.GVN.diff
// EMIT_MIR deref_nested_borrows.src.PreCodegen.after.mir