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

[bugzilla_noreply at novell.com]

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


           Summary: Type verification is enforced even when SkipVerification
                    is requested
           Product: Mono: Runtime
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: JIT
        AssignedTo: lupus at novell.com
        ReportedBy: kornelpal at gmail.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=212766)
 --> (https://bugzilla.novell.com/attachment.cgi?id=212766)
PureApp.zip

PtrToStringChars (inlined to main by MS VC++ compiler) causes
InvalidProgramException because "string" moved to "uint8&" using "stloc".

MS VC++ compiler generates very unverifiable code without /clr:safe but
requests SkipVerification so I think no verifications should be done.

The attached code works with MS.NET and works with Mono if I enable
dont_verify_stloc in mono_method_to_ir.


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