727 

   727 

   728   // Utility: copies src into buf, replacing "%%" with "%" and "%p" with pid.

   728   // Utility: copies src into buf, replacing "%%" with "%" and "%p" with pid.

   729   static bool copy_expand_pid(const char* src, size_t srclen, char* buf, size_t buflen);

   729   static bool copy_expand_pid(const char* src, size_t srclen, char* buf, size_t buflen);

   730 

   730 

   731   static void check_unsupported_dumping_properties() NOT_CDS_RETURN;

   731   static void check_unsupported_dumping_properties() NOT_CDS_RETURN;

   732 };

   734 };

   733 

   735 

   734 // Disable options not supported in this release, with a warning if they

   736 // Disable options not supported in this release, with a warning if they

   735 // were explicitly requested on the command-line

   737 // were explicitly requested on the command-line

   736 #define UNSUPPORTED_OPTION(opt)                          \

   738 #define UNSUPPORTED_OPTION(opt)                          \