[nem-bug] [Nemerle 0000603]: callvirt is emitted when call is sufficient

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=603> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   603
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     confirmed
======================================================================
Date Submitted:             01-26-2006 21:34 CET
Last Modified:              02-11-2006 11:19 CET
======================================================================
Summary:                    callvirt is emitted when call is sufficient
Description: 
#pragma indent

using System

class A
  public foo () : void 
    ()
    
A().foo ()


produces:
...
    IL_0000:  newobj     instance void A::.ctor()
    IL_0005:  callvirt   instance void A::foo()
    IL_000a:  ret
...

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

----------------------------------------------------------------------
 nazgul - 02-11-06 11:19 
----------------------------------------------------------------------
This patch seems to fix the basic behaviour, but it causes strange
regressions in frommcs testcases, like:

[IL]: Error: [C:\cygwin\home\nazgul\nemerle\ncc\testsuite\test-147.exe :
Test::Main][offset 0x00000037] The 'this' parameter to the call must be
the calling method's 'this' parameter.
1 Error Verifying ../test-147.exe


My guess is that it is unrelated to callvirt, which must have just hidden
the real bug...

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-26-06 21:34 nazgul         New Issue                                    
02-11-06 11:18 nazgul         Status                   new => confirmed    
02-11-06 11:18 nazgul         Description Updated                          
02-11-06 11:18 nazgul         Additional Information Updated                    
02-11-06 11:18 nazgul         File Added: nonvirt.patch                    
02-11-06 11:19 nazgul         Note Added: 0001077                          
======================================================================