[Mono-bugs] [Bug 368224] New: MCS generates unverifiable code on "yield break" generator method

[bugzilla_noreply at novell.com]

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


           Summary: MCS generates unverifiable code on "yield break"
                    generator method
           Product: Mono: Compilers
           Version: unspecified
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: C#
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: rkumpera at novell.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


The compiler test mcs/test/test-496.cs is compiled to unverifiable code due to
a BR escaping the catch block. 

The relevant part of .<>c__CompilerGenerated250::MoveNext() that causes it:

           catch [mscorlib]System.Object { // 0
              IL_0032:  pop 
              IL_0033:  ldarg.0 
              IL_0034:  ldc.i4.m1 
              IL_0035:  stfld int32 Test/'<>c__CompilerGenerated250'::$PC
              IL_003a:  br IL_007f

              IL_003f:  leave IL_0045

            } // end handler 0


The BR at 0x3a is unverifiable.


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