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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=621> 
======================================================================
Reported By:                steffen
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   621
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-15-2006 20:21 CET
Last Modified:              02-15-2006 20:21 CET
======================================================================
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.)

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-15-06 20:21 steffen        New Issue                                    
======================================================================