diff options
author | Krzysztof Halasa <khc@pm.waw.pl> | 2010-12-21 00:02:02 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2010-12-21 09:02:40 +0100 |
commit | d66ae58cd87c78b76652ecf750371b1e005d44de (patch) | |
tree | 90e82954c07e8e412f7c72d402c64b5de2f182f4 /include/stdio.h | |
parent | b754bc4cf0f2687411e9dde3a2115a9c5b8da79a (diff) | |
download | barebox-d66ae58cd87c78b76652ecf750371b1e005d44de.tar.gz barebox-d66ae58cd87c78b76652ecf750371b1e005d44de.tar.xz |
Cosmetic fixes, including format attributes for printf() and friends.
Signed-off-by: Krzysztof HaĆasa <khc@pm.waw.pl>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'include/stdio.h')
-rw-r--r-- | include/stdio.h | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/include/stdio.h b/include/stdio.h index 8bc45fa60e..c824764689 100644 --- a/include/stdio.h +++ b/include/stdio.h @@ -9,7 +9,7 @@ */ /* serial stuff */ -void serial_printf (const char *fmt, ...); +void serial_printf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); /* stdin */ int tstc(void); @@ -20,20 +20,22 @@ int getc(void); void console_puts(unsigned int ch, const char *s); void console_flush(void); -static inline void puts(const char *s) { +static inline void puts(const char *s) +{ console_puts(CONSOLE_STDOUT, s); } -static inline void putchar(char c) { +static inline void putchar(char c) +{ console_putc(CONSOLE_STDOUT, c); } -int printf(const char *fmt, ...); +int printf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); int vprintf(const char *fmt, va_list args); -int sprintf(char * buf, const char *fmt, ...); -int snprintf(char *buf, size_t size, const char *fmt, ...); +int sprintf(char *buf, const char *fmt, ...) __attribute__ ((format(printf, 2, 3))); +int snprintf(char *buf, size_t size, const char *fmt, ...) __attribute__ ((format(printf, 3, 4))); int vsprintf(char *buf, const char *fmt, va_list args); -char *asprintf(const char *fmt, ...); +char *asprintf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); char *vasprintf(const char *fmt, va_list ap); int vsnprintf(char *buf, size_t size, const char *fmt, va_list args); int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); @@ -52,7 +54,7 @@ int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); #define stderr 2 #define MAX_FILES 128 -void fprintf(int file, const char *fmt, ...); +void fprintf(int file, const char *fmt, ...) __attribute__ ((format(printf, 2, 3))); int fputs(int file, const char *s); int fputc(int file, const char c); int ftstc(int file); |