RFR(XS): 8027571: fatal error: meet not symmetric

[Roland Westrelin]

Hi Vladimir,

Thanks for reviewing this.

> What code you are referencing: "what is done for instances”?

I’m referencing to this:

3464     // Since klasses are different, we require a LCA in the Java
3465     // class hierarchy - which means we have to fall to at least NotNull.
3466     if( ptr == TopPTR || ptr == AnyNull || ptr == Constant )
3467       ptr = NotNull;

> What about case TopPTR meet Constant which produce Constant?

For instances, that case goes down to NotNull in some cases.

> Can you, please, also fix comment's indent? And remove space in few cases: 'tap ->’.

Sure.

Roland.

> 
> Thanks,
> Vladimir
> 
> On 11/18/13 12:40 PM, Roland Westrelin wrote:
>> Similarly to what is done for instances, meet of exact classes in upper lattice or constant should fall down to NotNull.
>> 
>> http://cr.openjdk.java.net/~roland/8027571/webrev.00/
>> 
>> Roland.
>>