src/test/mir-opt/uninhabited_enum.process_never.SimplifyLocals.after.mir


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// MIR for `process_never` after SimplifyLocals

fn process_never(_1: *const !) -> () {
    debug input => _1;                   // in scope 0 at $DIR/uninhabited-enum.rs:+0:22: +0:27
    let mut _0: ();                      // return place in scope 0 at $DIR/uninhabited-enum.rs:+0:39: +0:39
    let _2: &!;                          // in scope 0 at $DIR/uninhabited-enum.rs:+1:8: +1:14
    scope 1 {
        debug _input => _2;              // in scope 1 at $DIR/uninhabited-enum.rs:+1:8: +1:14
    }
    scope 2 {
    }

    bb0: {
        StorageLive(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:+1:8: +1:14
        StorageDead(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:+2:1: +2:2
        unreachable;                     // scope 0 at $DIR/uninhabited-enum.rs:+0:39: +2:2
    }
}