[Mono-bugs] [Bug 63842][Maj] Changed - mcs sometimes generates incorrect IL-code using declarations after goto

bugzilla-daemon@bugzilla.ximian.com bugzilla-daemon@bugzilla.ximian.com
Thu, 16 Sep 2004 00:27:25 -0400 (EDT)


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 ravi@ximian.com.

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

--- shadow/63842	2004-09-06 20:46:27.000000000 -0400
+++ shadow/63842.tmp.27889	2004-09-16 00:27:25.000000000 -0400
@@ -39,6 +39,16 @@
 Expected Results:
 end
 
 ------- Additional Comments From ravi@ximian.com  2004-09-06 20:46 -------
 Assigning to myself. Looks like MCS is completely miscompiling simple
 goto statements.
+
+------- Additional Comments From ravi@ximian.com  2004-09-16 00:27 -------
+The problem here is that the declaration after the goto is creating an
+implicit block. The flow analysis code then goes on to label this
+block as unreachable, which is why code inside the implicit block (the
+declaration and the goto label and the Console.WriteLine) is never
+emitted.
+
+I am working on this - I need to talk to Martin about implicit blocks
+and why they are used.