Imported Upstream version 1.1.0upstream/1.1.0

1 files changed, 49 insertions, 0 deletions

diff --git a/tests/src/JIT/opt/AssertionPropagation/NullCheckAssertion5.cs b/tests/src/JIT/opt/AssertionPropagation/NullCheckAssertion5.cs
new file mode 100644
index 0000000000..f52022f256
--- /dev/null
+++ b/tests/src/JIT/opt/AssertionPropagation/NullCheckAssertion5.cs
@@ -0,0 +1,49 @@
+// 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.
+
+//Unit test for null check assertion.
+
+using System;
+
+internal class Sample7
+{
+    [System.Runtime.CompilerServices.MethodImplAttribute(System.Runtime.CompilerServices.MethodImplOptions.NoInlining)]
+    private static int func(int[] a1)
+    {
+        int h;
+
+        h = a1.Length;
+
+        if (a1 == null)
+        {
+            throw new Exception();
+        }
+
+        return h;
+    }
+
+    private static int Main(string[] args)
+    {
+        try
+        {
+            int h = func(new int[3]);
+            if (h == 3)
+            {
+                Console.WriteLine("Passed");
+                return 100;
+            }
+            else
+            {
+                Console.WriteLine(h);
+                Console.WriteLine("Failed");
+                return 101;
+            }
+        }
+        catch (Exception e)
+        {
+            Console.WriteLine(e.Message);
+            return 666;
+        }
+    }
+}