* callback.c (os_error): Mark as being a noreturn function.

* sim-io.h (sim_io_error): Similar for sim_io_error.

sim/common/ChangeLog

@@ -1,3 +1,8 @@
+2009-01-07  Hans-Peter Nilsson  <hp@axis.com>
+
+	* callback.c (os_error): Mark as being a noreturn function.
+	* sim-io.h (sim_io_error): Similar for sim_io_error.
+
 2008-11-12  Joel Sherrill <joel.sherrill@oarcorp.com>
 
 	* aclocal.m4:  Fix underquoting of function names.

sim/common/callback.c

@@ -91,7 +91,11 @@ static int os_get_errno PARAMS ((host_callback *));
 static int os_close PARAMS ((host_callback *, int));
 static void os_vprintf_filtered PARAMS ((host_callback *, const char *, va_list));
 static void os_evprintf_filtered PARAMS ((host_callback *, const char *, va_list));
-static void os_error PARAMS ((host_callback *, const char *, ...));
+static void os_error PARAMS ((host_callback *, const char *, ...))
+#ifdef __GNUC__
+  __attribute__ ((__noreturn__))
+#endif
+  ;
 static int fdmap PARAMS ((host_callback *, int));
 static int fdbad PARAMS ((host_callback *, int));
 static int wrap PARAMS ((host_callback *, int));

sim/common/sim-io.h

@@ -75,7 +75,9 @@ void sim_io_evprintf (SIM_DESC sd, const char *fmt, va_list ap);
 
 void sim_io_error (SIM_DESC sd,
 		   const char *fmt,
-		   ...) __attribute__ ((format (printf, 2, 3)));
+		   ...)
+  __attribute__ ((format (printf, 2, 3)))
+  __attribute__ ((__noreturn__));
 
 void sim_io_poll_quit (SIM_DESC sd);