Skip to content

Commit 6cbe280

Browse files
committed
Merge remote-tracking branch 'origin/master' into rustup
2 parents a48b2cc + af05d1d commit 6cbe280

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

tests/compiletest.rs

+1-5
Original file line numberDiff line numberDiff line change
@@ -104,11 +104,7 @@ fn miri_pass(sysroot: &Path, path: &str, target: &str, host: &str, need_fullmir:
104104
flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs
105105
flags.push("-Zmir-emit-validate=1".to_owned());
106106
if opt {
107-
// FIXME: Using level 1 (instead of 3) for now, as the optimizer is pretty broken
108-
// and crashes...
109-
// Level 0 and 1 are not the same, so this still gives us *some* coverage.
110-
// See https://github.com/rust-lang/rust/issues/50411
111-
flags.push("-Zmir-opt-level=1".to_owned());
107+
flags.push("-Zmir-opt-level=3".to_owned());
112108
} else {
113109
flags.push("-Zmir-opt-level=0".to_owned());
114110
}

0 commit comments

Comments
 (0)