src/hotspot/share/memory/filemap.cpp
changeset 57579 1edf6cc224fb
parent 55694 7b7df2be6219
child 57584 9d82a35b6ff7
--- a/src/hotspot/share/memory/filemap.cpp	Thu Jul 25 21:21:29 2019 +0800
+++ b/src/hotspot/share/memory/filemap.cpp	Thu Jul 25 10:25:52 2019 -0700
@@ -1610,7 +1610,9 @@
   }
 
   init_from_file(_fd, is_static);
-  if (!validate_header(is_static)) {
+  // UseSharedSpaces could be disabled if the checking of some of the header fields in
+  // init_from_file has failed.
+  if (!UseSharedSpaces || !validate_header(is_static)) {
     return false;
   }
   return true;