Java 13: remove superfluous disjunct in JumpStmt.getAPotentialTarget()

2026-05-05 13:45:19 +02:00 · 2019-10-11 09:52:25 -04:00
parent 8fb4dbe092
commit de0869c216
1 changed files with 1 additions and 2 deletions
--- a/java/ql/src/semmle/code/java/Statement.qll
+++ b/java/ql/src/semmle/code/java/Statement.qll
@@ -582,8 +582,7 @@ class JumpStmt extends Stmt {
    (
      result instanceof LoopStmt
      or
-      (this instanceof BreakStmt or this instanceof YieldStmt) and
-      result instanceof SwitchStmt
+      this instanceof BreakStmt and result instanceof SwitchStmt
    )
  }