Kotlin: Performance tweak

igfoo · igfoo · commit b9be79473a51 · 2022-05-10T19:51:30.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dispatch/ObjFlow.qll b/java/ql/lib/semmle/code/java/dispatch/ObjFlow.qll
@@ -53,7 +53,7 @@ private predicate returnStep(Node n1, Node n2) {
   exists(ReturnStmt ret, Method m |
     ret.getEnclosingCallable() = m and
     ret.getResult() = n1.asExpr() and
-    m = dispatchCand(n2.asExpr())
+    pragma[only_bind_out](m) = dispatchCand(n2.asExpr())
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ private predicate returnStep(Node n1, Node n2) {`
`53`	`53`	`exists(ReturnStmt ret, Method m \|`
`54`	`54`	`ret.getEnclosingCallable() = m and`
`55`	`55`	`ret.getResult() = n1.asExpr() and`
`56`		`- m = dispatchCand(n2.asExpr())`
	`56`	`+ pragma[only_bind_out](m) = dispatchCand(n2.asExpr())`
`57`	`57`	`)`
`58`	`58`	`}`
`59`	`59`