src/test/mir-opt/issue-49232.rs

   1 // We must mark a variable whose initialization fails due to an
   2 // abort statement as StorageDead.
   3
   4 fn main() {
   5     loop {
   6         let beacon = {
   7             match true {
   8                 false => 4,
   9                 true => break,
  10             }
  11         };
  12         drop(&beacon);
  13     }
  14 }
  15
  16 // END RUST SOURCE
  17 // START rustc.main.mir_map.0.mir
  18 // fn main() -> (){
  19 //     let mut _0: ();
  20 //     scope 1 {
  21 //     }
  22 //     scope 2 {
  23 //         let _2: i32;
  24 //     }
  25 //     let mut _1: ();
  26 //     let mut _3: bool;
  27 //     let mut _4: !;
  28 //     let mut _5: ();
  29 //     let mut _6: &i32;
  30 //     bb0: {
  31 //         goto -> bb1;
  32 //     }
  33 //     bb1: {
  34 //         falseUnwind -> [real: bb3, cleanup: bb4];
  35 //     }
  36 //     bb2: {
  37 //         goto -> bb20;
  38 //     }
  39 //     bb3: {
  40 //         StorageLive(_2);
  41 //         StorageLive(_3);
  42 //         _3 = const true;
  43 //         FakeRead(ForMatchedPlace, _3);
  44 //         switchInt(_3) -> [false: bb9, otherwise: bb8];
  45 //     }
  46 //     bb4: {
  47 //         resume;
  48 //     }
  49 //     bb5: {
  50 //         falseEdges -> [real: bb11, imaginary: bb6];
  51 //     }
  52 //     bb6: {
  53 //         falseEdges -> [real: bb13, imaginary: bb7];
  54 //     }
  55 //     bb7: {
  56 //         unreachable;
  57 //     }
  58 //     bb8: {
  59 //         goto -> bb6;
  60 //     }
  61 //     bb9: {
  62 //         goto -> bb5;
  63 //     }
  64 //     bb10: {
  65 //         _2 = const 4i32;
  66 //         goto -> bb18;
  67 //     }
  68 //     bb11: {
  69 //         goto -> bb10;
  70 //     }
  71 //     bb12: {
  72 //         _0 = ();
  73 //         goto -> bb14;
  74 //     }
  75 //     bb13: {
  76 //         goto -> bb12;
  77 //     }
  78 //     bb14: {
  79 //         StorageDead(_3);
  80 //         goto -> bb15;
  81 //     }
  82 //     bb15: {
  83 //         StorageDead(_2);
  84 //         goto -> bb2;
  85 //     }
  86 //     bb16: {
  87 //         _4 = ();
  88 //         unreachable;
  89 //     }
  90 //     bb17: {
  91 //         StorageDead(_4);
  92 //         goto -> bb18;
  93 //     }
  94 //     bb18: {
  95 //         FakeRead(ForLet, _2);
  96 //         StorageDead(_3);
  97 //         StorageLive(_6);
  98 //         _6 = &_2;
  99 //         _5 = const std::mem::drop(move _6) -> [return: bb19, unwind: bb4];
 100 //     }
 101 //     bb19: {
 102 //         StorageDead(_6);
 103 //         _1 = ();
 104 //         StorageDead(_2);
 105 //         goto -> bb1;
 106 //     }
 107 //     bb20: {
 108 //         return;
 109 //     }
 110 // }
 111 // END rustc.main.mir_map.0.mir