Crash in Compile::find_intrinsic

[Christian Thalinger]

On Dec 29, 2010, at 9:57 PM, Rémi Forax wrote:
> On 12/29/2010 09:09 PM, Kirill Shirokov wrote:
>> Hi Remi,
>> 
>> Thank you for reporting the crash. It can be tracked at:
>> http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7009600
>> 
>> Kirill
> 
> Thanks you,

I looked into this bug and the cause is that the method handles are not verified.  Running with a debug build or using -XX:+UnlockDiagnosticVMOptions -XX:+VerifyMethodHandles with a product build throws the excepted exception:

Caused by: java.lang.IllegalArgumentException: bad adapter (conversion=0x00000100): type mismatch: returning a sun.dyn.empty.Empty, but caller expects primitive boolean

We have two problems here: (a) the conversion problem and (b) a lack of checking (either the method handles itself or in the compiler).

-- Christian