Imported Upstream version 1.0.0.9127upstream/1.0.0.9127

1 files changed, 39 insertions, 0 deletions

diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_284785/DevDiv_284785.cs b/tests/src/JIT/Regression/JitBlue/DevDiv_284785/DevDiv_284785.cs
new file mode 100644
index 0000000000..944993f038
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_284785/DevDiv_284785.cs
@@ -0,0 +1,39 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+// See the LICENSE file in the project root for more information.
+
+// This test exercises expression folding in the place of overflowing operations. The original failure was SBCG due to
+// an incorrect application of the same: in the program below, the checked int -> ulong cast on line 24 was folded to a
+// long -> ulong cast with an incorrect constant value that fit in a ulong, resulting in no overflow exception being
+// thrown.
+
+using System;
+
+static class C
+{
+    static int Main()
+    {
+        int i = -4;
+        ulong l = 0;
+
+        int rv = 0;
+        try
+        {
+            checked
+            {
+                l = (ulong)i;
+            }
+        }
+        catch (OverflowException)
+        {
+            rv = 100;
+        }
+        catch (Exception)
+        {
+            i = 0;
+            l = 0;
+        }
+
+        return rv;
+    }
+}