2008-04-28 Mark Probst <mark.probst@gmail.com>

* generic-sharing.c: Search for type arguments in array element types as well. 2008-04-28 Mark Probst <mark.probst@gmail.com> * generic-array-type.2.cs: Test case for type arguments in arrays. * Makefile.am: Added test. svn path=/trunk/mono/; revision=102047
mono · Apr 28, 2008 · 1e72fad · 1e72fad
1 parent 572fcc5
commit 1e72fad
Show file tree

Hide file tree

Showing 5 changed files with 52 additions and 15 deletions.
diff --git a/mono/metadata/ChangeLog b/mono/metadata/ChangeLog
@@ -1,3 +1,8 @@
+2008-04-28  Mark Probst  <mark.probst@gmail.com>
+
+	* generic-sharing.c: Search for type arguments in array element
+	types as well.
+
 2008-04-28  Mark Probst  <mark.probst@gmail.com>
 
 	* class-internals.h, generic-sharing.c: New, small runtime generic context.

diff --git a/mono/metadata/generic-sharing.c b/mono/metadata/generic-sharing.c
@@ -24,25 +24,32 @@
 static int
 type_check_context_used (MonoType *type, gboolean recursive)
 {
-	int t = mono_type_get_type (type);
+	switch (mono_type_get_type (type)) {
-	int context_used = 0;
+	case MONO_TYPE_VAR:
-
+		return MONO_GENERIC_CONTEXT_USED_CLASS;
-	if (t == MONO_TYPE_VAR)
+	case MONO_TYPE_MVAR:
-		context_used |= MONO_GENERIC_CONTEXT_USED_CLASS;
+		return MONO_GENERIC_CONTEXT_USED_METHOD;
-	else if (t == MONO_TYPE_MVAR)
+	case MONO_TYPE_SZARRAY:
-		context_used |= MONO_GENERIC_CONTEXT_USED_METHOD;
+		return mono_class_check_context_used (mono_type_get_class (type));
-	else if (recursive) {
+	case MONO_TYPE_ARRAY:
-		if (t == MONO_TYPE_CLASS)
+		return mono_class_check_context_used (mono_type_get_array_type (type)->eklass);
-			context_used |= mono_class_check_context_used (mono_type_get_class (type));
+	case MONO_TYPE_CLASS:
-		else if (t == MONO_TYPE_GENERICINST) {
+		if (recursive)
+			return mono_class_check_context_used (mono_type_get_class (type));
+		else
+			return 0;
+	case MONO_TYPE_GENERICINST:
+		if (recursive) {
 			MonoGenericClass *gclass = type->data.generic_class;
 
-			context_used |= mono_generic_context_check_used (&gclass->context);
 			g_assert (gclass->container_class->generic_container);
+			return mono_generic_context_check_used (&gclass->context);
+		} else {
+			return 0;
 		}
+	default:
+		return 0;
 	}
-
-	return context_used;
 }
 
 static int

diff --git a/mono/tests/ChangeLog b/mono/tests/ChangeLog
@@ -1,3 +1,9 @@
+2008-04-28  Mark Probst  <mark.probst@gmail.com>
+
+	* generic-array-type.2.cs: Test case for type arguments in arrays.
+
+	* Makefile.am: Added test.
+
 2008-04-25  Mark Probst  <mark.probst@gmail.com>
 
 	* generic-interface-methods.2.cs: Test case for generic interface

diff --git a/mono/tests/Makefile.am b/mono/tests/Makefile.am
@@ -261,6 +261,7 @@ BASE_TEST_CS_SRC=		\
 	generic-sizeof.2.cs	\
 	generic-virtual.2.cs	\
 	generic-interface-methods.2.cs	\
+	generic-array-type.2.cs	\
 	recursive-generics.2.cs	\
 	bug-80392.2.cs		\
 	dynamic-method-access.2.cs	\
@@ -673,7 +674,7 @@ test-generic-sharing : generics-sharing.2.exe shared-generic-methods.2.exe	\
 		generic-ldtoken.2.exe			\
 		generic-ldtoken-method.2.exe  generic-ldtoken-field.2.exe	\
 		generic-virtual.2.exe generic-tailcall.2.exe			\
-		generic-interface-methods.2.exe
+		generic-interface-methods.2.exe generic-array-type.2.exe
 	$(RUNTIME) -O=gshared,-inline        generics-sharing.2.exe
 	$(RUNTIME) -O=gshared,-inline        shared-generic-methods.2.exe
 	$(RUNTIME) -O=gshared,-inline        shared-generic-synchronized.2.exe
@@ -691,6 +692,7 @@ test-generic-sharing : generics-sharing.2.exe shared-generic-methods.2.exe	\
 	$(RUNTIME) -O=gshared,-inline        generic-virtual.2.exe
 	$(RUNTIME) -O=gshared,-inline        generic-tailcall.2.exe
 	$(RUNTIME) -O=gshared,-inline        generic-interface-methods.2.exe
+	$(RUNTIME) -O=gshared,-inline        generic-array-type.2.exe
 
 EXTRA_DIST += async-exceptions.cs
 async-exceptions.exe : async-exceptions.cs

diff --git a/mono/tests/generic-array-type.2.cs b/mono/tests/generic-array-type.2.cs
@@ -0,0 +1,17 @@
+using System;
+
+public class Gen<T> {
+	public Type arrayType () {
+		return typeof (T []);
+	}
+}
+
+public class main {
+	public static int Main () {
+		Gen<string> gs = new Gen<string> ();
+
+		if (gs.arrayType () != typeof (string []))
+			return 1;
+		return 0;
+	}
+}