Always validate MIR after optimizing

jonas-schievink · jonas-schievink · commit fe1753af8405 · 2020-05-25T22:04:48.000+02:00
diff --git a/src/librustc_mir/transform/mod.rs b/src/librustc_mir/transform/mod.rs
@@ -191,6 +191,11 @@ pub fn run_passes(
     }
 
     body.phase = mir_phase;
+
+    if mir_phase == MirPhase::Optimized {
+        validate::Validator { when: format!("end of phase {:?}", mir_phase) }
+            .run_pass(tcx, source, body);
+    }
 }
 
 fn mir_const_qualif(tcx: TyCtxt<'_>, def_id: DefId) -> ConstQualifs {

Original file line number	Diff line number	Diff line change
`@@ -191,6 +191,11 @@ pub fn run_passes(`
`191`	`191`	`}`
`192`	`192`
`193`	`193`	`body.phase = mir_phase;`
	`194`	`+`
	`195`	`+ if mir_phase == MirPhase::Optimized {`
	`196`	`+ validate::Validator { when: format!("end of phase {:?}", mir_phase) }`
	`197`	`+ .run_pass(tcx, source, body);`
	`198`	`+ }`
`194`	`199`	`}`
`195`	`200`
`196`	`201`	`fn mir_const_qualif(tcx: TyCtxt<'_>, def_id: DefId) -> ConstQualifs {`