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

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Fri Mar 7 11:24:46 EST 2008


           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.

More information about the mono-bugs mailing list