sim: common: mark engine restart as noreturn

This helps the compiler with optimization and fixes fallthru warnings.

diff --git a/sim/common/sim-engine.h b/sim/common/sim-engine.h
index f027cdc..5d1f8fa 100644 (file)
--- a/sim/common/sim-engine.h
+++ b/sim/common/sim-engine.h
@@ -88,7 +88,7 @@ extern void sim_engine_restart
 (SIM_DESC sd,
  sim_cpu *last_cpu, /* NULL -> in event-mgr */
  sim_cpu *next_cpu, /* NULL -> succ (last_cpu) or event-mgr */
- sim_cia cia);
+ sim_cia cia) ATTRIBUTE_NORETURN;
 
 /* Restart hook - allow target specific operation when restarting a
    simulator */