add a fail test for Issue499

Author: bluewingHuang

test/FastExpressionCompiler.IssueTests/Issue499_InvalidProgramException_for_Sorting_and_comparison_function.cs

@@ -1,4 +1,5 @@
 using System;
+using System.Collections.Generic;
 
 #if LIGHT_EXPRESSION
 using FastExpressionCompiler.LightExpression.ImTools;
@@ -16,6 +17,7 @@ public void Run(TestRun t)
     {
         Quicksort_partition_with_nested_loops(t);
         Comparison_function_with_goto_labels(t);
+        ArrayInList_ArrayAcceesError(t);
     }
 
     // Reproduces the sorting use-case from https://github.com/dadhi/FastExpressionCompiler/issues/499
@@ -152,4 +154,44 @@ public void Comparison_function_with_goto_labels(TestContext t)
         t.AreEqual(-1, ff(3, 1));
         t.AreEqual(1, ff(1, 3));
     }
+
+    /// <summary>
+    /// ff raise System.InvalidProgramException: Common Language Runtime detected an invalid program.
+    /// </summary>
+    /// <param name="t"></param>
+    public void ArrayInList_ArrayAcceesError(TestContext t)
+    {
+        List<Expression> exps = new List<Expression>();
+        var dataArrayList = Parameter(typeof(List<int?[]>), "dataArrayList");
+        List<ParameterExpression> vars = new List<ParameterExpression>();
+        var left_ListIndex = Parameter(typeof(int), "left_ListIndex");
+        var left_ArrayIndex = Parameter(typeof(int), "left_ArrayIndex");
+
+        vars.AddRange(new ParameterExpression[] { left_ListIndex, left_ArrayIndex });
+        var leftVars = new ParameterExpression[1];
+        leftVars[0] = Parameter(typeof(int?), $"left_{0}");
+        vars.Add(leftVars[0]);
+        exps.Add(Assign(left_ListIndex, Constant(0)));
+        exps.Add(Assign(left_ArrayIndex, Constant(0)));
+        exps.Add(Assign(leftVars[0], ArrayAccess(Expression.Property(dataArrayList, "Item", left_ListIndex), left_ArrayIndex)));
+
+        BlockExpression block = Block(
+            vars.ToArray(), exps
+        );
+        var expr = Lambda<Action<List<int?[]>>>(block, dataArrayList);
+        expr.PrintCSharp();
+
+        List<int?[]> data1 = new List<int?[]> { new int?[] { 1 } };
+        List<int?[]> data2 = new List<int?[]> { new int?[] { 1 } };
+
+
+        var fs = expr.CompileSys();
+        fs.PrintIL();
+        fs(data1);
+
+        var ff = expr.CompileFast(ifFastFailedReturnNull: true);
+        t.IsNotNull(ff);
+        ff.PrintIL();
+        ff(data2);
+    }
 }