From 877d2d900e8acb64fa72b6e8308c399881fa1f62 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Mon, 21 Mar 2016 02:54:20 -0600
Subject: [PATCH] Abort miri if the Rust code had compilation errors.

---
 src/bin/miri.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 7867526f26d..8efa1a6864d 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -16,6 +16,7 @@ impl<'a> CompilerCalls<'a> for MiriCompilerCalls {
         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());
         });