diff options
-rw-r--r-- | mdk-stage1/frontend.h | 6 | ||||
-rw-r--r-- | mdk-stage1/log.h | 2 | ||||
-rw-r--r-- | mdk-stage1/minilibc.h | 2 | ||||
-rw-r--r-- | mdk-stage1/stage1.h | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/mdk-stage1/frontend.h b/mdk-stage1/frontend.h index 2869590e7..a5950f1da 100644 --- a/mdk-stage1/frontend.h +++ b/mdk-stage1/frontend.h @@ -24,9 +24,9 @@ void init_frontend(void); void finish_frontend(void); -void error_message(char *msg, ...); /* blocking */ -void info_message(char *msg, ...); /* blocking */ -void wait_message(char *msg, ...); /* non-blocking */ +void error_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */ +void info_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */ +void wait_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* non-blocking */ void remove_wait_message(void); void init_progression(char *msg, int size); diff --git a/mdk-stage1/log.h b/mdk-stage1/log.h index fcc641ad9..90aa3f6e6 100644 --- a/mdk-stage1/log.h +++ b/mdk-stage1/log.h @@ -25,7 +25,7 @@ #include <stdarg.h> -void log_message(const char * s, ...); +void log_message(const char * s, ...) __attribute__ ((format (printf, 1, 2))); void vlog_message(const char * s, va_list args); void log_perror(char *msg); void open_log(void); diff --git a/mdk-stage1/minilibc.h b/mdk-stage1/minilibc.h index e717d4255..e0775e3a0 100644 --- a/mdk-stage1/minilibc.h +++ b/mdk-stage1/minilibc.h @@ -140,5 +140,5 @@ char * strncpy(char * dst, const char * src, int len); void print_str_init(int fd, char * string); void print_int_init(int fd, int i); /* Minimum printf which handles only characters, %d's and %s's */ -void printf(char * fmt, ...); +void printf(char * fmt, ...) __attribute__ ((format (printf, 1, 2))); diff --git a/mdk-stage1/stage1.h b/mdk-stage1/stage1.h index b99a8fa65..a6ef9acf4 100644 --- a/mdk-stage1/stage1.h +++ b/mdk-stage1/stage1.h @@ -47,6 +47,6 @@ extern char * interactive_fifo; #define IS_SPECIAL_STAGE2 (get_param(MODE_SPECIAL_STAGE2)) #define IS_RAMDISK (get_param(MODE_RAMDISK)) -void fatal_error(char *msg); +void fatal_error(char *msg) __attribute__ ((noreturn)); #endif |