]> git.proxmox.com Git - rustc.git/blobdiff - src/test/mir-opt/const_prop/checked_add.rs
New upstream version 1.44.1+dfsg1
[rustc.git] / src / test / mir-opt / const_prop / checked_add.rs
index fe98cf24eec009ecc6416033e5b7a38e787a6dae..439bd2df91f574397476eef4bdedb04bffa997cd 100644 (file)
@@ -1,21 +1,6 @@
 // compile-flags: -C overflow-checks=on
 
+// EMIT_MIR rustc.main.ConstProp.diff
 fn main() {
     let x: u32 = 1 + 1;
 }
-
-// END RUST SOURCE
-// START rustc.main.ConstProp.before.mir
-//  bb0: {
-//      ...
-//      _2 = CheckedAdd(const 1u32, const 1u32);
-//      assert(!move (_2.1: bool), "attempt to add with overflow") -> bb1;
-//  }
-// END rustc.main.ConstProp.before.mir
-// START rustc.main.ConstProp.after.mir
-//  bb0: {
-//      ...
-//      _2 = (const 2u32, const false);
-//      assert(!const false, "attempt to add with overflow") -> bb1;
-//  }
-// END rustc.main.ConstProp.after.mir