From 37de74f01572ece6042a73139a95ff050cb7713a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 16 Oct 2018 17:57:03 +0200 Subject: [PATCH] test with opt levels 0 and 1 --- tests/compiletest.rs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/tests/compiletest.rs b/tests/compiletest.rs index 82a2144a337d..b240fb31d222 100644 --- a/tests/compiletest.rs +++ b/tests/compiletest.rs @@ -104,7 +104,11 @@ fn miri_pass(sysroot: &Path, path: &str, target: &str, host: &str, need_fullmir: flags.push("-Zmiri-start-fn".to_owned()); } if opt { - flags.push("-Zmir-opt-level=3".to_owned()); + // FIXME: Using level 1 (instead of 3) for now, as the optimizer is pretty broken + // and crashes... + // Level 0 and 1 are not the same, so this still gives us *some* coverage. + // See https://github.com/rust-lang/rust/issues/50411 + flags.push("-Zmir-opt-level=1".to_owned()); } else { flags.push("-Zmir-opt-level=0".to_owned()); // For now, only validate without optimizations. Inlining breaks validation. @@ -187,9 +191,7 @@ fn test() { // uses `libtest` which runs jobs in parallel. run_pass_miri(false); - // FIXME: Disabled for now, as the optimizer is pretty broken and crashes... - // See https://github.com/rust-lang/rust/issues/50411 - //run_pass_miri(true); + run_pass_miri(true); compile_fail_miri(); }