From 6fd3c9174c7ad518bfa7f4646477cf5606209474 Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Sun, 8 Mar 2020 14:31:57 +0100
Subject: [PATCH] rm custom `intrinsics::discriminant_value`

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

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 9cae97a406..44283364a9 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -248,12 +248,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 }
             }
 
-            "discriminant_value" => {
-                let place = this.deref_operand(args[0])?;
-                let discr_val = this.read_discriminant(place.into())?.0;
-                this.write_scalar(Scalar::from_uint(discr_val, dest.layout.size), dest)?;
-            }
-
             #[rustfmt::skip]
             | "sinf32"
             | "fabsf32"