Skip to content

Commit dafed9f

Browse files
committed
Rust: Remove dead code.
1 parent 4c420c5 commit dafed9f

File tree

1 file changed

+0
-6
lines changed

1 file changed

+0
-6
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -172,19 +172,13 @@ predicate isArgumentForCall(ExprCfgNode arg, CallExprBaseCfgNode call, Parameter
172172
module SsaFlow {
173173
private module SsaFlow = SsaImpl::DataFlowIntegration;
174174

175-
private ParameterNode toParameterNode(ParamCfgNode p) {
176-
result.(SourceParameterNode).getParameter() = p
177-
}
178-
179175
/** Converts a control flow node into an SSA control flow node. */
180176
SsaFlow::Node asNode(Node n) {
181177
n = TSsaNode(result)
182178
or
183179
result.(SsaFlow::ExprNode).getExpr() = n.asExpr()
184180
or
185181
result.(SsaFlow::ExprPostUpdateNode).getExpr() = n.(PostUpdateNode).getPreUpdateNode().asExpr()
186-
or
187-
n = toParameterNode(result.(SsaFlow::ParameterNode).getParameter())
188182
}
189183

190184
predicate localFlowStep(

0 commit comments

Comments
 (0)