From c82757b6b2d6bd6fb0ed0e979638c31ec8e0d28f Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Fri, 3 Apr 2020 15:37:28 +0900
Subject: [PATCH] Add 5 ICEs

---
 ices/70507.rs | 10 ++++++++++
 ices/70586.rs | 15 +++++++++++++++
 ices/70596.rs | 10 ++++++++++
 ices/70624.rs | 16 ++++++++++++++++
 ices/70723.rs |  5 +++++
 5 files changed, 56 insertions(+)
 create mode 100644 ices/70507.rs
 create mode 100644 ices/70586.rs
 create mode 100644 ices/70596.rs
 create mode 100644 ices/70624.rs
 create mode 100644 ices/70723.rs

diff --git a/ices/70507.rs b/ices/70507.rs
new file mode 100644
index 00000000..df092ae8
--- /dev/null
+++ b/ices/70507.rs
@@ -0,0 +1,10 @@
+#![feature(const_generics)]
+
+struct R;
+impl R {
+    fn method<const N: u8>(&self) {}
+}
+
+fn main() {
+    R.method::<1u8>();
+}
diff --git a/ices/70586.rs b/ices/70586.rs
new file mode 100644
index 00000000..db51d064
--- /dev/null
+++ b/ices/70586.rs
@@ -0,0 +1,15 @@
+#![feature(const_generics)]
+
+struct T;
+impl T {
+    fn new_s<const N: u8>() -> S<N> { S }
+}
+
+struct S<const N: u8>;
+impl<const N: u8> S<N> {
+    fn method(&self) {}
+}
+
+fn main() {
+    T::new_s::<1u8>().method();
+}
diff --git a/ices/70596.rs b/ices/70596.rs
new file mode 100644
index 00000000..3b4695c8
--- /dev/null
+++ b/ices/70596.rs
@@ -0,0 +1,10 @@
+#![feature(llvm_asm)]
+extern "C" fn foo() {}
+
+fn main() {
+    unsafe {
+        llvm_asm!("mov x0, $0"
+            :: "r"(foo)
+            :: "volatile");
+    }
+}
diff --git a/ices/70624.rs b/ices/70624.rs
new file mode 100644
index 00000000..d043be61
--- /dev/null
+++ b/ices/70624.rs
@@ -0,0 +1,16 @@
+macro_rules! breakme {
+    ($config:stmt; $($tokens:literal)*) => {
+        #[cfg($config)]
+        $($tokens)*
+    };
+}
+
+fn main() {
+    macro_rules! unix {
+        () => {
+            not(unix)
+        };
+    }
+
+    breakme!(unix!(); "test");
+}
diff --git a/ices/70723.rs b/ices/70723.rs
new file mode 100644
index 00000000..9388f241
--- /dev/null
+++ b/ices/70723.rs
@@ -0,0 +1,5 @@
+#![feature(const_loop)]
+
+static _X: () = loop {};
+
+fn main() {}