summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff
blob: 16a19f4a3569a9ca8748b98572b4003b961b129a (plain)
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
- // MIR for `outer` before Inline
+ // MIR for `outer` after Inline
  
  fn outer() -> usize {
      let mut _0: usize;
+     scope 1 (inlined inner) {
+         let mut _1: &[bool; 1];
+         let mut _2: bool;
+         let mut _3: bool;
+         scope 2 {
+             debug buffer => const _;
+             scope 3 {
+                 debug index => _0;
+             }
+         }
+     }
  
      bb0: {
-         _0 = inner() -> [return: bb1, unwind continue];
+         StorageLive(_1);
+         _1 = const _;
+         _0 = index() -> [return: bb1, unwind continue];
      }
  
      bb1: {
+         StorageLive(_3);
+         _2 = Lt(_0, const 1_usize);
+         assert(move _2, "index out of bounds: the length is {} but the index is {}", const 1_usize, _0) -> [success: bb2, unwind continue];
+     }
+ 
+     bb2: {
+         _3 = (*_1)[_0];
+         switchInt(move _3) -> [0: bb3, otherwise: bb4];
+     }
+ 
+     bb3: {
+         _0 = const 0_usize;
+         goto -> bb4;
+     }
+ 
+     bb4: {
+         StorageDead(_3);
+         StorageDead(_1);
          return;
      }
  }