[Mono-dev] [PATCH] Unmanaged pointer verification

Rodrigo Kumpera kumpera at gmail.com
Mon Jun 18 15:43:51 EDT 2007

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

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

-------------- 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 

More information about the Mono-devel-list mailing list