| Index: src/utils.h
|
| ===================================================================
|
| --- src/utils.h (revision 5541)
|
| +++ src/utils.h (working copy)
|
| @@ -222,11 +222,19 @@
|
| // ----------------------------------------------------------------------------
|
| // I/O support.
|
|
|
| +#if __GNUC__ >= 4
|
| +// On gcc we can ask the compiler to check the types of %d-style format
|
| +// specifiers and their associated arguments.
|
| +#define PRINTF_CHECKING __attribute__ ((format (printf, 1, 2)))
|
| +#else
|
| +#define PRINTF_CHECKING
|
| +#endif
|
| +
|
| // Our version of printf(). Avoids compilation errors that we get
|
| // with standard printf when attempting to print pointers, etc.
|
| // (the errors are due to the extra compilation flags, which we
|
| // want elsewhere).
|
| -void PrintF(const char* format, ...);
|
| +void PRINTF_CHECKING PrintF(const char* format, ...);
|
|
|
| // Our version of fflush.
|
| void Flush();
|
|
|