mirror of https://github.com/rust-lang/rust
17 lines
528 B
Rust
17 lines
528 B
Rust
//@ test-mir-pass: InstSimplify-after-simplifycfg
|
|
//@ compile-flags: -Cdebug-assertions=no -Zinline-mir
|
|
|
|
// EMIT_MIR ub_check.unwrap_unchecked.InstSimplify-after-simplifycfg.diff
|
|
pub fn unwrap_unchecked(x: Option<i32>) -> i32 {
|
|
// CHECK-LABEL: fn unwrap_unchecked(
|
|
// CHECK-NOT: UbChecks()
|
|
// CHECK: [[assume:_.*]] = const false;
|
|
// CHECK-NEXT: assume(copy [[assume]]);
|
|
// CHECK-NEXT: unreachable_unchecked::precondition_check
|
|
unsafe { x.unwrap_unchecked() }
|
|
}
|
|
|
|
fn main() {
|
|
unwrap_unchecked(None);
|
|
}
|