C#: Add test that shows unintended flow summary generation

hvitved · hvitved · commit bac28b9fc4f2 · 2026-03-20T11:16:43.000+01:00
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/CaptureContentSummaryModels.expected b/csharp/ql/test/utils/modelgenerator/dataflow/CaptureContentSummaryModels.expected
@@ -1,2 +1,3 @@
 unexpectedModel
+| Unexpected contentbased-summary found: Models;HigherOrderParameters;false;Apply;(System.Func<System.Object,System.Object>,System.Object);;Argument[1];ReturnValue;value;dfc-generated |
 expectedModel
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs b/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs
@@ -536,6 +536,12 @@ public void Apply(Action<object> a, object o)
     {
         a(o);
     }
+
+    private void CallApply()
+    {
+        // Test that this call to `Apply` does not interfere with the flow summaries generated for `Apply`
+        Apply(x => x, null);
+    }
 }
 
 public static class HigherOrderExtensionMethods

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`unexpectedModel`
	`2`	`+\| Unexpected contentbased-summary found: Models;HigherOrderParameters;false;Apply;(System.Func<System.Object,System.Object>,System.Object);;Argument[1];ReturnValue;value;dfc-generated \|`
`2`	`3`	`expectedModel`
Original file line number	Diff line number	Diff line change
`@@ -536,6 +536,12 @@ public void Apply(Action<object> a, object o)`
`536`	`536`	`{`
`537`	`537`	`a(o);`
`538`	`538`	`}`
	`539`	`+`
	`540`	`+ private void CallApply()`
	`541`	`+ {`
	`542`	+ // Test that this call to `Apply` does not interfere with the flow summaries generated for `Apply`
	`543`	`+ Apply(x => x, null);`
	`544`	`+ }`
`539`	`545`	`}`
`540`	`546`
`541`	`547`	`public static class HigherOrderExtensionMethods`