Flush delayed bugs when exiting miri.

Author: cjgillot

src/tools/miri/src/bin/miri.rs

@@ -329,6 +329,13 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls {
 }
 
 fn exit(exit_code: i32) -> ! {
+    // MIR validation uses delayed bugs. Flush them as we won't return for `run_compiler` to do it.
+    ty::tls::with_opt(|opt_tcx| {
+        if let Some(tcx) = opt_tcx {
+            tcx.dcx().flush_delayed()
+        }
+    });
+
     // Drop the tracing guard before exiting, so tracing calls are flushed correctly.
     deinit_loggers();
     // Make sure the supervisor knows about the exit code.

src/tools/miri/tests/panic/mir-validation.stderr

@@ -1,28 +1,23 @@
-error: internal compiler error: compiler/rustc_mir_transform/src/validate.rs:LL:CC: broken MIR in Item(DefId) (after phase change to runtime-optimized) at bb0[1]:
+note: no errors encountered even though delayed bugs were created
+
+
+error: internal compiler error: broken MIR in Item(DefId) (after phase change to runtime-optimized) at bb0[1]:
                                 place (*(_2.0: *mut i32)) has deref as a later projection (it is only permitted as the first projection)
   --> tests/panic/mir-validation.rs:LL:CC
    |
 LL |             *(tuple.0) = 1;
    |             ^^^^^^^^^^^^^^
-
-
-thread 'rustc' ($TID) panicked at compiler/rustc_mir_transform/src/validate.rs:LL:CC:
-Box<dyn Any>
-stack backtrace:
+   |
+      
+  --> tests/panic/mir-validation.rs:LL:CC
+   |
+LL |             *(tuple.0) = 1;
+   |             ^^^^^^^^^^^^^^
 
 
 
 
 query stack during panic:
-#0 [optimized_mir] optimizing MIR for `main`
 end of query stack
-
-Miri caused an ICE during evaluation. Here's the interpreter backtrace at the time of the panic:
-  --> RUSTLIB/core/src/ops/function.rs:LL:CC
-   |
-LL |     extern "rust-call" fn call_once(self, args: Args) -> Self::Output;
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   |
-
 error: aborting due to 1 previous error