# HG changeset patch
# User kvn
# Date 1283191373 25200
# Node ID 114e6b93e9e140cbd50b7a27cad56e3bc0b1711f
# Parent  14197af1010e270e111bfe3937e0a89e19670316
6980978: assert(mt == t->xmeet(this)) failed: meet not commutative
Summary: Fix code in TypeAryPtr::xmeet() for constant array.
Reviewed-by: never

diff -r 14197af1010e -r 114e6b93e9e1 src/share/vm/opto/type.cpp
--- a/src/share/vm/opto/type.cpp	Fri Aug 27 17:35:08 2010 -0700
+++ b/src/share/vm/opto/type.cpp	Mon Aug 30 11:02:53 2010 -0700
@@ -3369,7 +3369,7 @@
         tary = TypeAry::make(Type::BOTTOM, tary->_size);
       }
     }
-    bool xk;
+    bool xk = false;
     switch (tap->ptr()) {
     case AnyNull:
     case TopPTR:
@@ -3391,9 +3391,10 @@
         o = tap->const_oop();
         xk = true;
       } else {
-        xk = this->_klass_is_exact;
+        // Only precise for identical arrays
+        xk = this->_klass_is_exact && (klass() == tap->klass());
       }
-      return TypeAryPtr::make( ptr, o, tary, tap->_klass, xk, off, instance_id );
+      return TypeAryPtr::make( ptr, o, tary, lazy_klass, xk, off, instance_id );
     }
     case NotNull:
     case BotPTR: