[mcs] Reachability and flow analysis rewrite to work on resolved statements and expressions

1 files changed, 22 insertions, 1 deletions

diff --git a/mcs/tests/test-519.cs b/mcs/tests/test-519.cs
index 35ca796e054..8b8bd6bf2e8 100644
--- a/mcs/tests/test-519.cs
+++ b/mcs/tests/test-519.cs
@@ -1,3 +1,5 @@
+using System;
+
 class Foo {
 	public static int Main ()
 	{
@@ -5,9 +7,17 @@ class Foo {
 			f ();
 			return 1;
 		} catch {
-			return 0;
 		}
+
+		try {
+			f2 ();
+			return 2;
+		} catch (ApplicationException) {
+		}
+
+		return 0;
 	}
+
 	static void f ()
 	{
 		try {
@@ -20,4 +30,15 @@ class Foo {
 	skip:
 		;
 	}
+
+	static void f2 ()
+	{
+		try {
+			goto FinallyExit;
+		} finally {
+			throw new ApplicationException ();
+		}
+	FinallyExit:
+		Console.WriteLine ("Too late");
+	}
 }