[Mono-dev] [PATCH] verifier vs literal/init-only fields

[Rodrigo Kumpera]

Go to mono/tests/verifier, do a make run-test, wait as the 10k tests are
generated, compiled and ran.
Don't try it on a windows machine otherwise it will take eons to complete.


On Wed, Jan 21, 2009 at 3:59 AM, Cedric Vivier <cedricv at neonux.com> wrote:

> Hi Rodrigo,
>
> This small patch add a few checks to the verifier about literal/init-only
> fields :
> - checks that literal field never stsfld/ldsflda.
> - checks that instance init-only field do not stfld outside constructor of
> declaring type.
> - checks that no static field stfld.
>
> (I'm not sure how the verifier testsuite builds/runs so I may need some
> info about that if you'd like me to add tests to the patch;)
>
> Cheers,
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.ximian.com/pipermail/mono-devel-list/attachments/20090121/7a0a612a/attachment.html