mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

opt level 3 works again :)

Browse Source
This commit is contained in:
Ralf Jung 2018-10-29 11:51:22 +01:00
parent f86c706df2
commit cba30e8e8b
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/compiletest.rs
View File

@ -102,11 +102,7 @@ fn miri_pass(sysroot: &Path, path: &str, target: &str, host: &str, need_fullmir:
flags.push(format!("--sysroot {}", sysroot.display()));
flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs
if opt {
// 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());
flags.push("-Zmir-opt-level=3".to_owned());
} else {
flags.push("-Zmir-opt-level=0".to_owned());
// For now, only validate without optimizations. Inlining breaks validation.