[Mono-bugs] [Bug 75042][Nor] Changed - Struct ctor does not 0 init return value

[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 nazgul at omega.pl.

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

--- shadow/75042	2005-05-25 14:10:37.000000000 -0400
+++ shadow/75042.tmp.29238	2005-05-25 14:22:48.000000000 -0400
@@ -108,6 +108,20 @@
         IL_0002:  initobj X
 
 Interestingly, the IL encoding used by nemerle is actually shorter
 than the one mcs uses. Am suprised that this is the case. Today, the
 initobj version is probably much faster speed-wise (it is inlined...)
 however.
+
+------- Additional Comments From nazgul at omega.pl  2005-05-25 14:22 -------
+I guess you refer to our
+   newobj instance void valuetype thistest/xxx::.ctor()
+
+but this is just a consequence of declaring explicit parameterless
+ctor in struct (which is forbidden in C#). Without this ctor we emit
+the same 
+IL.
+
+We will discuss the issue of definite assignment and parameterless
+ctor (that is I'm not sure we would like to follow C#'s design). So,
+IMHO this is a runtime bug, especially that code verifies fine. If
+there is something in CLR spec, which forbids such code, please tell me.