[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 bugzilla_noreply at novell.com
Mon Oct 19 14:46:52 EDT 2009


User rkumpera at novell.com added comment

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

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.

More information about the mono-bugs mailing list