src/share/vm/opto/memnode.cpp

*** 1751,1760 ****
--- 1751,1761 ----
        }
      }
    } else if (tp->base() == Type::KlassPtr) {
      assert( off != Type::OffsetBot ||
              // arrays can be cast to Objects
+             tp->is_klassptr()->klass() == NULL ||
              tp->is_klassptr()->klass()->is_java_lang_Object() ||
              // also allow array-loading from the primary supertype
              // array during subtype checks
              Opcode() == Op_LoadKlass,
              "Field accesses must be precise" );
*** 1762,1772 ****
    }
  
    const TypeKlassPtr *tkls = tp->isa_klassptr();
    if (tkls != NULL && !StressReflectiveCode) {
      ciKlass* klass = tkls->klass();
!     if (klass->is_loaded() && tkls->klass_is_exact()) {
        // We are loading a field from a Klass metaobject whose identity
        // is known at compile time (the type is "exact" or "precise").
        // Check for fields we know are maintained as constants by the VM.
        if (tkls->offset() == in_bytes(Klass::super_check_offset_offset())) {
          // The field is Klass::_super_check_offset.  Return its (constant) value.
--- 1763,1773 ----
    }
  
    const TypeKlassPtr *tkls = tp->isa_klassptr();
    if (tkls != NULL && !StressReflectiveCode) {
      ciKlass* klass = tkls->klass();
!     if (tkls->is_loaded() && tkls->klass_is_exact()) {
        // We are loading a field from a Klass metaobject whose identity
        // is known at compile time (the type is "exact" or "precise").
        // Check for fields we know are maintained as constants by the VM.
        if (tkls->offset() == in_bytes(Klass::super_check_offset_offset())) {
          // The field is Klass::_super_check_offset.  Return its (constant) value.
*** 1795,1805 ****
      }
  
      // We can still check if we are loading from the primary_supers array at a
      // shallow enough depth.  Even though the klass is not exact, entries less
      // than or equal to its super depth are correct.
!     if (klass->is_loaded() ) {
        ciType *inner = klass;
        while( inner->is_obj_array_klass() )
          inner = inner->as_obj_array_klass()->base_element_type();
        if( inner->is_instance_klass() &&
            !inner->as_instance_klass()->flags().is_interface() ) {
--- 1796,1806 ----
      }
  
      // We can still check if we are loading from the primary_supers array at a
      // shallow enough depth.  Even though the klass is not exact, entries less
      // than or equal to its super depth are correct.
!     if (tkls->is_loaded()) {
        ciType *inner = klass;
        while( inner->is_obj_array_klass() )
          inner = inner->as_obj_array_klass()->base_element_type();
        if( inner->is_instance_klass() &&
            !inner->as_instance_klass()->flags().is_interface() ) {
*** 2126,2138 ****
    }
  
    // Check for loading klass from an array klass
    const TypeKlassPtr *tkls = tp->isa_klassptr();
    if (tkls != NULL && !StressReflectiveCode) {
!     ciKlass* klass = tkls->klass();
!     if( !klass->is_loaded() )
        return _type;             // Bail out if not loaded
      if( klass->is_obj_array_klass() &&
          tkls->offset() == in_bytes(ObjArrayKlass::element_klass_offset())) {
        ciKlass* elem = klass->as_obj_array_klass()->element_klass();
        // // Always returning precise element type is incorrect,
        // // e.g., element type could be object and array may contain strings
--- 2127,2140 ----
    }
  
    // Check for loading klass from an array klass
    const TypeKlassPtr *tkls = tp->isa_klassptr();
    if (tkls != NULL && !StressReflectiveCode) {
!     if (!tkls->is_loaded()) {
        return _type;             // Bail out if not loaded
+     }
+     ciKlass* klass = tkls->klass();
      if( klass->is_obj_array_klass() &&
          tkls->offset() == in_bytes(ObjArrayKlass::element_klass_offset())) {
        ciKlass* elem = klass->as_obj_array_klass()->element_klass();
        // // Always returning precise element type is incorrect,
        // // e.g., element type could be object and array may contain strings