[Mono-bugs] [Bug 541017] JIT Crashes with ERROR:mini-codegen.c:1144:mono_local_regalloc: assertion failed: (reginfo [sreg].born_in > 0)

[bugzilla_noreply at novell.com]

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

User rkumpera at novell.com added comment
http://bugzilla.novell.com/show_bug.cgi?id=541017#c2


Rodrigo Kumpera <rkumpera at novell.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[VERIFIER] Crashes with     |JIT Crashes with
                   |ERROR:mini-codegen.c:1144:m |ERROR:mini-codegen.c:1144:m
                   |ono_local_regalloc:         |ono_local_regalloc:
                   |assertion failed: (reginfo  |assertion failed: (reginfo
                   |[sreg].born_in > 0)         |[sreg].born_in > 0)




--- Comment #2 from Rodrigo Kumpera <rkumpera at novell.com>  2009-10-19 12:46:50 MDT ---
This is not a verifier bug.

The assembly has unsafe code so it is allowed to have such code if you use
--verify-all.

There is no relation between the code been valid (even if unverifiable) and not
crashing the JIT.

Mono's JIT doesn't handle all shapes of what ECMA defines as valid IL, which is
pretty much anything that doesn't underflow/overflow the evaluation stack.

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