From e2505dd945923fa5ed057a2ee3080154fa356e0a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 13 Dec 2018 22:07:57 +0100
Subject: [PATCH] we have no whitelist any more, go back to opt-level 3

---
 tests/compiletest.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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");
-- 
2.44.0