[Mono-bugs] [Bug 78053][Wis] New - inflate_generic_type fails with an error because of incorrect range checking

[bugzilla-daemon at 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 tum at veridicus.com.

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

--- shadow/78053	2006-04-08 14:58:29.000000000 -0400
+++ shadow/78053.tmp.16595	2006-04-08 14:58:29.000000000 -0400
@@ -0,0 +1,41 @@
+Bug#: 78053
+Product: Mono: Runtime
+Version: 1.1
+OS: unknown
+OS Details: CRUX 2.1
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Wishlist
+Component: JIT
+AssignedTo: lupus at ximian.com                            
+ReportedBy: tum at veridicus.com               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: inflate_generic_type fails with an error because of incorrect range checking
+
+Compile the attached program.
+
+Class "C" is constructed fine and typeof(Dictionary<,>) works.
+  Note that class C is not a generic class
+
+Class "D" is constructed fine and typeof(Dictionary<,>) works.
+  Note that class D is a generic class with two generic parameters (the 
+same as Dictionary<,>)
+
+Class "E" fails to construct and causes the VM to crash with the 
+following error:
+** ERROR **: VAR 1 (TValue) cannot be expanded in this context with 1 
+instantiations
+
+  Note that class E is a generic class with only one generic parameters 
+(NOT the same as Dictionary<,>)
+
+
+
+The line where the error occurs is metadata/class.c line 488.  The check 
+against context->gclass->type_argc seems to be flawed as context->gclass 
+is not the class related to the generic parameter being inflated 
+(Dictionary<,>) but is actually the class "E".