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

*** 86,96 ****
        // methods.
        //
        // For performance reasons, only fully verify non-marked field values.
        // We are here when the host object for *p is already marked.
  
!       HeapWord* addr = (HeapWord*) obj;
        if (_map->par_mark(addr)) {
          verify_oop_at(p, obj);
          _stack->push(ShenandoahVerifierTask(obj));
        }
      }
--- 86,96 ----
        // methods.
        //
        // For performance reasons, only fully verify non-marked field values.
        // We are here when the host object for *p is already marked.
  
!       HeapWord* addr = cast_from_oop<HeapWord*>(obj);
        if (_map->par_mark(addr)) {
          verify_oop_at(p, obj);
          _stack->push(ShenandoahVerifierTask(obj));
        }
      }
*** 115,125 ****
        check(ShenandoahAsserts::_safe_unknown, obj, obj_klass != NULL,
               "Object klass pointer should not be NULL");
        check(ShenandoahAsserts::_safe_unknown, obj, Metaspace::contains(obj_klass),
               "Object klass pointer must go to metaspace");
  
!       HeapWord *obj_addr = (HeapWord *) obj;
        check(ShenandoahAsserts::_safe_unknown, obj, obj_addr < obj_reg->top(),
               "Object start should be within the region");
  
        if (!obj_reg->is_humongous()) {
          check(ShenandoahAsserts::_safe_unknown, obj, (obj_addr + obj->size()) <= obj_reg->top(),
--- 115,125 ----
        check(ShenandoahAsserts::_safe_unknown, obj, obj_klass != NULL,
               "Object klass pointer should not be NULL");
        check(ShenandoahAsserts::_safe_unknown, obj, Metaspace::contains(obj_klass),
               "Object klass pointer must go to metaspace");
  
!       HeapWord *obj_addr = cast_from_oop<HeapWord*>(obj);
        check(ShenandoahAsserts::_safe_unknown, obj, obj_addr < obj_reg->top(),
               "Object start should be within the region");
  
        if (!obj_reg->is_humongous()) {
          check(ShenandoahAsserts::_safe_unknown, obj, (obj_addr + obj->size()) <= obj_reg->top(),
*** 179,189 ****
  
        // Verify that forwardee is not in the dead space:
        check(ShenandoahAsserts::_safe_oop, obj, !fwd_reg->is_humongous(),
               "Should have no humongous forwardees");
  
!       HeapWord *fwd_addr = (HeapWord *) fwd;
        check(ShenandoahAsserts::_safe_oop, obj, fwd_addr < fwd_reg->top(),
               "Forwardee start should be within the region");
        check(ShenandoahAsserts::_safe_oop, obj, (fwd_addr + fwd->size()) <= fwd_reg->top(),
               "Forwardee end should be within the region");
  
--- 179,189 ----
  
        // Verify that forwardee is not in the dead space:
        check(ShenandoahAsserts::_safe_oop, obj, !fwd_reg->is_humongous(),
               "Should have no humongous forwardees");
  
!       HeapWord *fwd_addr = cast_from_oop<HeapWord *>(fwd);
        check(ShenandoahAsserts::_safe_oop, obj, fwd_addr < fwd_reg->top(),
               "Forwardee start should be within the region");
        check(ShenandoahAsserts::_safe_oop, obj, (fwd_addr + fwd->size()) <= fwd_reg->top(),
               "Forwardee end should be within the region");