OpenJDK / graal / graal-jvmci-8
changeset 1765:114e6b93e9e1
6980978: assert(mt == t->xmeet(this)) failed: meet not commutative
Summary: Fix code in TypeAryPtr::xmeet() for constant array.
Reviewed-by: never
| author | kvn |
|---|---|
| date | Mon, 30 Aug 2010 11:02:53 -0700 |
| parents | 14197af1010e |
| children | 02f0a9b6f654 |
| files | src/share/vm/opto/type.cpp |
| diffstat | 1 files changed, 4 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- 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: