|
@@ -85,17 +85,17 @@ int feof(FILE*);
|
|
|
int fflush(FILE*);
|
|
|
size_t fread(void* ptr, size_t size, size_t nmemb, FILE*);
|
|
|
size_t fwrite(const void* ptr, size_t size, size_t nmemb, FILE*);
|
|
|
-int vprintf(const char* fmt, va_list);
|
|
|
-int vfprintf(FILE*, const char* fmt, va_list);
|
|
|
-int vsprintf(char* buffer, const char* fmt, va_list);
|
|
|
-int vsnprintf(char* buffer, size_t, const char* fmt, va_list);
|
|
|
-int fprintf(FILE*, const char* fmt, ...);
|
|
|
-int printf(const char* fmt, ...);
|
|
|
-int dbgprintf(const char* fmt, ...);
|
|
|
+int vprintf(const char* fmt, va_list) __attribute__((format(printf, 1, 0)));
|
|
|
+int vfprintf(FILE*, const char* fmt, va_list) __attribute__((format(printf, 2, 0)));
|
|
|
+int vsprintf(char* buffer, const char* fmt, va_list) __attribute__((format(printf, 2, 0)));
|
|
|
+int vsnprintf(char* buffer, size_t, const char* fmt, va_list) __attribute__((format(printf, 3, 0)));
|
|
|
+int fprintf(FILE*, const char* fmt, ...) __attribute__((format(printf, 2, 3)));
|
|
|
+int printf(const char* fmt, ...) __attribute__((format(printf, 1, 2)));
|
|
|
+int dbgprintf(const char* fmt, ...) __attribute__((format(printf, 1, 2)));
|
|
|
void dbgputch(char);
|
|
|
int dbgputstr(const char*, ssize_t);
|
|
|
-int sprintf(char* buffer, const char* fmt, ...);
|
|
|
-int snprintf(char* buffer, size_t, const char* fmt, ...);
|
|
|
+int sprintf(char* buffer, const char* fmt, ...) __attribute__((format(printf, 2, 3)));
|
|
|
+int snprintf(char* buffer, size_t, const char* fmt, ...) __attribute__((format(printf, 3, 4)));
|
|
|
int putchar(int ch);
|
|
|
int putc(int ch, FILE*);
|
|
|
int puts(const char*);
|