[Mono-dev] [PATCH] Unmanaged pointer verification

[Kornél Pál]

Unmanaged pointers are unverifiable that is documented in the standard.

Kornél

----- Original Message ----- 
From: "Rodrigo Kumpera" <kumpera at gmail.com>
To: "Mono devel list" <mono-devel-list at lists.ximian.com>
Sent: Monday, June 18, 2007 9:43 PM
Subject: [Mono-dev] [PATCH] Unmanaged pointer verification


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


--------------------------------------------------------------------------------


> _______________________________________________
> Mono-devel-list mailing list
> Mono-devel-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/mono-devel-list
>