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

   1 // check that we clear the "ADT master drop flag" even when there are
   2 // no fields to be dropped.
   3
   4 fn main() {
   5     let e;
   6     if cond() {
   7         e = E::F(K);
   8         if let E::F(_k) = e {
   9             // older versions of rustc used to not clear the
  10             // drop flag for `e` in this path.
  11         }
  12     }
  13 }
  14
  15 fn cond() -> bool { false }
  16
  17 struct K;
  18
  19 enum E {
  20     F(K),
  21     G(Box<E>)
  22 }
  23
  24 // END RUST SOURCE
  25 // fn main() -> () {
  26 //     let mut _0: ();
  27 //     scope 1 {
  28 //         let _1: E;
  29 //         debug e => _1;
  30 //         scope 2 {
  31 //             let _6: K;
  32 //             debug _k => _6;
  33 //         }
  34 //     }
  35 //     let mut _2: bool;
  36 //     let mut _3: ();
  37 //     let mut _4: E;
  38 //     let mut _5: K;
  39 //     let mut _7: isize;
  40 //     let mut _8: bool; // drop flag for `e`
  41 //     let mut _9: bool;
  42 //     let mut _10: bool;
  43 //     let mut _11: isize;
  44 //     let mut _12: isize;
  45 //
  46 //     bb0: {
  47 //         _8 = const false;
  48 //         _10 = const false;
  49 //         _9 = const false;
  50 //         StorageLive(_1);
  51 //         StorageLive(_2);
  52 //         _2 = const cond() -> [return: bb3, unwind: bb2];
  53 //     }
  54 //
  55 //     bb1: {
  56 //         resume;
  57 //     }
  58 //
  59 //     bb2: {
  60 //         goto -> bb1;
  61 //     }
  62 //
  63 //     bb3: {
  64 //         switchInt(_2) -> [0u8: bb5, otherwise: bb4];
  65 //     }
  66 //
  67 //     bb4: {
  68 //         StorageLive(_4);
  69 //         StorageLive(_5);
  70 //         _5 = K::{{constructor}};
  71 //         _4 = E::F(_5,);
  72 //         StorageDead(_5);
  73 //         goto -> bb15;
  74 //     }
  75 //
  76 //     bb5: {
  77 //         _0 = ();
  78 //         goto -> bb12;
  79 //     }
  80 //
  81 //     bb6: {
  82 //         goto -> bb2;
  83 //     }
  84 //
  85 //     bb7: {
  86 //         goto -> bb8;
  87 //     }
  88 //
  89 //     bb8: {
  90 //         StorageDead(_4);
  91 //         _7 = discriminant(_1);
  92 //         switchInt(_7) -> [0isize: bb10, otherwise: bb9];
  93 //     }
  94 //
  95 //     bb9: {
  96 //         _0 = ();
  97 //         goto -> bb11;
  98 //     }
  99 //
 100 //     bb10: {
 101 //         StorageLive(_6);
 102 //         _10 = const false;
 103 //         _6 = ((_1 as F).0: K);
 104 //         _0 = ();
 105 //         goto -> bb11;
 106 //     }
 107 //
 108 //     bb11: {
 109 //         StorageDead(_6);
 110 //         goto -> bb12;
 111 //     }
 112 //
 113 //     bb12: {
 114 //         StorageDead(_2);
 115 //         goto -> bb22;
 116 //     }
 117 //
 118 //     bb13: {
 119 //         StorageDead(_1);
 120 //         return;
 121 //     }
 122 //
 123 //     bb14: {
 124 //         _8 = const true;
 125 //         _9 = const true;
 126 //         _10 = const true;
 127 //         _1 = _4;
 128 //         goto -> bb6;
 129 //     }
 130 //
 131 //     bb15: {
 132 //         _8 = const true;
 133 //         _9 = const true;
 134 //         _10 = const true;
 135 //         _1 = _4;
 136 //         goto -> bb7;
 137 //     }
 138 //
 139 //     bb16: {
 140 //         _8 = const false; // clear the drop flag - must always be reached
 141 //         goto -> bb13;
 142 //     }
 143 //
 144 //     bb17: {
 145 //         _8 = const false;
 146 //         goto -> bb1;
 147 //     }
 148 //
 149 //     bb18: {
 150 //         goto -> bb17;
 151 //     }
 152 //
 153 //     bb19: {
 154 //         drop(_1) -> [return: bb16, unwind: bb17];
 155 //     }
 156 //
 157 //     bb20: {
 158 //         drop(_1) -> bb17;
 159 //     }
 160 //
 161 //     bb21: {
 162 //         _11 = discriminant(_1);
 163 //         switchInt(_11) -> [0isize: bb16, otherwise: bb19];
 164 //     }
 165 //
 166 //     bb22: {
 167 //         switchInt(_8) -> [0u8: bb16, otherwise: bb21];
 168 //     }
 169 //
 170 //     bb23: {
 171 //         _12 = discriminant(_1);
 172 //         switchInt(_12) -> [0isize: bb18, otherwise: bb20];
 173 //     }
 174 //
 175 //     bb24: {
 176 //         switchInt(_8) -> [0u8: bb17, otherwise: bb23];
 177 //     }
 178 // }