Python: Modernise py/loop-variable-capture

RasmusWL · RasmusWL · commit 6a73479ea395 · 2019-12-16T13:36:59.000+01:00
diff --git a/python/ql/src/Variables/LoopVariableCapture.ql b/python/ql/src/Variables/LoopVariableCapture.ql
@@ -34,7 +34,7 @@ predicate escaping_capturing_looping_construct(CallableExpr capturing, AstNode l
     and
     // Escapes if used out side of for loop or is a lambda in a comprehension
     (
-        exists(Expr e, For forloop | forloop = loop and e.refersTo(_, _, capturing) | not forloop.contains(e))
+        exists(Expr e, For forloop | forloop = loop and e.pointsTo(_, _, capturing) | not forloop.contains(e))
         or
         loop.(Comp).getElt() = capturing
         or

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ predicate escaping_capturing_looping_construct(CallableExpr capturing, AstNode l`
`34`	`34`	`and`
`35`	`35`	`// Escapes if used out side of for loop or is a lambda in a comprehension`
`36`	`36`	`(`
`37`		`- exists(Expr e, For forloop \| forloop = loop and e.refersTo(_, _, capturing) \| not forloop.contains(e))`
	`37`	`+ exists(Expr e, For forloop \| forloop = loop and e.pointsTo(_, _, capturing) \| not forloop.contains(e))`
`38`	`38`	`or`
`39`	`39`	`loop.(Comp).getElt() = capturing`
`40`	`40`	`or`