Skip to content

Commit 3efe1a9

Browse files
committed
C#: Remove unused viableImpl predicate
1 parent b57cfc9 commit 3efe1a9

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -106,7 +106,7 @@ private module Cached {
106106

107107
/** Gets a viable run-time target for the call `call`. */
108108
cached
109-
DataFlowCallable viableImpl(DataFlowCall call) { result = call.getARuntimeTarget() }
109+
DataFlowCallable viableCallable(DataFlowCall call) { result = call.getARuntimeTarget() }
110110
}
111111

112112
import Cached
@@ -164,8 +164,6 @@ import DispatchImpl
164164
*/
165165
OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) { call = result.getCall(kind) }
166166

167-
predicate viableCallable = viableImpl/1;
168-
169167
/**
170168
* A return kind. A return kind describes how a value can be returned
171169
* from a callable.

0 commit comments

Comments
 (0)