In mcs:

	* flowanalysis.cs (FlowBranching.LookupLabel): Move CS0159 check ...
	(FlowBranchingToplevel.LookupLabel): ... here.  Add CS1632 check.
	(FlowBranchingGoto.LookupLabel): New.  Handle back jumps.
	(FlowBranchingBlock.LookupLabel): Call LabeledStatement.AddReference
	here, ...
	* statement.cs (Goto.Resolve): ... not here.
	(Goto.Emit): Remove CS1632 check.

In gmcs:
	* flowanalysis.cs (FlowBranching.LookupLabel): Move CS0159 check ...
	(FlowBranchingToplevel.LookupLabel): ... here.  Add CS1632 check.
	(FlowBranchingGoto.LookupLabel): New.  Handle back jumps.
	(FlowBranchingBlock.LookupLabel): Call LabeledStatement.AddReference
	here, ...
	* statement.cs (Goto.Resolve): ... not here.
	(Goto.Emit): Remove CS1632 check.

In tests:
	* test-511.cs, test-512.cs: New tests from #76632.

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

1 files changed, 21 insertions, 0 deletions

diff --git a/mcs/tests/test-512.cs b/mcs/tests/test-512.cs
new file mode 100644
index 00000000000..a49036fd2ec
--- /dev/null
+++ b/mcs/tests/test-512.cs
@@ -0,0 +1,21 @@
+using System;
+
+public class Foo {
+	public static void Main (string[] args)
+	{
+		try {
+			f ();
+		}
+		catch {}
+	}
+
+	static void f ()
+	{
+		throw new Exception ();
+		string hi = "";
+		try { }
+		finally {
+			Console.WriteLine ("hi = {0}", hi);
+		}
+	}
+}