[Mono-bugs] [Bug 387274] Type verification is enforced even when SkipVerification is requested

[bugzilla_noreply at novell.com]

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

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


Sebastien Pouliot <spouliot at novell.com> changed:

           What    |Removed                                         |Added
----------------------------------------------------------------------------
                 CC|                                                |spouliot at novell.com




--- Comment #3 from Sebastien Pouliot <spouliot at novell.com>  2008-05-06 18:23:53 MST ---
Stack walks are just a part of CAS. CAS itself requires a lot more stuff. Then
a lot of "CAS" stuff is sometimes reused or, at least, reusable.

As for SkipVerification it is (normally) up to CAS policy resolution to decide
if this possible or not. A lot of this is already implemented but it's a
HUGE[0] hit (initialization) just to see if we want, or not, to skip
verification. 

[0] We could however make some change to get direct access to the small subset
of features needed to read the security attributes.

Anyway I think the *real* question is: is INVALID[1] or UNVERIFIABLE[2] IL ?

[1] as the exception says
Unhandled Exception: System.InvalidProgramException: Invalid IL code in
<Module>:main (string[]): IL_000f: stloc.0

[2] as the bug original description says


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