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

Roland Westrelin roland.westrelin at oracle.com
Tue Nov 5 01:05:24 PST 2013


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