src/hotspot/share/jvmci/jvmci_globals.hpp
changeset 50589 e5d741569070
parent 49191 13378aa8527e
child 52609 83b1d9797b20
--- a/src/hotspot/share/jvmci/jvmci_globals.hpp	Fri Jun 15 08:28:08 2018 -0700
+++ b/src/hotspot/share/jvmci/jvmci_globals.hpp	Fri Jun 15 09:16:48 2018 -0700
@@ -121,5 +121,8 @@
   // an error message describing the inconsistency is printed before
   // returning false.
   static bool check_jvmci_flags_are_consistent();
+
+  // Check and exit VM with error if selected GC is not supported by JVMCI.
+  static void check_jvmci_supported_gc();
 };
 #endif // SHARE_VM_JVMCI_JVMCIGLOBALS_HPP