src/hotspot/share/gc/shenandoah/shenandoahVerifier.cpp

*** 79,88 ****
--- 79,89 ----
    template <class T>
    void do_oop_work(T* p) {
      T o = RawAccess<>::oop_load(p);
      if (!CompressedOops::is_null(o)) {
        oop obj = CompressedOops::decode_not_null(o);
+       assert_object_is_in_heap(p, obj);
  
        // Single threaded verification can use faster non-atomic stack and bitmap
        // methods.
        //
        // For performance reasons, only fully verify non-marked field values.