| Index: src/base/platform/platform.h | 
| diff --git a/src/base/platform/platform.h b/src/base/platform/platform.h | 
| index 84d9db5b9356a34a050e2f92edf07d97699cbb03..5b2dbc9a0b29831865f082ce0fd25024754ff541 100644 | 
| --- a/src/base/platform/platform.h | 
| +++ b/src/base/platform/platform.h | 
| @@ -26,7 +26,6 @@ | 
| #include <vector> | 
|  | 
| #include "src/base/build_config.h" | 
| -#include "src/base/compiler-specific.h" | 
| #include "src/base/platform/mutex.h" | 
| #include "src/base/platform/semaphore.h" | 
|  | 
| @@ -155,19 +154,18 @@ | 
| // Print output to console. This is mostly used for debugging output. | 
| // On platforms that has standard terminal output, the output | 
| // should go to stdout. | 
| -  static PRINTF_FORMAT(1, 2) void Print(const char* format, ...); | 
| -  static PRINTF_FORMAT(1, 0) void VPrint(const char* format, va_list args); | 
| +  static void Print(const char* format, ...); | 
| +  static void VPrint(const char* format, va_list args); | 
|  | 
| // Print output to a file. This is mostly used for debugging output. | 
| -  static PRINTF_FORMAT(2, 3) void FPrint(FILE* out, const char* format, ...); | 
| -  static PRINTF_FORMAT(2, 0) void VFPrint(FILE* out, const char* format, | 
| -                                          va_list args); | 
| +  static void FPrint(FILE* out, const char* format, ...); | 
| +  static void VFPrint(FILE* out, const char* format, va_list args); | 
|  | 
| // Print error output to console. This is mostly used for error message | 
| // output. On platforms that has standard terminal output, the output | 
| // should go to stderr. | 
| -  static PRINTF_FORMAT(1, 2) void PrintError(const char* format, ...); | 
| -  static PRINTF_FORMAT(1, 0) void VPrintError(const char* format, va_list args); | 
| +  static void PrintError(const char* format, ...); | 
| +  static void VPrintError(const char* format, va_list args); | 
|  | 
| // Allocate/Free memory used by JS heap. Pages are readable/writable, but | 
| // they are not guaranteed to be executable unless 'executable' is true. | 
| @@ -224,10 +222,11 @@ | 
|  | 
| // Safe formatting print. Ensures that str is always null-terminated. | 
| // Returns the number of chars written, or -1 if output was truncated. | 
| -  static PRINTF_FORMAT(3, 4) int SNPrintF(char* str, int length, | 
| -                                          const char* format, ...); | 
| -  static PRINTF_FORMAT(3, 0) int VSNPrintF(char* str, int length, | 
| -                                           const char* format, va_list args); | 
| +  static int SNPrintF(char* str, int length, const char* format, ...); | 
| +  static int VSNPrintF(char* str, | 
| +                       int length, | 
| +                       const char* format, | 
| +                       va_list args); | 
|  | 
| static char* StrChr(char* str, int c); | 
| static void StrNCpy(char* dest, int length, const char* src, size_t n); | 
|  |