[Mono-bugs] [Bug 48393][Nor] Changed - Control flow analysis through gotos wrongly detect unassigned variables
Wed, 21 Jan 2004 14:12:01 -0500 (EST)
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 email@example.com.
--- shadow/48393 2004-01-13 15:16:41.000000000 -0500
+++ shadow/48393.tmp.5702 2004-01-21 14:12:01.000000000 -0500
@@ -1,13 +1,13 @@
OS: Mandrake 9.1
OS Details: Mandrake cooker
@@ -63,6 +63,17 @@
All the time.
mcs from mono-0.26-1mdk
The same code compiles (with warnings) using csc and cscc (pnet).
+------- Additional Comments From firstname.lastname@example.org 2004-01-21 14:12 -------
+This has nothing to do with flow analysis.
+The problem is an optimization which we are currently not doing in
+MCS: you're using switch on a constant - which means that the whole
+switch block is effectively just the 'case 0' block.
+From flow analysis's point of view, `x' is not definitely assigned at
+`L2' because it cannot know that 'case 0' is the only case which may