src/hotspot/share/runtime/flags/jvmFlag.hpp
changeset 52004 22ca7ba0c50c
parent 50708 bd3a8f48597e
child 53149 259c36ef27df
--- a/src/hotspot/share/runtime/flags/jvmFlag.hpp	Wed Oct 03 18:46:26 2018 +0200
+++ b/src/hotspot/share/runtime/flags/jvmFlag.hpp	Wed Oct 03 12:34:22 2018 -0500
@@ -272,7 +272,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;
 };