1 files changed, 5 insertions, 1 deletions
diff --git a/sim/common/sim-engine.c b/sim/common/sim-engine.c
index 9415f637cc1..192b9ac8ea9 100644
--- a/sim/common/sim-engine.c
+++ b/sim/common/sim-engine.c
@@ -79,7 +79,10 @@ sim_engine_halt (SIM_DESC sd,
       longjmp (*halt_buf, sim_engine_halt_jmpval);
     }
   else
-    sim_io_error (sd, "sim_halt - bad long jump");
+    {
+      sim_io_error (sd, "sim_halt - bad long jump");
+      abort ();
+    }
 }
 
 
@@ -127,6 +130,7 @@ sim_engine_vabort (SIM_DESC sd,
       sim_io_evprintf (sd, fmt, ap);
       sim_io_eprintf (sd, "\n");
       sim_io_error (sd, "Quit Simulator");
+      abort ();
     }
   else
     {