src/test/mir-opt/inline/inline_compatibility.inlined_no_sanitize.Inline.diff


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
27
28

- // MIR for `inlined_no_sanitize` before Inline
+ // MIR for `inlined_no_sanitize` after Inline
  
  fn inlined_no_sanitize() -> () {
      let mut _0: ();                      // return place in scope 0 at $DIR/inline-compatibility.rs:23:37: 23:37
      let _1: ();                          // in scope 0 at $DIR/inline-compatibility.rs:24:5: 24:18
+     scope 1 (inlined no_sanitize) {      // at $DIR/inline-compatibility.rs:24:5: 24:18
+     }
  
      bb0: {
          StorageLive(_1);                 // scope 0 at $DIR/inline-compatibility.rs:24:5: 24:18
-         _1 = no_sanitize() -> bb1;       // scope 0 at $DIR/inline-compatibility.rs:24:5: 24:18
-                                          // mir::Constant
-                                          // + span: $DIR/inline-compatibility.rs:24:5: 24:16
-                                          // + literal: Const { ty: unsafe fn() {no_sanitize}, val: Value(Scalar(<ZST>)) }
-     }
- 
-     bb1: {
          StorageDead(_1);                 // scope 0 at $DIR/inline-compatibility.rs:24:18: 24:19
          _0 = const ();                   // scope 0 at $DIR/inline-compatibility.rs:23:37: 25:2
          return;                          // scope 0 at $DIR/inline-compatibility.rs:25:2: 25:2
+     }
+ 
+     bb1 (cleanup): {
+         resume;                          // scope 0 at $DIR/inline-compatibility.rs:23:1: 25:2
      }
  }