src/test/mir-opt/uninhabited-enum/rustc.process_void.SimplifyLocals.after.mir

   1 // MIR for `process_void` after SimplifyLocals
   2
   3 fn process_void(_1: *const Void) -> () {
   4     debug input => _1;                   // in scope 0 at $DIR/uninhabited-enum.rs:13:21: 13:26
   5     let mut _0: ();                      // return place in scope 0 at $DIR/uninhabited-enum.rs:13:41: 13:41
   6     let _2: &Void;                       // in scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
   7     scope 1 {
   8         debug _input => _2;              // in scope 1 at $DIR/uninhabited-enum.rs:14:8: 14:14
   9     }
  10     scope 2 {
  11     }
  12
  13     bb0: {
  14         StorageLive(_2);                 // bb0[0]: scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
  15         _2 = &(*_1);                     // bb0[1]: scope 2 at $DIR/uninhabited-enum.rs:14:26: 14:33
  16         _0 = const ();                   // bb0[2]: scope 0 at $DIR/uninhabited-enum.rs:13:41: 17:2
  17                                          // ty::Const
  18                                          // + ty: ()
  19                                          // + val: Value(Scalar(<ZST>))
  20                                          // mir::Constant
  21                                          // + span: $DIR/uninhabited-enum.rs:13:41: 17:2
  22                                          // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  23         StorageDead(_2);                 // bb0[3]: scope 0 at $DIR/uninhabited-enum.rs:17:1: 17:2
  24         return;                          // bb0[4]: scope 0 at $DIR/uninhabited-enum.rs:17:2: 17:2
  25     }
  26 }