Skip to content

Commit 1568763

Browse files
committed
delete two dead predicates
1 parent 4b7f63a commit 1568763

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DelegateDataFlow.qll

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -78,18 +78,3 @@ private class NonDelegateCall extends Expr {
7878
private class NormalReturnNode extends Node {
7979
NormalReturnNode() { this.(ReturnNode).getKind() instanceof NormalReturnKind }
8080
}
81-
82-
pragma[noinline]
83-
private predicate flowIntoNonDelegateCall(NonDelegateCall call, Expr arg, DotNet::Parameter p) {
84-
exists(DotNet::Callable callable, int i |
85-
callable = call.getARuntimeTarget() and
86-
p = callable.getAParameter() and
87-
arg = call.getArgument(i) and
88-
i = p.getPosition()
89-
)
90-
}
91-
92-
pragma[noinline]
93-
private predicate flowOutOfNonDelegateCall(NonDelegateCall call, NormalReturnNode ret) {
94-
call.getARuntimeTarget() = ret.getEnclosingCallable()
95-
}

0 commit comments

Comments
 (0)