[Mono-bugs] [Bug 450444] Verifier does not recognize invalid IL when --security= validil is used

[bugzilla_noreply at novell.com]

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

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


Rodrigo Kumpera <rkumpera at novell.com> changed:

           What    |Removed                                         |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                                        |RESOLVED
         Resolution|                                                |INVALID




--- Comment #1 from Rodrigo Kumpera <rkumpera at novell.com>  2008-12-01 14:06:56 MST ---
The code in gtest-collectioninit-03.exe is valid.

Under validil mode this kind of promiscuous use of reference types is
acceptable.

What you want is check it under verifiable mode:

mono --security=verifiable valid_this_object.exe 

Unhandled Exception: System.Security.VerificationException: Incompatible this
argument on stack with method signature at 0x0015
  at X.Main () [0x00000] 


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