From 5d2caef3cebe97fc6cf67971064c0d5cf7bc974a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 6 Feb 2020 11:24:38 +0100 Subject: [PATCH] also test div-by-minus-1 --- tests/compile-fail/unchecked_div1.rs | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/compile-fail/unchecked_div1.rs diff --git a/tests/compile-fail/unchecked_div1.rs b/tests/compile-fail/unchecked_div1.rs new file mode 100644 index 000000000000..1d1bbb09aa26 --- /dev/null +++ b/tests/compile-fail/unchecked_div1.rs @@ -0,0 +1,5 @@ +#![feature(core_intrinsics)] +fn main() { + // MIN/-1 cannot be represented + unsafe { std::intrinsics::unchecked_div(i16::min_value(), -1); } //~ ERROR Overflow executing `unchecked_div` +}