Skip to content

Commit 279e351

Browse files
Revert manual magic
This appeared to cause a DCA timeout.
1 parent 0fa70db commit 279e351

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

python/ql/src/Resources/FileNotAlwaysClosedQuery.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node
9191
}
9292

9393
/** Holds if data flows from `source` to `sink`, including file wrapper classes. */
94-
private predicate fileLocalFlow(FileOpen source, DataFlow::Node sink) {
94+
private predicate fileLocalFlow(DataFlow::Node source, DataFlow::Node sink) {
9595
fileLocalFlowStep*(source, sink)
9696
}
9797

python/ql/src/Variables/LoopVariableCapture.ql

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,10 @@ Scope iteration_variable_scope(AstNode loop) {
1818
result = loop.(Comp).getFunction()
1919
}
2020

21+
abstract class Loop extends AstNode {
22+
abstract Variable getALoopVariable();
23+
}
24+
2125
predicate capturing_looping_construct(CallableExpr capturing, AstNode loop, Variable var) {
2226
var.getScope() = iteration_variable_scope(loop) and
2327
var.getAnAccess().getScope() = capturing.getInnerScope() and

0 commit comments

Comments
 (0)