[Mono-bugs] [Bug 387162] mono aborts on unverifiable IL that runs on .net

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Wed May 7 11:36:03 EDT 2008


User rkumpera at novell.com added comment

--- Comment #6 from Rodrigo Kumpera <rkumpera at novell.com>  2008-05-07 09:36:03 MST ---
Well, using incompatible valuetypes between each other is 'valid' but it's not
well defined what happens.

On the Nullable`1 and int32 case, the MS runtime seens to just return the first
4 bytes of the struct and we have the same behavior.

Even with that set, we don't return the same value of the MS runtime since our
Nullable implementation have the value and has_value fields swapped with

I'm not sure why we throw NRE on this test thou.

This is really a bug on the MS side as the code is completely broken. There are
an implicit float64 <-> int32 conversion; a stack merge between incompatible
types, (int32 <-> Nullable`1<float64>; and returning the wrong type,
Nullable`1<float64> instead of bool.

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.

More information about the mono-bugs mailing list