[verifier] Implement verification of byref returns.

[mono.git] / mono / tests / checked.cs

diff --git a/mono/tests/checked.cs b/mono/tests/checked.cs
index 87c3f2ab23b98203c721087ce7fbef6bf7c6f722..f0ee56973232e2f5a04e76fced36357dd008a7a2 100644 (file)
--- a/mono/tests/checked.cs
+++ b/mono/tests/checked.cs
@@ -25,7 +25,7 @@ namespace test {
 \r
 \r
                        if (!exception)\r
-                               return -1;\r
+                               return 1;\r
 \r
                        exception = false;\r
 \r
@@ -37,12 +37,12 @@ namespace test {
                                        i = (int)a;\r
                                }\r
                        } catch (Exception) {\r
-                               return -2;\r
+                               return 2;\r
                        }\r
 \r
 \r
                        if (i != 100000)\r
-                               return -3;\r
+                               return 3;\r
                \r
                        exception = false;\r
 \r
@@ -78,7 +78,7 @@ namespace test {
 \r
 \r
                        if (!exception)\r
-                               return -4;\r
+                               return 4;\r
 \r
                        a  = 1e5f;\r
                        try {\r
@@ -88,11 +88,11 @@ namespace test {
                                }\r
                        } \r
                        catch (Exception) {\r
-                               return -5;\r
+                               return 5;\r
                        }\r
 \r
                        if (ui != 100000)\r
-                               return -6;\r
+                               return 6;\r
 \r
                        // Check mul.ovf\r
                        checked {\r
@@ -112,7 +112,7 @@ namespace test {
 \r
                                for (int j = 0; j < cases.Length; ++j)\r
                                        if (cases [j][0] * cases [j][1] != cases [j][2])\r
-                                               return -7 - j;\r
+                                               return 7 + j;\r
                        }\r
 \r
                        checked {\r
@@ -121,47 +121,47 @@ namespace test {
 \r
                                j = k = 0;\r
                                if (j * k != 0)\r
-                                       return -7;\r
+                                       return 20;\r
 \r
                                j = -5;\r
                                k = 0;\r
                                if (j * k != 0)\r
-                                       return -8;\r
+                                       return 21;\r
 \r
                                j = 0;\r
                                k = -5;\r
                                if (j * k != 0)\r
-                                       return -9;\r
+                                       return 22;\r
 \r
                                j = 3;\r
                                k = -5;\r
                                if (j * k != -15)\r
-                                       return -10;\r
+                                       return 23;\r
 \r
                                j = 3;\r
                                k = 5;\r
                                if (j * k != 15)\r
-                                       return -11;\r
+                                       return 24;\r
 \r
                                j = -3;\r
                                k = -5;\r
                                if (j * k != 15)\r
-                                       return -12;\r
+                                       return 25;\r
 \r
                                j = -3;\r
                                k = 5;\r
                                if (j * k != -15)\r
-                                       return -13;\r
+                                       return 26;\r
 \r
                                j = -1;\r
                                k = 32767;\r
                                if (j * k != -32767)\r
-                                       return -14;\r
+                                       return 27;\r
                                \r
                                j = 32767;\r
                                k = -1;\r
                                if (j * k != -32767)\r
-                                       return -15;\r
+                                       return 28;\r
                        }\r
 \r
                        checked {\r
@@ -180,7 +180,7 @@ namespace test {
 \r
                                for (int j = 0; j < cases.Length; ++j)\r
                                        if (cases [j][0] * cases [j][1] != cases [j][2])\r
-                                               return -15 - j;\r
+                                               return 29 + j;\r
                        }\r
                                \r
                        Console.WriteLine("test-ok");\r