*** old/src/share/vm/opto/type.cpp	Mon Nov 18 21:34:40 2013
--- new/src/share/vm/opto/type.cpp	Mon Nov 18 21:34:40 2013

*** 3828,3838 ****
--- 3828,3838 ----
          tary = TypeAry::make(Type::BOTTOM, tary->_size, tary->_stable);
        }
      } else // Non integral arrays.
      // Must fall to bottom if exact klasses in upper lattice
      // are not equal or super klass is exact.
!     if ( above_centerline(ptr) && klass() != tap->klass() &&
!       if ((above_centerline(ptr) || ptr == Constant) && klass() != tap->klass() &&
            // meet with top[] and bottom[] are processed further down:
            tap ->_klass != NULL  && this->_klass != NULL   &&
            // both are exact and not equal:
            ((tap ->_klass_is_exact && this->_klass_is_exact) ||
             // 'tap'  is exact and super or unrelated: