4613 assert(ref != NULL, "invariant"); |
4613 assert(ref != NULL, "invariant"); |
4614 assert(UseCompressedOops, "sanity"); |
4614 assert(UseCompressedOops, "sanity"); |
4615 assert(!has_partial_array_mask(ref), err_msg("ref=" PTR_FORMAT, ref)); |
4615 assert(!has_partial_array_mask(ref), err_msg("ref=" PTR_FORMAT, ref)); |
4616 oop p = oopDesc::load_decode_heap_oop(ref); |
4616 oop p = oopDesc::load_decode_heap_oop(ref); |
4617 assert(_g1h->is_in_g1_reserved(p), |
4617 assert(_g1h->is_in_g1_reserved(p), |
4618 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, intptr_t(p))); |
4618 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, (void *)p)); |
4619 return true; |
4619 return true; |
4620 } |
4620 } |
4621 |
4621 |
4622 bool G1ParScanThreadState::verify_ref(oop* ref) const { |
4622 bool G1ParScanThreadState::verify_ref(oop* ref) const { |
4623 assert(ref != NULL, "invariant"); |
4623 assert(ref != NULL, "invariant"); |
4624 if (has_partial_array_mask(ref)) { |
4624 if (has_partial_array_mask(ref)) { |
4625 // Must be in the collection set--it's already been copied. |
4625 // Must be in the collection set--it's already been copied. |
4626 oop p = clear_partial_array_mask(ref); |
4626 oop p = clear_partial_array_mask(ref); |
4627 assert(_g1h->obj_in_cs(p), |
4627 assert(_g1h->obj_in_cs(p), |
4628 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, intptr_t(p))); |
4628 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, (void *)p)); |
4629 } else { |
4629 } else { |
4630 oop p = oopDesc::load_decode_heap_oop(ref); |
4630 oop p = oopDesc::load_decode_heap_oop(ref); |
4631 assert(_g1h->is_in_g1_reserved(p), |
4631 assert(_g1h->is_in_g1_reserved(p), |
4632 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, intptr_t(p))); |
4632 err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, ref, (void *)p)); |
4633 } |
4633 } |
4634 return true; |
4634 return true; |
4635 } |
4635 } |
4636 |
4636 |
4637 bool G1ParScanThreadState::verify_task(StarTask ref) const { |
4637 bool G1ParScanThreadState::verify_task(StarTask ref) const { |