src/test/mir-opt/uninhabited-enum/rustc.process_void.SimplifyLocals.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
26

// MIR for `process_void` after SimplifyLocals

fn process_void(_1: *const Void) -> () {
    debug input => _1;                   // in scope 0 at $DIR/uninhabited-enum.rs:13:21: 13:26
    let mut _0: ();                      // return place in scope 0 at $DIR/uninhabited-enum.rs:13:41: 13:41
    let _2: &Void;                       // in scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
    scope 1 {
        debug _input => _2;              // in scope 1 at $DIR/uninhabited-enum.rs:14:8: 14:14
    }
    scope 2 {
    }

    bb0: {
        StorageLive(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
        _2 = &(*_1);                     // scope 2 at $DIR/uninhabited-enum.rs:14:26: 14:33
        _0 = const ();                   // scope 0 at $DIR/uninhabited-enum.rs:13:41: 17:2
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/uninhabited-enum.rs:13:41: 17:2
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        StorageDead(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:17:1: 17:2
        return;                          // scope 0 at $DIR/uninhabited-enum.rs:17:2: 17:2
    }
}