[Mono-bugs] [Bug 76632][Nor] Changed - exception/finally problem.

[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=76632

--- shadow/76632	2006-05-03 06:11:57.000000000 -0400
+++ shadow/76632.tmp.15333	2006-05-16 07:36:46.000000000 -0400
@@ -1,13 +1,13 @@
 Bug#: 76632
 Product: Mono: Compilers
 Version: 1.1
 OS: unknown
 OS Details: 
-Status: NEW   
-Resolution: 
+Status: RESOLVED   
+Resolution: FIXED
 Severity: Unknown
 Priority: Normal
 Component: C#
 AssignedTo: rharinath at novell.com                            
 ReportedBy: toshok at ximian.com               
 QAContact: mono-bugs at ximian.com
@@ -76,6 +76,23 @@
 
 ------- Additional Comments From informatique.internet at fiducial.fr  2006-03-09 06:27 -------
 The second test don't compile, you can verify it!
 
 ------- Additional Comments From rharinath at novell.com  2006-05-03 06:11 -------
 Stealing this bug.
+
+------- Additional Comments From rharinath at novell.com  2006-05-16 07:36 -------
+This has been fixed in SVN.  It appears to be fixed with the following
+set of changes -- since the new invariants would make a difference in
+the two testcases.
+
+2006-05-10  Raja R Harinath  <rharinath at novell.com>
+
+	* flowanalysis.cs (UsageVector.MergeOrigins): Simplify, now that a
+	null bitvector is treated as all-true.
+
+	* flowanalysis.cs (MyBitVector.And, MyBitVector.Or): Make lazier.
+	(MyBitVector): Rationalize invariants.  'vector != null' implies
+	that we have our own copy of the bitvector.  Otherwise,
+	'InheritsFrom == null' implies all inherited bits are true.
+
+Added the testcases tests/test-511.cs and tests/test-512.cs.