Java: Fix bad join-order.

aschackmull · aschackmull · commit 90a50e7ca94f · 2021-10-19T10:55:52.000+02:00
diff --git a/java/ql/lib/semmle/code/java/dispatch/WrappedInvocation.qll b/java/ql/lib/semmle/code/java/dispatch/WrappedInvocation.qll
@@ -39,7 +39,10 @@ private Expr getRunnerArgument(MethodAccess ma, Method runmethod) {
   or
   getRunnerArgument(ma, runmethod).(CastExpr).getExpr() = result
   or
-  getRunnerArgument(ma, runmethod).(VarAccess).getVariable().getAnAssignedValue() = result
+  pragma[only_bind_out](getRunnerArgument(ma, runmethod))
+      .(VarAccess)
+      .getVariable()
+      .getAnAssignedValue() = result
 }
 
 /**
