Python: more idiomatic cartesian product

yoff · yoff · commit 9a7afa9d8d7d · 2022-09-20T12:47:56.000+02:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -930,7 +930,7 @@ predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c)
 /** Holds if `call` is a lambda call of kind `kind` where `receiver` is the lambda expression. */
 predicate lambdaCall(DataFlowCall call, LambdaCallKind kind, Node receiver) {
   receiver = call.(SummaryCall).getReceiver() and
-  kind = kind
+  exists(kind)
 }
 
 /** Extra data-flow steps needed for lambda flow analysis. */

Original file line number	Diff line number	Diff line change
`@@ -930,7 +930,7 @@ predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c)`
`930`	`930`	/** Holds if `call` is a lambda call of kind `kind` where `receiver` is the lambda expression. */
`931`	`931`	`predicate lambdaCall(DataFlowCall call, LambdaCallKind kind, Node receiver) {`
`932`	`932`	`receiver = call.(SummaryCall).getReceiver() and`
`933`		`- kind = kind`
	`933`	`+ exists(kind)`
`934`	`934`	`}`
`935`	`935`
`936`	`936`	`/** Extra data-flow steps needed for lambda flow analysis. */`