diff options
Diffstat (limited to 'sim/common/sim-engine.c')
| -rw-r--r-- | sim/common/sim-engine.c | 6 |
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 { |