[nem-bug] [Nemerle 0000621]: SomeFunction(throw Exception()) produces invalid IL

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=621> 
======================================================================
Reported By:                steffen
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   621
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-15-2006 20:21 CET
Last Modified:              05-22-2006 18:06 CEST
======================================================================
Summary:                    SomeFunction(throw Exception()) produces invalid IL
Description: 
When compiling the following code ncc produces invalid IL.

module A {
    public F(_:object):void {}
}
A.F(throw System.Exception())


When executing the generated assembly, mono prints:


** ERROR **: Invalid IL code at IL0006 in _N_AutoModule:Main (): IL_0006:
call     0x06000001


aborting...
Abgebrochen



The monodis output for the Main() method is

IL_0000:  newobj instance void class [mscorlib]System.Exception::.ctor()  
     IL_0005:  throw
IL_0006:  call void class A::F(object)

The problem is that the call is emitted even though the code cannot be
reached. (And therefore the JIT doesn't know what objects are on the
stack.)

======================================================================

----------------------------------------------------------------------
 nazgul - 02-19-06 12:50 
----------------------------------------------------------------------
Fixed on trunk (r6131)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-15-06 20:21 steffen        New Issue                                    
02-19-06 12:50 nazgul         Status                   new => resolved     
02-19-06 12:50 nazgul         Resolution               open => fixed       
02-19-06 12:50 nazgul         Assigned To               => nazgul          
02-19-06 12:50 nazgul         Note Added: 0001091                          
02-19-06 12:50 nazgul         Description Updated                          
02-19-06 12:50 nazgul         Additional Information Updated                    
05-22-06 18:06 nazgul         Status                   resolved => closed  
======================================================================