hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 14:34:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Remove unused viableImpl predicate

Browse Source
This commit is contained in:
Tom Hvitved
2020-06-30 08:31:30 +02:00
parent b57cfc965a
commit 3efe1a9d10
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
View File

@@ -106,7 +106,7 @@ private module Cached {
/** Gets a viable run-time target for the call `call`. */
cached
DataFlowCallable viableImpl(DataFlowCall call) { result = call.getARuntimeTarget() }
DataFlowCallable viableCallable(DataFlowCall call) { result = call.getARuntimeTarget() }
}
import Cached
@@ -164,8 +164,6 @@ import DispatchImpl
*/
OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) { call = result.getCall(kind) }
predicate viableCallable = viableImpl/1;
/**
* A return kind. A return kind describes how a value can be returned
* from a callable.