From d1aee6965bca6d31d1d414e7174b40e89a326483 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Naz=C4=B1m=20Can=20Alt=C4=B1nova?= <canaltinova@gmail.com>
Date: Sat, 18 Jul 2020 12:48:26 +0200
Subject: [PATCH] Remove unreachable intrinsic

---
 src/shims/intrinsics.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 68f67a1ed9..c44caed34f 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -37,7 +37,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         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,