From: Ralf Jung <post@ralfj.de>
Date: Thu, 13 Dec 2018 21:07:57 +0000 (+0100)
Subject: we have no whitelist any more, go back to opt-level 3
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e2505dd945923fa5ed057a2ee3080154fa356e0a;p=rust.git

we have no whitelist any more, go back to opt-level 3
---

diff --git a/tests/compiletest.rs b/tests/compiletest.rs
index 31f0eb0c138..f125100f834 100644
--- a/tests/compiletest.rs
+++ b/tests/compiletest.rs
@@ -77,9 +77,7 @@ fn miri_pass(path: &str, target: &str, opt: bool) {
     flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs
     flags.push("--edition 2018".to_owned());
     if opt {
-        // FIXME: We use opt level 1 because MIR inlining defeats the validation
-        // whitelist.
-        flags.push("-Zmir-opt-level=1".to_owned());
+        flags.push("-Zmir-opt-level=3".to_owned());
     }
 
     let mut config = mk_config("ui");