2006-06-15 Martin Baulig <martin@ximian.com>

	* statement.cs
	(SwitchLabel.ResolveAndReduce): Added `bool allow_nullable'
	argument; always allow a `null' label if true.
	(Switch.SwitchGoverningType): Take an `Expression expr' argument.
	(Switch.TableSwitchEmit, Switch.SimpleSwitchEmit): Check whether
	we have a `null' label and mark the new `null_target' label;
	default to the `default' label.
	(Switch.Resolve): Add support for nullable types.  Fixes #78630.


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

1 files changed, 27 insertions, 0 deletions

diff --git a/mcs/tests/gtest-270.cs b/mcs/tests/gtest-270.cs
new file mode 100644
index 00000000000..8b1093d2636
--- /dev/null
+++ b/mcs/tests/gtest-270.cs
@@ -0,0 +1,27 @@
+using System;
+
+class X
+{
+	static int Test (int? a)
+	{
+		switch (a) {
+		case 0:
+			return 0;
+		case 1:
+			return 1;
+
+		default:
+			return -1;
+		}
+	}
+
+	static int Main ()
+	{
+		if (Test (null) != -1)
+			return 1;
+		if (Test (0) != 0)
+			return 2;
+
+		return 0;
+	}
+}