1 files changed, 42 insertions, 0 deletions
diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_280123/DevDiv_280123.cs b/tests/src/JIT/Regression/JitBlue/DevDiv_280123/DevDiv_280123.cs
new file mode 100644
index 0000000000..01e55ed580
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_280123/DevDiv_280123.cs
@@ -0,0 +1,42 @@
+// 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.
+
+using System.Runtime.CompilerServices;
+
+// This test ensures that the value number store (and its users) behave properly in the event that VN data is requested
+// for trees without value numbers. The original repro was a rather large method with a significant amount of dead code
+// due to the pattern exhibited in C.N: an entry block that was not transformed from a conditional return to an
+// unconditional return followed by dead code that must be kept due to the presence of EH. Value numbering does not
+// assign value numbers to the dead code, but assertion prop still runs over the dead code and attempts to use VN info,
+// which resulted in a number of asserts.
+
+static class C
+{
+    [MethodImpl(MethodImplOptions.NoInlining)]
+    static int N(ref int i)
+    {
+        bool b = true;
+        if (b)
+        {
+            return 100;
+        }
+
+        try
+        {
+            b = i != 1;
+        }
+        finally
+        {
+            b = i != 0;
+        }
+
+        return b ? 0 : 1;
+    }
+
+    static int Main(string[] args)
+    {
+        int i = args.Length;
+        return N(ref i);
+    }
+}