test unreachable intrinsic

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 9a6bd58ba42e1d9a8d3506582cfabfebfa4c5df3..91371e2c9df964fa25e0500e1e58d1432804a55c 100644 (file)
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -36,6 +36,7 @@ fn call_intrinsic(
         let (dest, ret) = match ret {
             None => match intrinsic_name {
                 "miri_start_panic" => return this.handle_miri_start_panic(args, unwind),
+                "unreachable" => throw_ub!(Unreachable),
                 _ => throw_unsup_format!("unimplemented (diverging) intrinsic: {}", intrinsic_name),
             },
             Some(p) => p,

diff --git a/tests/compile-fail/unreachable.rs b/tests/compile-fail/unreachable.rs
new file mode 100644 (file)
index 0000000..245ef29
--- /dev/null
+++ b/tests/compile-fail/unreachable.rs
@@ -0,0 +1,4 @@
+// error-pattern: entering unreachable code
+fn main() {
+    unsafe { std::hint::unreachable_unchecked() }
+}