RFR (XS): 8027632: assert(xtype->klass_is_exact()) failed: Should be exact at graphKit.cpp
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:
> 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.
More information about the hotspot-compiler-dev