Add additional tests to delegate call data flow

tamasvajk · tamasvajk · commit 91152d3a65dc · 2021-01-29T12:02:11.000+01:00
diff --git a/csharp/ql/test/library-tests/dataflow/delegates/DelegateFlow.cs b/csharp/ql/test/library-tests/dataflow/delegates/DelegateFlow.cs
@@ -4,11 +4,11 @@ class DelegateFlow
 {
     void M1(int i) { }
 
-    void M2(Action<int> a)
+    static void M2(Action<int> a)
     {
         a(0);
         a = _ => { };
-        a(0);
+        a(1);
     }
 
     void M3()
@@ -108,4 +108,20 @@ public void M15()
     }
 
     public delegate void MyDelegate();
+
+    public unsafe void M16(delegate*<Action<int>, void> fnptr, Action<int> a)
+    {
+        fnptr(a);
+    }
+
+    public unsafe void M17()
+    {
+        M16(&M2, (i) => {});    // MISSING: a(0) in M2 is calling this lambda
+    }
+
+    public unsafe void M18()
+    {
+        delegate*<Action<int>, void> fnptr = &M2;
+        fnptr((i) => {});       // MISSING: a(0) in M2 is calling this lambda
+    }
 }
