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

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

Browse Source
This commit is contained in:
Ralf Jung 2018-12-13 22:07:57 +01:00
parent b0581caeef
commit e2505dd945
1 changed files with 1 additions and 3 deletions

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