[Mono-bugs] [Bug 30338][Nor] New - (mono_cfg_new): assertion failed: (((MonoMethodNormal *)method)->header)

bugzilla-daemon@rocky.ximian.com bugzilla-daemon@rocky.ximian.com
14 Sep 2002 15:52:16 -0000


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 martin@gnome.org.

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

--- shadow/30338	Sat Sep 14 11:52:16 2002
+++ shadow/30338.tmp.26478	Sat Sep 14 11:52:16 2002
@@ -0,0 +1,69 @@
+Bug#: 30338
+Product: Mono/Runtime
+Version: unspecified
+OS: 
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Normal
+Component: misc
+AssignedTo: mono-bugs@ximian.com                            
+ReportedBy: martin@gnome.org               
+QAContact: mono-bugs@ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: (mono_cfg_new): assertion failed: (((MonoMethodNormal *)method)->header)
+
+The following is miscompiled by MCS (related to the multi-interface inheritance), so you need to compile it with CSC.
+
+Running the csc compiled executable of this example throws a 
+** ERROR **: file jit.c: line 3657 (mono_cfg_new): assertion failed: (((MonoMethodNormal *)method)->header)
+
+=====
+using System;
+
+public interface I
+{
+	long Foo {
+		get;
+	}
+}
+
+public interface J : I
+{
+	void Hello ();
+}
+
+public abstract class X : I
+{
+	public abstract long Foo {
+		get;
+	}
+
+	public virtual long Test ()
+	{
+		return Foo;
+	}
+}
+
+public class Y : X, J
+{
+	public override long Foo {
+		get { return 8; }
+	}
+
+	public void Hello ()
+	{ }
+}
+
+class Z
+{
+	static void Main ()
+	{
+		Y y = new Y ();
+		Console.WriteLine (y.Test ());
+	}
+}
+====