[Mono-bugs] [Bug 53148][Nor] New - Explicit method override in parent class assert

[bugzilla-daemon@bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by lupus@ximian.com.

http://bugzilla.ximian.com/show_bug.cgi?id=53148

--- shadow/53148	2004-01-20 16:31:05.000000000 -0500
+++ shadow/53148.tmp.25324	2004-01-20 16:31:05.000000000 -0500
@@ -0,0 +1,116 @@
+Bug#: 53148
+Product: Mono/Runtime
+Version: unspecified
+OS: other
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Normal
+Component: misc
+AssignedTo: mono-bugs@ximian.com                            
+ReportedBy: lupus@ximian.com               
+QAContact: mono-bugs@ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: Explicit method override in parent class assert
+
+Mono asserts on the following program (mono ilasm miscompiles it).
+no implementation for interface method .I::meth() in class .C2
+METHOD .ctor()
+METHOD Main()
+
+** ERROR **: file class.c: line 966 (mono_class_setup_vtable): should not
+be reached
+aborting...
+
+Sample following:
+.assembly extern mscorlib
+{
+  .ver 1:0:3300:0
+}
+.assembly 'test-iface-override2'
+{
+  .hash algorithm 0x00008004
+  .ver  0:0:0:0
+}
+.module 'test-iface-override2.exe' // GUID =
+{71F7213A-C499-46F6-B12C-19576947E341}
+
+
+  .class interface private auto ansi abstract 'I'
+  {
+
+    // method line 1
+    .method public virtual  hidebysig  newslot  abstract 
+           instance default void 'meth' ()  cil managed 
+    {
+        // Method begins at RVA 0x0
+    } // end of method I::instance default void 'meth' () 
+
+  } // end of type I
+
+  .class private auto ansi beforefieldinit 'C1'
+  	extends [mscorlib]System.Object
+  	implements I  {
+
+    // method line 2
+    .method public hidebysig  specialname  rtspecialname 
+           instance default void .ctor ()  cil managed 
+    {
+        // Method begins at RVA 0x20ec
+	// Code size 7 (0x7)
+	.maxstack 8
+	IL_0000:  ldarg.0 
+	IL_0001:  call instance void valuetype [mscorlib]'System.Object'::.ctor()
+	IL_0006:  ret 
+    } // end of method C1::instance default void .ctor () 
+
+    // method line 3
+    .method public virtual  hidebysig  newslot 
+           instance default void 'meth_diff_name' ()  cil managed 
+    {
+        // Method begins at RVA 0x20f4
+	// Code size 1 (0x1)
+	.override I::meth
+	.maxstack 8
+	IL_0000:  ret 
+    } // end of method C1::instance default void 'meth' () 
+
+  } // end of type C1
+
+  .class private auto ansi beforefieldinit 'C2'
+  	extends C1
+  	implements I  {
+
+    // method line 4
+    .method public hidebysig  specialname  rtspecialname 
+           instance default void .ctor ()  cil managed 
+    {
+        // Method begins at RVA 0x20f6
+	// Code size 7 (0x7)
+	.maxstack 8
+	IL_0000:  ldarg.0 
+	IL_0001:  call instance void class 'C1'::.ctor()
+	IL_0006:  ret 
+    } // end of method C2::instance default void .ctor () 
+
+    // method line 5
+    .method private static 
+           default void 'Main' ()  cil managed 
+    {
+        // Method begins at RVA 0x20fe
+	.entrypoint
+	// Code size 13 (0xd)
+	.maxstack 2
+	.locals init (
+		class 'C2'	V_0)
+	IL_0000:  newobj instance void class 'C2'::.ctor()
+	IL_0005:  stloc.0 
+	IL_0006:  ldloc.0 
+	IL_0007:  callvirt instance void class 'I'::'meth'()
+	IL_000c:  ret 
+    } // end of method C2::default void 'Main' () 
+
+  } // end of type C2