[Mono-bugs] [Bug 411223] New: gmcs emits unverifiable code when using an instance of a generic parameter from an outer type

[bugzilla_noreply at novell.com]

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


           Summary: gmcs emits unverifiable code when using an instance of a
                    generic parameter from an outer type
           Product: Mono: Compilers
           Version: SVN
          Platform: x86-64
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: Other.
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: daniel at hofmannmail.ath.cx
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=229301)
 --> (https://bugzilla.novell.com/attachment.cgi?id=229301)
Demonstration of the error

The attached sample can be compiled using

gmcs -target:library test.cs

PEVerify.exe test.dll

then results in:

[IL]: Error: [C:\cygwin\home\gert\tmp\test.dll :
SomeGenericClassWithConstraint`1+SomeTReferencingInnerClass[T]::.ctor][offset
0x0000000E][found ref (boxed) 'T'][expected ref 'SomeBaseClass'] Unexpected
type on the stack.
1 Error Verifying test.dll

I've verified this behaviour with r108453 on x86-64, but also observed it with
many earlier versions including 32-bit Linux and Windows, just didn't have the
time to track the error down, until now.

Using csc as compiler the code verifies.


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