Auto merge of #1921 - RalfJung:overflow-checks-off, r=RalfJung

test for overflow-checks=off

Strangely, if we call the functions in `std::ops`, we still get the panics. I assume that is because we build the stdlib with `-Cdebug-assertions=on`; probably the magic attribute that makes stdlib functions inherit overflow checks from the calling crate only works one way (namely to enable them when the calling crate asks for them, but not to disable them when the calling crate does not want them).

Author: bors

tests/run-pass/overflow_checks_off.rs

@@ -0,0 +1,18 @@
+// compile-flags: -C overflow-checks=off
+
+// Check that we correctly implement the intended behavior of these operators
+// when they are not being overflow-checked.
+
+// FIXME: if we call the functions in `std::ops`, we still get the panics.
+// Miri does not implement the codegen-time hack that backs `#[rustc_inherit_overflow_checks]`.
+// use std::ops::*;
+
+fn main() {
+    assert_eq!(-{-0x80i8}, -0x80);
+
+    assert_eq!(0xffu8 + 1, 0_u8);
+    assert_eq!(0u8 - 1, 0xff_u8);
+    assert_eq!(0xffu8 * 2, 0xfe_u8);
+    assert_eq!(1u8 << 9, 2_u8);
+    assert_eq!(2u8 >> 9, 1_u8);
+}