RFR (XS): 8027632: assert(xtype->klass_is_exact()) failed: Should be exact at graphKit.cpp

Igor Veresov igor.veresov at oracle.com
Tue Nov 5 01:14:05 PST 2013

Good catch! Looks fine.


On Nov 5, 2013, at 1:05 AM, Roland Westrelin <roland.westrelin at oracle.com> wrote:

> http://cr.openjdk.java.net/~roland/8027632/webrev.00/
> When doing profile collection for receiver type at an invokevirtual/invokeinterface, c1 uses the holder of a method as the known class if a single type is known to be possible. For default methods, the holder of the method may be an interface and the profile collection is wrong. 
> The bug triggered an assert in type speculation but it’s actually unrelated to type speculation.
> Roland.

More information about the hotspot-compiler-dev mailing list