From: Lzu Tao <taolzu@gmail.com>
Date: Sun, 27 Sep 2020 03:00:06 +0000 (+0700)
Subject: Remove assume intrinsic from EvalContextExt
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=56ea94dfa36e853ad7bf3b3d94718dc4c30f1596;p=rust.git

Remove assume intrinsic from EvalContextExt

It has been moved to rustc_mir.
---

diff --git a/rust-version b/rust-version
index 835708a42ba..362f89b5d1f 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-78a089487b5f6d5e4205ac4500410b442857bced
+1ec980d225fff2346a1a631a7ffc88b37e9e18af
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 6051ad482e5..b401bd8adae 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -478,14 +478,6 @@ fn call_intrinsic(
             }
 
             // Other
-            "assume" => {
-                let &[cond] = check_arg_count(args)?;
-                let cond = this.read_scalar(cond)?.check_init()?.to_bool()?;
-                if !cond {
-                    throw_ub_format!("`assume` intrinsic called with `false`");
-                }
-            }
-
             "exact_div" => {
                 let &[num, denom] = check_arg_count(args)?;
                 this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;