[Mono-bugs] [Bug 561724] abort in mono_method_to_ir (opcode 0xfe 0x1b not handled) while JITting a verified method

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Mon Dec 14 16:05:29 EST 2009


http://bugzilla.novell.com/show_bug.cgi?id=561724

http://bugzilla.novell.com/show_bug.cgi?id=561724#c3


Miguel de Icaza <miguel at novell.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |miguel at novell.com

--- Comment #3 from Miguel de Icaza <miguel at novell.com> 2009-12-14 21:05:28 UTC ---
This issue actually was sort of known, the code had a FIXME: "warn or error?"
in the verifier when dealing with `unused' opcodes.

This patch makes unused opcodes produce an invalid program, just like .NET does
(tested it with 3.5)

This makes the verifier catch this issue, but I think that we should also turn
the g_errors into g_warnings in method-to-ir.c and produce an unverified
message in that case as well.

I have also added code to handle UNUSED opcodes so that they produce the error
for invalid programs, instead of producing "Unhandled opcode".

-- 
Configure bugmail: http://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