[Mono-dev] [PATCH] Unmanaged pointer verification

[Rodrigo Kumpera]

Hi everyone.

The attached patch makes the verifier perform unmanaged pointer verification
on local/argument load.
This behavior is not exactly evident by the spec, but testing with the msft
version, it fails to verify code like:

.method public static void Foo() cil managed
{
        .maxstack 2
        .locals init (
             int32 * V_0
        )
        ldloc.0
        pop
        ret
}


Should I add comments somewhere (code/wiki/?) to hightlight this fact?

Cheers,
Rodrigo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.ximian.com/pipermail/mono-devel-list/attachments/20070618/017d90a6/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: application/octet-stream
Size: 5814 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-devel-list/attachments/20070618/017d90a6/attachment.obj