Use gnu_printf rather than just printf in function format attributes
authorIan Lynagh <igloo@earth.li>
Tue, 24 Apr 2012 15:39:55 +0000 (16:39 +0100)
committerIan Lynagh <igloo@earth.li>
Tue, 24 Apr 2012 15:39:55 +0000 (16:39 +0100)
On Windows, gcc thinks that printf means ms_printf, which is not the
case when we #define _POSIX_SOURCE 1.

includes/rts/Messages.h

index 6f59d1d..e43155c 100644 (file)
@@ -48,7 +48,7 @@ void vbarf(const char *s, va_list ap)
  * errorBelch() invokes (*errorMsgFn)().
  */
 void errorBelch(const char *s, ...)
-   GNUC3_ATTRIBUTE(format (printf, 1, 2));
+   GNUC3_ATTRIBUTE(format (gnu_printf, 1, 2));
 
 void verrorBelch(const char *s, va_list ap);
 
@@ -62,7 +62,7 @@ void verrorBelch(const char *s, va_list ap);
  * sysErrorBelch() invokes (*sysErrorMsgFn)().
  */
 void sysErrorBelch(const char *s, ...)
-   GNUC3_ATTRIBUTE(format (printf, 1, 2));
+   GNUC3_ATTRIBUTE(format (gnu_printf, 1, 2));
 
 void vsysErrorBelch(const char *s, va_list ap);
 
@@ -74,7 +74,7 @@ void vsysErrorBelch(const char *s, va_list ap);
  * debugBelch() invokes (*debugMsgFn)().
  */
 void debugBelch(const char *s, ...)
-   GNUC3_ATTRIBUTE(format (printf, 1, 2));
+   GNUC3_ATTRIBUTE(format (gnu_printf, 1, 2));
 
 void vdebugBelch(const char *s, va_list ap);