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

Merge pull request #3842 from hvitved/csharp/dataflow/remove-viable-impl

Browse Source 
Approved by aschackmull
This commit is contained in:
semmle-qlci
2020-07-01 08:14:57 +01:00
committed by GitHub
parent ed2077b2f4 3efe1a9d10
commit ef109d91ed
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.