C#: Remove unused case, when converting SummaryComponent stacks.

michaelnebel · michaelnebel · commit fb950848c709 · 2022-01-07T10:26:32.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll
@@ -98,11 +98,6 @@ private module FrameworkDataFlowAdaptor {
       result = TCallableFlowSourceArg(i) and
       input = SummaryComponentStack::argument(i)
     )
-    or
-    exists(int i | result = TCallableFlowSourceDelegateArg(i) |
-      input =
-        SummaryComponentStack::push(SummaryComponent::return(), SummaryComponentStack::argument(i))
-    )
   }
 
   private class FrameworkDataFlowAdaptor extends SummarizedCallable {

Original file line number	Diff line number	Diff line change
`@@ -98,11 +98,6 @@ private module FrameworkDataFlowAdaptor {`
`98`	`98`	`result = TCallableFlowSourceArg(i) and`
`99`	`99`	`input = SummaryComponentStack::argument(i)`
`100`	`100`	`)`
`101`		`- or`
`102`		`- exists(int i \| result = TCallableFlowSourceDelegateArg(i) \|`
`103`		`- input =`
`104`		`- SummaryComponentStack::push(SummaryComponent::return(), SummaryComponentStack::argument(i))`
`105`		`- )`
`106`	`101`	`}`
`107`	`102`
`108`	`103`	`private class FrameworkDataFlowAdaptor extends SummarizedCallable {`