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

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


Rodrigo Kumpera <[email protected]> changed:

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

--- Comment #1 from Rodrigo Kumpera <[email protected]> 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.
_______________________________________________
mono-bugs maillist  -  [email protected]
http://lists.ximian.com/mailman/listinfo/mono-bugs

Reply via email to