src/hotspot/share/gc/shenandoah/shenandoahVerifier.hpp
changeset 54687 df2b3565f343
parent 54463 b9c461c02f7c
child 54848 5d8c5c7bca95
--- a/src/hotspot/share/gc/shenandoah/shenandoahVerifier.hpp	Thu May 02 06:33:28 2019 -0700
+++ b/src/hotspot/share/gc/shenandoah/shenandoahVerifier.hpp	Thu May 02 09:49:52 2019 -0400
@@ -186,6 +186,9 @@
   void verify_after_traversal();
   void verify_after_degenerated();
   void verify_generic(VerifyOption option);
+
+  // Roots should only contain to-space oops
+  void verify_roots_no_forwarded();
 };
 
 #endif // SHARE_GC_SHENANDOAH_SHENANDOAHVERIFIER_HPP