Request for reviews (XS): 6879362

[Tom Rodriguez]

Doesn't !is_subtype_of imply !equals?

tom

On Sep 15, 2009, at 5:44 PM, Vladimir Kozlov wrote:

>
> http://cr.openjdk.java.net/~kvn/6879362/webrev.00
>
> Fixed 6879362: assert(!klass_is_exact(),"only non-exact klass")
>
> Problem:
> The AddP type could be not related to the type of
> allocated object when CHA type is different from MDO type
> on a dead path (for example, from instanceof check)
> which is not collapsed during parsing.
>
> Solution:
> Do nothing for such AddP node and don't process its users
> during escape analysis since this code branch will go away.
>
> Reviewed by:
>
> Fix verified (y/n): y, test
>
> Other testing:
> JPRT
>