about summary refs log tree commit diff
path: root/tests/ui/numbers-arithmetic/issue-8460.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/numbers-arithmetic/issue-8460.rs')
-rw-r--r--tests/ui/numbers-arithmetic/issue-8460.rs52
1 files changed, 52 insertions, 0 deletions
diff --git a/tests/ui/numbers-arithmetic/issue-8460.rs b/tests/ui/numbers-arithmetic/issue-8460.rs
new file mode 100644
index 00000000000..77368b87e96
--- /dev/null
+++ b/tests/ui/numbers-arithmetic/issue-8460.rs
@@ -0,0 +1,52 @@
+// run-pass
+#![allow(unused_must_use)]
+// ignore-emscripten no threads support
+// needs-unwind
+#![feature(rustc_attrs)]
+
+use std::thread;
+
+trait Int {
+    fn zero() -> Self;
+    fn one() -> Self;
+}
+macro_rules! doit {
+    ($($t:ident)*) => ($(impl Int for $t {
+        fn zero() -> Self { 0 }
+        fn one() -> Self { 1 }
+    })*)
+}
+doit! { i8 i16 i32 i64 isize }
+
+macro_rules! check {
+    ($($e:expr),*) => {
+        $(assert!(thread::spawn({
+            move|| { $e; }
+        }).join().is_err());)*
+    }
+}
+
+fn main() {
+    check![
+        isize::MIN / -isize::one(),
+        i8::MIN / -i8::one(),
+        i16::MIN / -i16::one(),
+        i32::MIN / -i32::one(),
+        i64::MIN / -i64::one(),
+        1isize / isize::zero(),
+        1i8 / i8::zero(),
+        1i16 / i16::zero(),
+        1i32 / i32::zero(),
+        1i64 / i64::zero(),
+        isize::MIN % -isize::one(),
+        i8::MIN % -i8::one(),
+        i16::MIN % -i16::one(),
+        i32::MIN % -i32::one(),
+        i64::MIN % -i64::one(),
+        1isize % isize::zero(),
+        1i8 % i8::zero(),
+        1i16 % i16::zero(),
+        1i32 % i32::zero(),
+        1i64 % i64::zero()
+    ];
+}