[Mono-bugs] [Bug 603305] Incorrect Incompatible type error reported

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Mon Nov 8 13:02:28 EST 2010


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

https://bugzilla.novell.com/show_bug.cgi?id=603305#c1


Rodrigo Kumpera <rkumpera at novell.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #1 from Rodrigo Kumpera <rkumpera at novell.com> 2010-11-08 18:02:27 UTC ---
Peverify does report errors on this:

$ peverify /IL bug-603305_test-461.exe

Microsoft (R) .NET Framework PE Verifier.  Version  3.5.30729.1
Copyright (c) Microsoft Corporation.  All rights reserved.

[IL]: Error: [Y:\mono\mono\tmp\bug-603305_test-461.exe : Valtest::Main][offset
0x0000000C][found ref 'ArrowType'][expected Int32] Unexpected type on the
stack.
[IL]: Error: [Y:\mono\mono\tmp\bug-603305_test-461.exe : Valtest::Main][offset
0x0000001F][found ref 'ArrowType'][expected Int32] Non-compatible types on the
stack.
2 Error(s) Verifying bug-603305_test-461.exe

Casting to a valuetype produces a boxed value, which you cannot store to a
local, unboxed, variable.

MS JIT might accept this code, but it is wrong and would require "fixing" both
JIT and verifier. Unless we find code in the wild exploiting this misfeature of
MS, this won't be fixed.

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