Merge pull request #22159 from aschackmull/java/join-order-effnonvirt

michaelnebel · web-flow · commit 42843f155e95 · 2026-07-13T16:45:54.000+02:00
Java: Improve join order.
diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -406,7 +406,9 @@ private module NonReturningCalls {
     }
 
     /** Gets a `MethodCall` that calls this method. */
-    MethodCall getAnAccess() { result.getMethod().getAPossibleImplementation() = this }
+    MethodCall getAnAccess() {
+      result.getMethod().getAPossibleImplementation() = pragma[only_bind_out](this)
+    }
   }
 
   /** Holds if a call to `m` indicates that `m` is expected to return. */

Original file line number	Diff line number	Diff line change
`@@ -406,7 +406,9 @@ private module NonReturningCalls {`
`406`	`406`	`}`
`407`	`407`
`408`	`408`	/** Gets a `MethodCall` that calls this method. */
`409`		`- MethodCall getAnAccess() { result.getMethod().getAPossibleImplementation() = this }`
	`409`	`+ MethodCall getAnAccess() {`
	`410`	`+ result.getMethod().getAPossibleImplementation() = pragma[only_bind_out](this)`
	`411`	`+ }`
`410`	`412`	`}`
`411`	`413`
`412`	`414`	/** Holds if a call to `m` indicates that `m` is expected to return. */