Imported Upstream version 1.1.0upstream/1.1.0

1 files changed, 41 insertions, 0 deletions

diff --git a/tests/src/JIT/RyuJIT/DoWhileBndChk.cs b/tests/src/JIT/RyuJIT/DoWhileBndChk.cs
new file mode 100644
index 0000000000..5a5c921b5b
--- /dev/null
+++ b/tests/src/JIT/RyuJIT/DoWhileBndChk.cs
@@ -0,0 +1,41 @@
+// 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.
+//
+// Ensure bounds checks aren't elided for this do-while loop.
+//
+// Reference: TF Bug 150041
+
+using System;
+using System.Runtime.ExceptionServices;
+
+public class Program
+{
+    [HandleProcessCorruptedStateExceptions]
+    public static int Main()
+    {
+        int ret = 99;
+
+        try
+        {
+            int[] a = new int[0];
+            int i = 0x1FFFFFFF;
+            do
+            {
+                a[i] = 0;
+                ++i;
+            }
+            while (i < a.Length);
+        }
+        catch (Exception e)
+        {
+            if (e is IndexOutOfRangeException)
+            {
+                ret = 100;
+            }
+        }
+
+        return ret;
+    }
+}
+