[Ikvm-developers] invokespecial

[Jeroen F. <je...@su...>]

Hi,

I checked in some changes to make the invokespecial bytecode better
behaved. The verifier now disallows invokespecial to non-base classes
and the compiler inserts null checks on the object references used by
invokespecial (except if invokespecial calls <init>, in which case we
already know for certain that the reference is not null).

Change Log

* IK.VM.NET/compiler.cs
* IK.VM.NET/verifier.cs

Regards,
Jeroen