rust

hvitved · hvitved · commit e273159460c3 · 2026-07-10T15:50:35.000+02:00
diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll
@@ -20,8 +20,6 @@ private module Input implements InputSig<Location, RustDataFlow> {
     n instanceof Node::FlowSummaryNode
     or
     n.(Node::PostUpdateNode).getPreUpdateNode().asExpr() = getPostUpdateReverseStep(_, _)
-    or
-    FlowSummaryImpl::Private::Steps::sourceLocalStep(_, n, _)
   }
 
   predicate missingLocationExclude(RustDataFlow::Node n) { not exists(n.asExpr().getLocation()) }

Original file line number	Diff line number	Diff line change
`@@ -20,8 +20,6 @@ private module Input implements InputSig<Location, RustDataFlow> {`
`20`	`20`	`n instanceof Node::FlowSummaryNode`
`21`	`21`	`or`
`22`	`22`	`n.(Node::PostUpdateNode).getPreUpdateNode().asExpr() = getPostUpdateReverseStep(_, _)`
`23`		`- or`
`24`		`- FlowSummaryImpl::Private::Steps::sourceLocalStep(_, n, _)`
`25`	`23`	`}`
`26`	`24`
`27`	`25`	`predicate missingLocationExclude(RustDataFlow::Node n) { not exists(n.asExpr().getLocation()) }`