[Mono-bugs] [Bug 37398][Wis] Changed - Out param checking is not always correct

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

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

--- shadow/37398	Wed Jan 29 18:50:53 2003
+++ shadow/37398.tmp.27598	Wed Jan 29 18:51:15 2003
@@ -1,14 +1,14 @@
 Bug#: 37398
 Product: Mono/MCS
 Version: unspecified
-OS: 
+OS: unknown
 OS Details: 
 Status: NEW   
 Resolution: 
-Severity: 
+Severity: Unknown
 Priority: Wishlist
 Component: Misc
 AssignedTo: mono-bugs@ximian.com                            
 ReportedBy: duncan@ximian.com               
 QAContact: mono-bugs@ximian.com
 TargetMilestone: ---
@@ -33,6 +33,28 @@
 With csc, there are no errors.
 
 ------- Additional Comments From duncan@ximian.com  2003-01-29 18:50 -------
 Created an attachment (id=3275)
 Smaller test case
 
+
+------- Additional Comments From duncan@ximian.com  2003-01-29 18:51 -------
+Looks like out param tracking is not accounted for inside try.. catch
+blocks. Here's a smaller testcase.
+
+Expected output (from csc):
+<Duncan Mak@FRICATIVE: ~/ > csc out.cs
+Microsoft (R) Visual C# .NET Compiler version 7.00.9466
+for Microsoft (R) .NET Framework version 1.0.3705
+Copyright (C) Microsoft Corporation 2001. All rights reserved.
+
+<Duncan Mak@FRICATIVE: ~/ > ./out
+a
+b
+
+Output from MCS:
+diphthong:~/tmp $ mcs out.cs
+out.cs(24) error CS0177: The out parameter `foo' must be assigned
+before control leave the current method.
+Compilation failed: 1 error(s), 0 warnings
+
+The code for the test case is attached.