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

Auto merge of #119377 - tmiasko:after, r=cjgillot

Browse Source 
Don't validate / lint MIR before each pass

To avoid redundant work and verbose output in case of failures.
This commit is contained in:
bors 2023-12-30 09:42:05 +00:00
commit c2354aabea
2 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_mir_transform/src/pass_manager.rs
View File

@ -129,12 +129,6 @@ fn run_passes_inner<'tcx>(
if dump_enabled { if dump_enabled {
dump_mir_for_pass(tcx, body, name, false); dump_mir_for_pass(tcx, body, name, false);
} }
if validate {
validate_body(tcx, body, format!("before pass {name}"));
}
if lint {
lint_body(tcx, body, format!("before pass {name}"));
}
if let Some(prof_arg) = &prof_arg { if let Some(prof_arg) = &prof_arg {
tcx.sess tcx.sess

2
tests/ui/mir/lint/storage-live.stderr
View File

@ -1,4 +1,4 @@
error: internal compiler error: broken MIR in Item(DefId(0:8 ~ storage_live[HASH]::multiple_storage)) (before pass CheckPackedRef) at bb0[1]: error: internal compiler error: broken MIR in Item(DefId(0:8 ~ storage_live[HASH]::multiple_storage)) (after pass CheckPackedRef) at bb0[1]:
StorageLive(_1) which already has storage here StorageLive(_1) which already has storage here
--> $DIR/storage-live.rs:22:13 --> $DIR/storage-live.rs:22:13
| |