[Mono-bugs] [Bug 48393][Nor] Changed - Control flow analysis through gotos wrongly detect unassigned variables

[bugzilla-daemon@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 martin@ximian.com.

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

--- 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 @@
 Bug#: 48393
 Product: Mono/Compilers
 Version: unspecified
 OS: Mandrake 9.1
 OS Details: Mandrake cooker
-Status: NEW   
-Resolution: 
+Status: RESOLVED   
+Resolution: WONTFIX
 Severity: Unknown
 Priority: Normal
 Component: C#
 AssignedTo: martin@ximian.com                            
 ReportedBy: alan.schmitt@polytechnique.org               
 QAContact: mono-bugs@ximian.com
@@ -63,6 +63,17 @@
 All the time.
 
 Additional Information:
 mcs from mono-0.26-1mdk
 
 The same code compiles (with warnings) using csc and cscc (pnet).
+
+------- Additional Comments From martin@ximian.com  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 
+ever happen.