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

User [email protected] added comment
http://bugzilla.novell.com/show_bug.cgi?id=541017#c2


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

Reply via email to