[Mono-bugs] [Bug 355256] [AM] gmcs emits invalid code in some generic scenarios

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Thu May 1 12:27:28 EDT 2008


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

User msafar at novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=355256#c1


Marek Safar <msafar at novell.com> changed:

           What    |Removed                                         |Added
----------------------------------------------------------------------------
         Depends on|                                                |385633
           Severity|Critical                                        |Normal
            Summary|gmcs emits invalid code in some generic         |[AM] gmcs emits invalid code in some generic
                   |scenarios                                       |scenarios




--- Comment #1 from Marek Safar <msafar at novell.com>  2008-05-01 10:27:25 MST ---
Another anonymous method issue. The should run but it's not verifiable due to
following

method assembly hidebysig instance int32 
        '<Sum>c__1'<T1,T2,TResult>(int32 a,
                                   !!T1 b) cil managed
{
  .locals init (int32 V_0)
  IL_0000:  ldarg.1
  IL_0001:  ldarg.0
  IL_0002:  ldfld      class [System.Core]System.Func`2<!0,int32> class
Enumerable/'<>c__CompilerGenerated0`1'<!TSource>::'<1:selector>'
  IL_0007:  ldarg.2
  IL_0008:  callvirt   instance !1 class
[System.Core]System.Func`2<!TSource,int32>::Invoke(!0)


We use TSource in ::Invoke type here but the argument is of T1 type. They are
same at runtime but verifier does not know about it.


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


More information about the mono-bugs mailing list