Make validate_mir pull optimized MIR for all bodies

Author: compiler-errors

compiler/rustc_interface/src/passes.rs

@@ -818,6 +818,11 @@ fn run_required_analyses(tcx: TyCtxt<'_>) {
     });
     sess.time("layout_testing", || layout_test::test_layout(tcx));
     sess.time("abi_testing", || abi_test::test_abi(tcx));
+    if tcx.sess.opts.unstable_opts.validate_mir {
+        tcx.hir().par_body_owners(|def_id| {
+            tcx.ensure().optimized_mir(def_id);
+        });
+    }
 }
 
 /// Runs the type-checking, region checking and other miscellaneous analysis

tests/crashes/105249.rs

@@ -12,5 +12,5 @@ trait Bar: for<'a> Foo<&'a ()> { }
 impl Bar for () {}
 
 fn main() {
-    (&() as &dyn Bar).print(); // Segfault
+    (&() as &dyn Bar).print();
 }

tests/crashes/121127.rs

@@ -1,5 +1,5 @@
 //@ known-bug: #121127
-//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes -C debuginfo=2
+//@ compile-flags: -Zvalidate-mir -Zinline-mir=yes -C debuginfo=2
 // Note that as of PR#123949 this only crashes with debuginfo enabled
 
 #![feature(specialization)]

tests/crashes/122909.rs

@@ -1,4 +1,4 @@
-//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes
+//@ compile-flags: -Zvalidate-mir -Zinline-mir=yes
 //@ known-bug: #122909
 
 

tests/crashes/123893.rs

@@ -1,5 +1,5 @@
 //@ known-bug: #123893
-//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes -Zinline-mir-threshold=20
+//@ compile-flags: -Zvalidate-mir -Zinline-mir=yes -Zinline-mir-threshold=20
 pub fn main() {
     generic_impl::<bool>();
 }

tests/crashes/124436.rs

@@ -1,5 +1,5 @@
 //@ known-bug: rust-lang/rust#124436
-//@ compile-flags: -Zdump-mir=all -Zpolymorphize=on
+//@ compile-flags: -Zvalidate-mir
 
 pub trait TraitCat {}
 pub trait TraitDog {}

tests/crashes/126896.rs

@@ -1,5 +1,5 @@
 //@ known-bug: rust-lang/rust#126896
-//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes
+//@ compile-flags: -Zvalidate-mir -Zinline-mir=yes
 
 #![feature(type_alias_impl_trait)]
 type Two<'a, 'b> = impl std::fmt::Debug;