< prev index next >

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

Print this page

        

*** 33,42 **** --- 33,43 ---- #include "gc/shenandoah/shenandoahVerifier.hpp" #include "memory/allocation.hpp" #include "memory/iterator.inline.hpp" #include "memory/resourceArea.hpp" #include "oops/compressedOops.inline.hpp" + #include "utilities/align.hpp" // Avoid name collision on verify_oop (defined in macroAssembler_arm.hpp) #ifdef verify_oop #undef verify_oop #endif
*** 96,106 **** // that failure report would not try to touch something that was not yet verified to be // safe to process. check(ShenandoahAsserts::_safe_unknown, obj, _heap->is_in(obj), "oop must be in heap"); ! check(ShenandoahAsserts::_safe_unknown, obj, check_obj_alignment(obj), "oop must be aligned"); ShenandoahHeapRegion *obj_reg = _heap->heap_region_containing(obj); Klass* obj_klass = obj->klass_or_null(); --- 97,107 ---- // that failure report would not try to touch something that was not yet verified to be // safe to process. check(ShenandoahAsserts::_safe_unknown, obj, _heap->is_in(obj), "oop must be in heap"); ! check(ShenandoahAsserts::_safe_unknown, obj, is_object_aligned(obj), "oop must be aligned"); ShenandoahHeapRegion *obj_reg = _heap->heap_region_containing(obj); Klass* obj_klass = obj->klass_or_null();
*** 156,166 **** if (obj != fwd) { check(ShenandoahAsserts::_safe_oop, obj, _heap->is_in(fwd), "Forwardee must be in heap"); check(ShenandoahAsserts::_safe_oop, obj, !CompressedOops::is_null(fwd), "Forwardee is set"); ! check(ShenandoahAsserts::_safe_oop, obj, check_obj_alignment(fwd), "Forwardee must be aligned"); // Do this before touching fwd->size() Klass* fwd_klass = fwd->klass_or_null(); check(ShenandoahAsserts::_safe_oop, obj, fwd_klass != NULL, --- 157,167 ---- if (obj != fwd) { check(ShenandoahAsserts::_safe_oop, obj, _heap->is_in(fwd), "Forwardee must be in heap"); check(ShenandoahAsserts::_safe_oop, obj, !CompressedOops::is_null(fwd), "Forwardee is set"); ! check(ShenandoahAsserts::_safe_oop, obj, is_object_aligned(fwd), "Forwardee must be aligned"); // Do this before touching fwd->size() Klass* fwd_klass = fwd->klass_or_null(); check(ShenandoahAsserts::_safe_oop, obj, fwd_klass != NULL,
< prev index next >