Abort miri if the Rust code had compilation errors.

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 7867526f26d429c11585f0d30ed226a5d022eed2..8efa1a6864def8eb8872704c5be83b1056011e0b 100644 (file)
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -16,6 +16,7 @@ fn build_controller(&mut self, _: &Session) -> driver::CompileController<'a> {
         control.after_analysis.stop = Compilation::Stop;
 
         control.after_analysis.callback = Box::new(|state| {
+            state.session.abort_if_errors();
             interpreter::interpret_start_points(state.tcx.unwrap(), state.mir_map.unwrap());
         });