[Mono-bugs] [Bug 474718] New: correct program that never ends, but it does if you add a WriteLine in a specific place

[bugzilla_noreply at novell.com]

https://bugzilla.novell.com/show_bug.cgi?id=474718


           Summary: correct program that never ends, but it does if you
                    add a WriteLine in a specific place
    Classification: Mono
           Product: Mono: Runtime
           Version: 2.2.x
          Platform: x86
        OS/Version: Linux
            Status: NEW
          Severity: Normal
          Priority: P5 - None
         Component: JIT
        AssignedTo: lupus at novell.com
        ReportedBy: anto.cuni at gmail.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=271831)
 --> (https://bugzilla.novell.com/attachment.cgi?id=271831)
IL code reproducing the bug

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.11)
Gecko/20080111 Firefox/2.0.0.11

The attached IL program never ends. It seems that the JIT produce an infinite
loop, even if the program itself does not contain any loop.
Howover, if you uncomment the ldstr/WriteLine at lines 50-51, the JIT produces
the right code and everything works as expected.


Reproducible: Always

Steps to Reproduce:
1.ilasm2 bug.il
2.mono bug.exe
3.ctrl-C to stop it :-)
Actual Results:  
the program doesn't end

Expected Results:  
the program should print 0

This is the broken mono version I got:
$ mono -V
Mono JIT compiler version 2.2 (tarball Thu Feb  5 11:12:49 CET 2009)
Copyright (C) 2002-2008 Novell, Inc and Contributors. www.mono-project.com
        TLS:           __thread
        GC:            Included Boehm (with typed GC)
        SIGSEGV:       altstack
        Notifications: epoll
        Architecture:  x86
        Disabled:      none

Tried on another machine, mono 1.2.2.1 works correctly.

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