summaryrefslogtreecommitdiffstats
path: root/src/test/ui/numbers-arithmetic/issue-8460.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/numbers-arithmetic/issue-8460.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/numbers-arithmetic/issue-8460.rs')
-rw-r--r--src/test/ui/numbers-arithmetic/issue-8460.rs52
1 files changed, 52 insertions, 0 deletions
diff --git a/src/test/ui/numbers-arithmetic/issue-8460.rs b/src/test/ui/numbers-arithmetic/issue-8460.rs
new file mode 100644
index 000000000..77368b87e
--- /dev/null
+++ b/src/test/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()
+ ];
+}