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

[bugzilla_noreply at novell.com]

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

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


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