From 17a677f4a9631a620e85678556d68828b6f7aa55 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 15 Mar 2020 11:17:07 +0100
Subject: [PATCH] abort intrinsic is handled by librustc_mir now

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

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 8d7645c81f..b91af778d9 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -35,10 +35,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),
-                "abort" => {
-                    // FIXME: remove, once the intrinsic on the rustc side is fixed.
-                    throw_machine_stop!(TerminationInfo::Abort);
-                }
                 _ => throw_unsup_format!("unimplemented (diverging) intrinsic: {}", intrinsic_name),
             },
             Some(p) => p,