X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=gui.c;h=616890299047629dcaad4541a239efae19f2b76c;hb=dded41e5bed40cca8876e1056351cc1dbab309d0;hp=9a02bdcabc3c252fb875b893cea5610f23243b2e;hpb=806fcbb5a8c00d6b8c1a228b9b4d6b6758f613ca;p=paraslash.git

diff --git a/gui.c b/gui.c
index 9a02bdca..61689029 100644
--- a/gui.c
+++ b/gui.c
@@ -489,7 +489,7 @@ static int add_output_line(char *line, __a_unused void *data)
 	return 1;
 }
 
-void para_log(int ll, const char *fmt,...)
+__printf_2_3 void para_log(int ll, const char *fmt,...)
 {
 	int color;
 	char *msg;
@@ -523,7 +523,7 @@ static void setup_signal_handling(void)
 	signal(SIGHUP, SIG_IGN);
 }
 
-static void do_exit(int ret)
+__noreturn static void do_exit(int ret)
 {
 	signal(SIGTERM, SIG_IGN);
 	kill(0, SIGTERM);
@@ -539,7 +539,7 @@ static void shutdown_curses(void)
 	endwin();
 }
 
-static void finish(int ret)
+__noreturn static void finish(int ret)
 {
 	shutdown_curses();
 	do_exit(ret);
@@ -548,7 +548,7 @@ static void finish(int ret)
 /*
  * exit curses and print given message to stdout/stderr
  */
-__printf_2_3 static void msg_n_exit(int ret, const char* fmt, ...)
+__noreturn __printf_2_3 static void msg_n_exit(int ret, const char* fmt, ...)
 {
 	va_list argp;
 	FILE *outfd = ret? stderr: stdout;
@@ -1280,7 +1280,7 @@ static void com_version(void)
 		CODENAME "\"");
 }
 
-static void com_quit(void)
+__noreturn static void com_quit(void)
 {
 	finish(0);
 }