C#: Add some test cases for primary constructor inititalizers and a failing dataflow test.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected

@@ -1,4 +1,5 @@
 testFailures
+| Constructors.cs:113:25:113:43 | // ... | Missing result:hasValueFlow=6 |
 edges
 | Constructors.cs:5:24:5:25 | [post] this access : C_no_ctor [field s1] : Object | Constructors.cs:9:27:9:41 | object creation of type C_no_ctor : C_no_ctor [field s1] : Object | provenance |  |
 | Constructors.cs:5:29:5:45 | call to method Source<Object> : Object | Constructors.cs:5:24:5:25 | [post] this access : C_no_ctor [field s1] : Object | provenance |  |

csharp/ql/test/library-tests/dataflow/constructors/Constructors.cs

@@ -101,6 +101,18 @@ public void M4()
         Sink(c2.Obj22); // $ hasValueFlow=5
     }
 
+    public class C3(object o31param)
+    {
+        public object Obj31 => o31param;
+    }
+
+    public void M5()
+    {
+        var o31 = Source<object>(6);
+        var c3 = new C3(o31);
+        Sink(c3.Obj31); // $ hasValueFlow=6
+    }
+
     public static void Sink(object o) { }
 
     public static T Source<T>(object source) => throw null;

csharp/ql/test/library-tests/expressions/PrintAst.expected

@@ -2406,3 +2406,15 @@ expressions.cs:
 #  512|         0: [IntLiteral] 10
 #  515|     5: [Field] myInlineArrayElements
 #  515|       -1: [TypeMention] int
+#  518|   22: [Class] ClassC1
+#  518|     4: [InstanceConstructor,PrimaryConstructor] ClassC1
+#-----|       2: (Parameters)
+#  518|         0: [Parameter] oc1
+#  518|           -1: [TypeMention] object
+#  520|   23: [Class] ClassC2
+#-----|     3: (Base types)
+#  520|       0: [TypeMention] ClassC1
+#  520|     4: [InstanceConstructor,PrimaryConstructor] ClassC2
+#-----|       2: (Parameters)
+#  520|         0: [Parameter] oc2
+#  520|           -1: [TypeMention] object

csharp/ql/test/library-tests/expressions/expressions.cs

@@ -514,4 +514,8 @@ struct MyInlineArray
     {
         private int myInlineArrayElements;
     }
+
+    class ClassC1(object oc1) { }
+
+    class ClassC2(object oc2) : ClassC1(oc2) { }
 }