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 +     let mut _3: !;                       // in scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
   9 +     scope 1 (inlined sleep) {            // at $DIR/inline-diverging.rs:8:5: 8:12
  10 +     }
  11
  12       bb0: {
  13           StorageLive(_2);                 // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  14 -         sleep();                         // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  15 -                                          // mir::Constant
  16 -                                          // + span: $DIR/inline-diverging.rs:8:5: 8:10
  17 -                                          // + literal: Const { ty: fn() -> ! {sleep}, val: Value(Scalar(<ZST>)) }
  18 +         StorageLive(_3);                 // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  19 +         goto -> bb1;                     // scope 0 at $DIR/inline-diverging.rs:8:5: 8:12
  20 +     }
  21 +
  22 +     bb1: {
  23 +         goto -> bb1;                     // scope 1 at $DIR/inline-diverging.rs:8:5: 8:12
  24       }
  25   }
  26