New test.

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

1 files changed, 55 insertions, 0 deletions

diff --git a/mcs/tests/test-643.cs b/mcs/tests/test-643.cs
new file mode 100644
index 00000000000..b8f6f16cf10
--- /dev/null
+++ b/mcs/tests/test-643.cs
@@ -0,0 +1,55 @@
+// Compiler options: -unsafe
+
+using System;
+
+class PointerArithmeticTest
+{
+	unsafe static int Main()
+	{
+		try {
+			return CheckAdd((byte*)(-1), -1);
+		} catch (System.OverflowException) {}
+		
+		try {
+			return CheckSub((short*)(-1), int.MaxValue);
+		} catch (System.OverflowException) {}
+		
+		CheckSub2((short*)(-1), int.MaxValue);
+			
+		if ((long)Conversions (long.MaxValue) != uint.MaxValue)
+			return 5;
+		
+		Console.WriteLine ("OK");
+		return 0;
+	}
+	
+	unsafe static int* Conversions (long b)
+	{
+		return (int*)b;
+	}
+	
+	unsafe static int CheckAdd(byte* ptr, int offset)
+	{
+		if (checked(ptr + offset < ptr))
+			return 1;
+		
+		return 101;
+	}
+	
+	unsafe static int CheckSub(short* ptr, int offset)
+	{
+		if (checked(ptr - offset < ptr))
+			return 2;
+
+		return 102;
+	}
+
+	unsafe static int CheckSub2(short* ptr, int offset)
+	{
+		short* b = ptr + offset;
+		if (checked(ptr - b < 0))
+			return 3;
+
+		return 0;
+	}
+}