[Mono-bugs] [Bug 59427][Wis] Changed - Reachability of try with finally

[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 bmaurer@users.sf.net.

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

--- shadow/59427	2004-06-07 01:26:41.000000000 -0400
+++ shadow/59427.tmp.11812	2004-06-07 07:38:03.000000000 -0400
@@ -1,12 +1,12 @@
 Bug#: 59427
 Product: Mono: Compilers
 Version: unspecified
 OS: unknown
 OS Details: 
-Status: NEEDINFO   
+Status: REOPENED   
 Resolution: 
 Severity: Unknown
 Priority: Wishlist
 Component: C#
 AssignedTo: mono-bugs@ximian.com                            
 ReportedBy: bmaurer@users.sf.net               
@@ -41,6 +41,21 @@
 From 15.10 The try statement
 
 ------- Additional Comments From miguel@ximian.com  2004-06-07 01:26 -------
 But in your sample, the end of finally will not be reachable.
 
 When does this happen, and why do we need to fix this?
+
+------- Additional Comments From bmaurer@users.sf.net  2004-06-07 07:38 -------
+Miguel,
+
+"But in your sample, the end of finally will not be reachable."
+
+*exactly*
+
+"It is a compile-time error for the end point of the block of a
+function member that computes a value to be reachable. If this error
+occurs, it typically is an indication that a return statement is
+missing." -- 15.1
+
+Since the end of the `finally' block is not reachable, the end of the
+method is not reachable, so it does not violate this rule.