--- old/src/hotspot/share/runtime/flags/jvmFlag.hpp	2018-05-31 14:14:38.000000000 -0500
+++ new/src/hotspot/share/runtime/flags/jvmFlag.hpp	2018-05-31 14:14:38.000000000 -0500
@@ -276,7 +276,7 @@
 
   // printRanges will print out flags type, name and range values as expected by -XX:+PrintFlagsRanges
   static void printFlags(outputStream* out, bool withComments, bool printRanges = false, bool skipDefaults = false);
-  static void printError(bool verbose, const char* msg, ...);
+  static void printError(bool verbose, const char* msg, ...) ATTRIBUTE_PRINTF(2, 3);
 
   static void verify() PRODUCT_RETURN;
 };