// compile-flags: -C overflow-checks=no
-fn use_zst(_: ((), ())) { }
+fn use_zst(_: ((), ())) {}
struct Temp {
- x: u8
+ x: u8,
}
-fn use_u8(_: u8) { }
+fn use_u8(_: u8) {}
+// EMIT_MIR rustc.main.SimplifyLocals.diff
fn main() {
let ((), ()) = ((), ());
use_zst(((), ()));
- use_u8((Temp { x : 40 }).x + 2);
+ use_u8((Temp { x: 40 }).x + 2);
}
-
-// END RUST SOURCE
-
-// START rustc.main.SimplifyLocals.before.mir
-// let mut _0: ();
-// let mut _1: ((), ());
-// let mut _2: ();
-// let mut _3: ();
-// let _4: ();
-// let mut _5: ((), ());
-// let mut _6: ();
-// let mut _7: ();
-// let _8: ();
-// let mut _9: u8;
-// let mut _10: u8;
-// let mut _11: Temp;
-// scope 1 {
-// }
-// bb0: {
-// StorageLive(_1);
-// StorageLive(_2);
-// _2 = const Scalar(<ZST>) : ();
-// StorageLive(_3);
-// _3 = const Scalar(<ZST>) : ();
-// _1 = const Scalar(<ZST>) : ((), ());
-// StorageDead(_3);
-// StorageDead(_2);
-// StorageDead(_1);
-// StorageLive(_4);
-// StorageLive(_6);
-// _6 = const Scalar(<ZST>) : ();
-// StorageLive(_7);
-// _7 = const Scalar(<ZST>) : ();
-// StorageDead(_7);
-// StorageDead(_6);
-// _4 = const use_zst(const Scalar(<ZST>) : ((), ())) -> bb1;
-// }
-// bb1: {
-// StorageDead(_4);
-// StorageLive(_8);
-// StorageLive(_10);
-// StorageLive(_11);
-// _11 = const Scalar(0x28) : Temp;
-// _10 = const 40u8;
-// StorageDead(_10);
-// _8 = const use_u8(const 42u8) -> bb2;
-// }
-// bb2: {
-// StorageDead(_11);
-// StorageDead(_8);
-// return;
-// }
-// END rustc.main.SimplifyLocals.before.mir
-// START rustc.main.SimplifyLocals.after.mir
-// let mut _0: ();
-// let _1: ();
-// let _2: ();
-// scope 1 {
-// }
-// bb0: {
-// StorageLive(_1);
-// _1 = const use_zst(const Scalar(<ZST>) : ((), ())) -> bb1;
-// }
-// bb1: {
-// StorageDead(_1);
-// StorageLive(_2);
-// _2 = const use_u8(const 42u8) -> bb2;
-// }
-// bb2: {
-// StorageDead(_2);
-// return;
-// }
-// END rustc.main.SimplifyLocals.after.mir