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

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

diff --git a/sim/common/ChangeLog b/sim/common/ChangeLog
index 4ecc04b..031c4c7 100644 (file)
--- a/sim/common/ChangeLog
+++ b/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.

diff --git a/sim/common/callback.c b/sim/common/callback.c
index 6134055..5e72bd3 100644 (file)
--- a/sim/common/callback.c
+++ b/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));

diff --git a/sim/common/sim-io.h b/sim/common/sim-io.h
index 6dfbeef..04aa315 100644 (file)
--- a/sim/common/sim-io.h
+++ b/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);