about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJonas Schievink <jonasschievink@gmail.com>2020-05-25 22:04:48 +0200
committerJonas Schievink <jonasschievink@gmail.com>2020-05-25 22:04:48 +0200
commitfe1753af840527bb2beba3ee603971312299b2e7 (patch)
tree9ba389c2b40ea2f4e9dfd21bdcb39f414774a972
parente04318e0fa5429e1ac44b624b9a775cfeeed66ed (diff)
downloadrust-fe1753af840527bb2beba3ee603971312299b2e7.tar.gz
rust-fe1753af840527bb2beba3ee603971312299b2e7.zip
Always validate MIR after optimizing
-rw-r--r--src/librustc_mir/transform/mod.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/librustc_mir/transform/mod.rs b/src/librustc_mir/transform/mod.rs
index 95a57523483..af9436d4041 100644
--- 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 {