C#: Manual cleanup of previously added IEnumerable<>.GetEnumrator flow summaries.

michaelnebel · michaelnebel · commit 20637555b5ae · 2021-12-20T15:33:25.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/frameworks/system/Linq.qll b/csharp/ql/lib/semmle/code/csharp/frameworks/system/Linq.qll
@@ -547,14 +547,6 @@ private class SystemLinqParallelEnumerableFlowModelCsv extends ExternalFlow::Sum
   }
 }
 
-/** Data flow for `System.Linq.ParallelQuery<>`. */
-private class SystemLinqParallelQueryFlowModelCsv extends ExternalFlow::SummaryModelCsv {
-  override predicate row(string row) {
-    row =
-      "System.Linq;ParallelQuery<>;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value"
-  }
-}
-
 /** Data flow for `System.Linq.Queryable`. */
 private class SystemLinqQueryableFlowModelCsv extends ExternalFlow::SummaryModelCsv {
   override predicate row(string row) {

Original file line number	Diff line number	Diff line change
`@@ -547,14 +547,6 @@ private class SystemLinqParallelEnumerableFlowModelCsv extends ExternalFlow::Sum`
`547`	`547`	`}`
`548`	`548`	`}`
`549`	`549`
`550`		-/** Data flow for `System.Linq.ParallelQuery<>`. */
`551`		`-private class SystemLinqParallelQueryFlowModelCsv extends ExternalFlow::SummaryModelCsv {`
`552`		`- override predicate row(string row) {`
`553`		`- row =`
`554`		`- "System.Linq;ParallelQuery<>;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value"`
`555`		`- }`
`556`		`-}`
`557`		`-`
`558`	`550`	/** Data flow for `System.Linq.Queryable`. */
`559`	`551`	`private class SystemLinqQueryableFlowModelCsv extends ExternalFlow::SummaryModelCsv {`
`560`	`552`	`override predicate row(string row) {`