Python: Slight cleanup

tausbn · tausbn · commit 8734df334be9 · 2021-03-25T18:35:16.000+01:00
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -468,8 +468,8 @@ class BarrierGuard extends GuardNode {
 }
 
 private predicate comes_from_cfgnode(Node node) {
-  exists(Node second |
-    simpleLocalFlowStep(any(CfgNode c), second) and
+  exists(CfgNode first, Node second |
+    simpleLocalFlowStep(first, second) and
     simpleLocalFlowStep*(second, node)
   )
 }

Original file line number	Diff line number	Diff line change
`@@ -468,8 +468,8 @@ class BarrierGuard extends GuardNode {`
`468`	`468`	`}`
`469`	`469`
`470`	`470`	`private predicate comes_from_cfgnode(Node node) {`
`471`		`- exists(Node second \|`
`472`		`- simpleLocalFlowStep(any(CfgNode c), second) and`
	`471`	`+ exists(CfgNode first, Node second \|`
	`472`	`+ simpleLocalFlowStep(first, second) and`
`473`	`473`	`simpleLocalFlowStep*(second, node)`
`474`	`474`	`)`
`475`	`475`	`}`