[Mono-bugs] [Bug 81643][Min] Changed - [GMCS] gmcs generates invalid il for null a : class constraint

[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 rharinath at novell.com.

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

--- shadow/81643	2007-05-16 15:48:43.000000000 -0400
+++ shadow/81643.tmp.12445	2007-05-18 06:07:55.000000000 -0400
@@ -1,14 +1,14 @@
 Bug#: 81643
 Product: Mono: Compilers
 Version: unspecified
-OS: 
+OS: unknown
 OS Details: 
 Status: NEW   
 Resolution: 
-Severity: 
+Severity: Unknown
 Priority: Minor
 Component: C#
 AssignedTo: rharinath at novell.com                            
 ReportedBy: vargaz at gmail.com               
 QAContact: mono-bugs at ximian.com
 TargetMilestone: ---
@@ -32,6 +32,14 @@
 	}
 }
 =======================================================================
 
 csc generates an initobj !!ServiceType, while gmcs generates an ldnull, and
 PEVerify flags this as invalid IL.
+
+------- Additional Comments From rharinath at novell.com  2007-05-18 06:07 -------
+Hmm.  That's strange.  The 'ldnull' verifiability rule says:
+
+The ldnull instruction is always verifiable, and produces a value that
+verification considers compatible with any other reference type.
+
+Does that mean that verification doesn't take constraints into account?