src/share/vm/gc_implementation/g1/g1BlockOffsetTable.inline.hpp

rev 3849 : 7194633: G1: Assertion and guarantee failures in block offset table
Summary: Add detailed error messages to assertions and guarantees in G1's block offset table.
Reviewed-by:

*** 47,66 ****
  
  inline size_t G1BlockOffsetSharedArray::index_for(const void* p) const {
    char* pc = (char*)p;
    assert(pc >= (char*)_reserved.start() &&
           pc <  (char*)_reserved.end(),
!          "p not in range.");
    size_t delta = pointer_delta(pc, _reserved.start(), sizeof(char));
    size_t result = delta >> LogN;
!   assert(result < _vs.committed_size(), "bad index from address");
    return result;
  }
  
  inline HeapWord*
  G1BlockOffsetSharedArray::address_for_index(size_t index) const {
!   assert(index < _vs.committed_size(), "bad index");
    HeapWord* result = _reserved.start() + (index << LogN_words);
    assert(result >= _reserved.start() && result < _reserved.end(),
           err_msg("bad address from index result " PTR_FORMAT
                   " _reserved.start() " PTR_FORMAT " _reserved.end() "
                   PTR_FORMAT,
--- 47,67 ----
  
  inline size_t G1BlockOffsetSharedArray::index_for(const void* p) const {
    char* pc = (char*)p;
    assert(pc >= (char*)_reserved.start() &&
           pc <  (char*)_reserved.end(),
!          err_msg("p ("PTR_FORMAT") not in reserved ["PTR_FORMAT", "PTR_FORMAT")",
!                  p, (char*)_reserved.start(), (char*)_reserved.end()));
    size_t delta = pointer_delta(pc, _reserved.start(), sizeof(char));
    size_t result = delta >> LogN;
!   check_index(result, "bad index from address");
    return result;
  }
  
  inline HeapWord*
  G1BlockOffsetSharedArray::address_for_index(size_t index) const {
!   check_index(index, "index out of range");
    HeapWord* result = _reserved.start() + (index << LogN_words);
    assert(result >= _reserved.start() && result < _reserved.end(),
           err_msg("bad address from index result " PTR_FORMAT
                   " _reserved.start() " PTR_FORMAT " _reserved.end() "
                   PTR_FORMAT,