In mcs:

	* flowanalysis.cs (UsageVector.MergeOrigins): If an origin is
	unreachable, skip it.
	(FlowBranchingException.Merge): Always propagate jumps, even if
	the finally block renders subsequent code unreachable.

In gmcs:
	* flowanalysis.cs (UsageVector.MergeOrigins): If an origin is
	unreachable, skip it.
	(FlowBranchingException.Merge): Always propagate jumps, even if
	the finally block renders subsequent code unreachable.

In tests:
	* test-519.cs: New test for compiler crash.

In errors:
	* cs0139-3.cs, cs0139-4.cs, cs0139-5.cs, cs0139-6.cs: New
	regression tests for 'break' and 'continue' inside a try block.

svn path=/trunk/mcs/; revision=60987

1 files changed, 23 insertions, 0 deletions

diff --git a/mcs/tests/test-519.cs b/mcs/tests/test-519.cs
new file mode 100644
index 00000000000..1c78dbebe60
--- /dev/null
+++ b/mcs/tests/test-519.cs
@@ -0,0 +1,23 @@
+class Foo {
+	static int Main ()
+	{
+		try {
+			f ();
+			return 1;
+		} catch {
+			return 0;
+		}
+	}
+	static void f ()
+	{
+		try {
+			goto skip;
+		} catch {
+			goto skip;
+		} finally {
+			throw new System.Exception ();
+		}
+	skip:
+		;
+	}
+}