[Mono-bugs] [Bug 387162] mono aborts on unverifiable IL that runs on .net

[bugzilla_noreply at novell.com]

https://bugzilla.novell.com/show_bug.cgi?id=387162

User rkumpera at novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=387162#c3





--- Comment #3 from Rodrigo Kumpera <rkumpera at novell.com>  2008-05-06 09:12:41 MST ---
Well, the code is valid, but not verifiable. The verifier refuses it as
verifiable, thou not for the right reason.

Mono's JIT can't handle all kinds of "valid" code. Which is good IMHO.

What happens here is that the MS runtime accepts as verifiable a broader set
than what ECMA 335 say.

I have spoted a lot of cases where peverify say the method is unverifiable but
the runtime runs it just fine.

The most common case is that it performs DCE on constant value branches and you
can put any kind of trash on the dead part. But it doesn't work on a 100% basis
so it's not something I'm planing on reproducing.


-- 
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
You are the assignee for the bug.