[Mono-bugs] [Bug 485706] New: catch clauses with generic types produces unverifiable IL

[bugzilla_noreply at novell.com]

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


           Summary: catch clauses with generic types produces unverifiable
                    IL
    Classification: Mono
           Product: Mono: Compilers
           Version: SVN
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: C#
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: rkvinge at novell.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Test case:

class C {
    void M<T> () where T : System.Exception {
        try {
        } catch (T ex) {
        }
    }
}

for the catch clause gmcs generates:
    L_0005: stloc.0 
    L_0006: leave L_000b

and peverify complains:

[IL]: Error: [Y:\test\unverifiable\test.dll : C::M[T]][offset 0x00000005][found
ref (boxed) 'T'][expected (unboxed) 'T'] Unexpected type on the stack.

csc generates:
    L_0005: unbox.any !!T
    L_000a: stloc.0 
    L_000b: nop 
    L_000c: nop 
    L_000d: leave.s L_000f
(and peverify does not complain).

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