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

Don't validate / lint MIR before each pass

Browse Source 
To avoid redundant work and verbose output in case of failures.
This commit is contained in:
Tomasz Miąsko 2023-12-28 00:00:00 +00:00
parent 928b3dac57
commit 8d77c2eab8
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 {
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 {
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
--> $DIR/storage-live.rs:22:13
|