Request for reviews (S): 6980978: assert(mt == t->xmeet(this)) failed: meet not commutative

[Vladimir Kozlov]

Thank you, Tom

Vladimir

Tom Rodriguez wrote:
> Ok.
> 
> tom
> 
> On Aug 30, 2010, at 10:40 AM, Vladimir Kozlov wrote:
> 
>> http://cr.openjdk.java.net/~kvn/6980978/webrev
>>
>> Fixed 6980978: assert(mt == t->xmeet(this)) failed: meet not commutative
>>
>> TypeAryPtr klass exactness is not symmetric when
>> one of the poiter is constant array.
>> And not NULL klass set for bottom[] at the same case.
>>
>> Solution:
>> Fix code in TypeAryPtr::xmeet() for constant array.
>>
>> Tested with failed java regression tests.
>