Request for reviews (XS): 7180769: assert(tboth->klass_is_exact()) failed: klass should be exact

[Krystal Mok]

Looks good to me. (Not a reviewer, though).
Thanks for fixing it. My bad...

- Kris

On Sat, Jun 30, 2012 at 7:37 AM, Vladimir Kozlov <vladimir.kozlov at oracle.com
> wrote:

> http://cr.openjdk.java.net/~**kvn/7180769/webrev<http://cr.openjdk.java.net/~kvn/7180769/webrev>
>
> 7180769: assert(tboth->klass_is_exact()**) failed: klass should be exact
>
> Regression after 7170463 changes. Result of join() with interface class
> produces non-exact type:
>
> tcon: precise klass java/lang/String: 0x0000000111a57dd8:Constant:**exact
> *
> tval: Interface:klass org/apache/derby/iapi/store/**raw/xact/TransactionId:
> 0x00000001174cc278 *
> obj_type: org/apache/derby/iapi/store/**raw/xact/TransactionId:NotNull *
> tboth: org/apache/derby/iapi/store/**raw/xact/TransactionId:NotNull *
>
> Use class exactness as part of the condition for class compare
> optimization instead of assert.
>
> Tested with failed test.
>
> Thanks,
> Vladimir
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20120630/a1c2a3a8/attachment.html