Request for reviews (XS): 6976400: "Meet Not Symmetric"

Vladimir Kozlov vladimir.kozlov at oracle.com
Thu Aug 12 10:48:23 PDT 2010


http://cr.openjdk.java.net/~kvn/6976400/webrev

Fixed 6976400: "Meet Not Symmetric"

Meet of integer array pointer type with array pointer
which has j.l.Object klass incorrectly falls to bottom:

t   =                   byte[int:>=0]:NotNull:exact+12 *
this=                   bottom[int:>=0]+12 *
mt=(t meet this)=       bottom[int:>=0]+12 *
t_dual=                 int:127..-128:www[int:max..0]:AnyNull:exact+12 *,iid=top
mt_dual=                top[int:max..0]:TopPTR+12 *,iid=top
mt_dual meet t_dual=    bottom[int:max..0]:AnyNull:exact+12 * [narrow]

Solution:
Add missing checks for j.l.Object klass in TypeAryPtr::xmeet().

Tested with failing cases, CTW, java/lang regression tests.


More information about the hotspot-compiler-dev mailing list