C#: Add switch example.

michaelnebel · michaelnebel · commit d54406d5990d · 2022-09-29T11:35:35.000+02:00
diff --git a/csharp/ql/test/library-tests/dataflow/global/GlobalDataFlow.cs b/csharp/ql/test/library-tests/dataflow/global/GlobalDataFlow.cs
@@ -530,6 +530,22 @@ public void M8(SimpleClass x)
         Check(x.field);
         Check(y.field);
     }
+
+    public void M9(string choice)
+    {
+        var x = new SimpleClass();
+        var y = new SimpleClass();
+        var z = new SimpleClass();
+        TaintField(choice switch
+        {
+            "x" => x,
+            "y" => y,
+            _ => z
+        });
+        Check(x.field);
+        Check(y.field);
+        Check(z.field);
+    }
 }
 
 static class IEnumerableExtensions
