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

*** 553,562 ****
--- 553,563 ----
    template <class T>
    inline 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);
        assert(_ctx->is_marked(obj), "must be marked");
        if (obj->is_forwarded()) {
          oop forw = obj->forwardee();
          RawAccess<IS_NOT_NULL>::oop_store(p, forw);
        }