[Mono-bugs] [Bug 497220] New: assertion in mono_local_regalloc when a local not initialized is used

[bugzilla_noreply at novell.com]

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


           Summary: assertion in mono_local_regalloc when a local not
                    initialized is used
    Classification: Mono
           Product: Mono: Runtime
           Version: 2.4.x
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: JIT
        AssignedTo: lupus at novell.com
        ReportedBy: andrea.ornstein at st.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=287416)
 --> (http://bugzilla.novell.com/attachment.cgi?id=287416)
file that compiled with ilasm shows the bug when run with mono 2.4

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.20)
Gecko/20081217 Firefox/2.0.0.20


In the attached file 'error.il'
the function foo2 uses the local V_0 but it never initializes it.

When I run the compiled file with older versions of mono it works, but with
mono 2.4 I get an assert in mono_local_regalloc:
mono_local_regalloc: assertion failed: (reginfo [ins->sreg1].born_in > 0)

if I initialize the local directly or with '.locals init ( int32 V_0 )' the
assertion is gone.



Reproducible: Always

Steps to Reproduce:
1. compile the attached file with ilasm: 'ilasm error.il'
2. run it with mono: '.../mono-2.4/bin/mono error.exe'

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