tests/mir-opt/issue_104451_unwindable_intrinsics.main.AbortUnwindingCalls.after.mir


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

// MIR for `main` after AbortUnwindingCalls

fn main() -> () {
    let mut _0: ();                      // return place in scope 0 at $DIR/issue_104451_unwindable_intrinsics.rs:+0:11: +0:11
    let mut _1: !;                       // in scope 0 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:9: +2:62
    let mut _2: ();                      // in scope 0 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:45: +2:47
    scope 1 {
    }

    bb0: {
        StorageLive(_1);                 // scope 1 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:9: +2:62
        StorageLive(_2);                 // scope 1 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:45: +2:47
        _2 = ();                         // scope 1 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:45: +2:47
        _1 = const_eval_select::<(), fn() -> ! {ow_ct}, fn() -> ! {ow_ct}, !>(move _2, ow_ct, ow_ct); // scope 1 at $DIR/issue_104451_unwindable_intrinsics.rs:+2:9: +2:62
                                         // mir::Constant
                                         // + span: $DIR/issue_104451_unwindable_intrinsics.rs:8:9: 8:44
                                         // + literal: Const { ty: unsafe extern "rust-intrinsic" fn((), fn() -> ! {ow_ct}, fn() -> ! {ow_ct}) -> ! {const_eval_select::<(), fn() -> ! {ow_ct}, fn() -> ! {ow_ct}, !>}, val: Value(<ZST>) }
                                         // mir::Constant
                                         // + span: $DIR/issue_104451_unwindable_intrinsics.rs:8:49: 8:54
                                         // + literal: Const { ty: fn() -> ! {ow_ct}, val: Value(<ZST>) }
                                         // mir::Constant
                                         // + span: $DIR/issue_104451_unwindable_intrinsics.rs:8:56: 8:61
                                         // + literal: Const { ty: fn() -> ! {ow_ct}, val: Value(<ZST>) }
    }
}