src/test/mir-opt/inline/inline_diverging.f.Inline.diff

   1 - // MIR for `f` before Inline
   2 + // MIR for `f` after Inline
   3
   4   fn f() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/inline-diverging.rs:7:12: 7:12
   6       let mut _1: !;                       // in scope 0 at $DIR/inline-diverging.rs:7:12: 9:2
   7       let _2: !;                           // in scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
   8 +     scope 1 (inlined sleep) {            // at $DIR/inline-diverging.rs:8:5: 8:12
   9 +     }
  10
  11       bb0: {
  12           StorageLive(_2);                 // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  13 -         _2 = sleep();                    // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  14 -                                          // mir::Constant
  15 -                                          // + span: $DIR/inline-diverging.rs:8:5: 8:10
  16 -                                          // + literal: Const { ty: fn() -> ! {sleep}, val: Value(Scalar(<ZST>)) }
  17 +         goto -> bb1;                     // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  18 +     }
  19 +
  20 +     bb1: {
  21 +         goto -> bb1;                     // scope 1 at $DIR/inline-diverging.rs:39:5: 39:12
  22 +     }
  23 +
  24 +     bb2 (cleanup): {
  25 +         resume;                          // scope 0 at $DIR/inline-diverging.rs:7:1: 9:2
  26       }
  27   }
  28