Add GCC format attributes to print functions

Fix format problems found.

Signed-off-by: Blue Swirl <blauwirbel@gmail.com>

git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@888 f158a5a8-5612-0410-a976-696ce0be7e32
This commit is contained in:
Blue Swirl
2010-10-09 08:27:09 +00:00
parent a5eb733975
commit a5cba745e5
3 changed files with 14 additions and 9 deletions

View File

@@ -20,11 +20,16 @@
#include <stdarg.h>
#include "config.h"
extern int vsprintf(char *buf, const char *fmt, va_list args );
extern int sprintf(char * buf, const char *fmt, ...);
extern int vsnprintf(char *buf, size_t size, const char *fmt, va_list args);
extern int snprintf(char * buf, size_t size, const char *fmt, ...);
int vsprintf(char *buf, const char *fmt, va_list args)
__attribute__((__format__(__printf__, 2, 0)));
int sprintf(char * buf, const char *fmt, ...)
__attribute__((__format__(__printf__, 2, 3)));
int vsnprintf(char *buf, size_t size, const char *fmt, va_list args)
__attribute__((__format__(__printf__, 3, 0)));
int snprintf(char * buf, size_t size, const char *fmt, ...)
__attribute__((__format__(__printf__, 3, 4)));
extern int forth_printf( const char *fmt, ... );
int forth_printf(const char *fmt, ...)
__attribute__((__format__(__printf__, 1, 2)));
#endif /* _H_VSPRINTF */