From 22f8d97f31e4c68fa3cf95889bc105c15e9b68ee Mon Sep 17 00:00:00 2001 From: Jami Cogswell Date: Fri, 9 Dec 2022 17:25:11 -0500 Subject: [PATCH] C#: add test case --- .../utils/model-generator/dataflow/NoSummaries.cs | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs b/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs index 112857f504e..b2c21b57917 100644 --- 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; } -} \ No newline at end of file +} + +// A neutral model should not be created for a parameterless constructor. +public class ParameterlessConstructor +{ + public bool IsInitialized; + + public ParameterlessConstructor() + { + IsInitialized = true; + } +}