C#: add test case

2026-04-28 02:05:14 +02:00 · 2022-12-09 17:25:11 -05:00
parent 446ac75c87
commit 22f8d97f31
1 changed files with 12 additions and 1 deletions
--- a/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs
+++ b/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs
@@ -131,4 +131,15 @@ public class CollectionFlow
    {
        return a;
    }
-}
+}
+
+// A neutral model should not be created for a parameterless constructor.
+public class ParameterlessConstructor
+{
+    public bool IsInitialized;
+
+    public ParameterlessConstructor()
+    {
+        IsInitialized = true;
+    }
+}