[Mono-bugs] [Bug 479494] [Verifier] Incorrect Not Verifiable: Method with locals variable but without init locals set

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Mon Mar 23 10:27:02 EDT 2009


User rkumpera at novell.com added comment

Rodrigo Kumpera <rkumpera at novell.com> changed:

           What    |Removed                     |Added
           Severity|Normal                      |Enhancement

--- Comment #2 from Rodrigo Kumpera <rkumpera at novell.com>  2009-03-23 08:27:02 MST ---
As per P III all verifiable code must have the localsinit bit set.

The verifier can optionally implement definitive assignment analysis and accept
safe usages of code without localsinit set.

Since this only affects unsafe code and the verifier targets SL2, this is won't
be implemented in the near future.

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

More information about the mono-bugs mailing list