Revert manual magic

joefarebrother · joefarebrother · commit d23c3b8a74c2 · 2025-03-26T09:23:49.000Z
This appeared to cause timeouts on DCA.
diff --git a/python/ql/src/Resources/FileNotAlwaysClosedQuery.qll b/python/ql/src/Resources/FileNotAlwaysClosedQuery.qll
@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node
 }
 
 /** Holds if data flows from `source` to `sink`, including file wrapper classes. */
-private predicate fileLocalFlow(FileOpen source, DataFlow::Node sink) {
+private predicate fileLocalFlow(DataFlow::Node source, DataFlow::Node sink) {
   fileLocalFlowStep*(source, sink)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node`
`91`	`91`	`}`
`92`	`92`
`93`	`93`	/** 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) {`
`95`	`95`	`fileLocalFlowStep*(source, sink)`
`96`	`96`	`}`
`97`	`97`