test with opt levels 0 and 1
This commit is contained in:
parent
3247c6688c
commit
37de74f015
1 changed files with 6 additions and 4 deletions
|
|
@ -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();
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue