void fatal_enable_setjmp(void);
void fatal2(const char *, ...) __printf0like(1, 2) __attribute__((__noreturn__));
void fatalx2(const char *, ...) __printflike(1, 2) __attribute__((__noreturn__));
-void vfatal2(const char *, va_list ap) __attribute__((__noreturn__));
-void vfatalx2(const char *, va_list ap) __attribute__((__noreturn__));
+void vfatal2(const char *, va_list ap) __printf0like(1, 0) __attribute__((__noreturn__));
+void vfatalx2(const char *, va_list ap) __printflike(1, 0) __attribute__((__noreturn__));
void warning2(const char *, ...) __printf0like(1, 2);
void warningx2(const char *, ...) __printflike(1, 2);
-void vwarning2(const char *, va_list ap);
-void vwarningx2(const char *, va_list ap);
+void vwarning2(const char *, va_list ap) __printf0like(1, 0);
+void vwarningx2(const char *, va_list ap) __printflike(1, 0);
void warning_set_locale(void);
void warning_restore_locale(void);