Java: Improve performance of isUnreachableInCall()

2026-04-30 11:15:13 +02:00 · 2021-06-02 20:39:05 +02:00
parent 7382b349c2
commit daf2cc3d53
1 changed files with 3 additions and 1 deletions
--- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -296,7 +296,9 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) {
    // which is used in a guard
    param.getAUse() = guard and
    // which controls `n` with the opposite value of `arg`
-    guard.controls(n.asExpr().getBasicBlock(), arg.getBooleanValue().booleanNot())
+    guard
+        .controls(n.asExpr().getBasicBlock(),
+          pragma[only_bind_out](arg.getBooleanValue()).booleanNot())
  )
 }