Skip to content

Commit af3bc4f

Browse files
committed
Kotlin: Apply review feedback
1 parent 2e3d2b8 commit af3bc4f

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

java/ql/lib/semmle/code/java/ControlFlowGraph.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -623,8 +623,6 @@ private module ControlFlowGraphImpl {
623623
or
624624
result = first(n.(InstanceOfExpr).getExpr())
625625
or
626-
result = first(n.(NotInstanceOfExpr).getExpr())
627-
or
628626
result = first(n.(SynchronizedStmt).getExpr())
629627
or
630628
result = n and

java/ql/lib/semmle/code/java/Expr.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2357,7 +2357,7 @@ class Argument extends Expr {
23572357
tgt.getParameter(varargsParamPos).isVarargs() and
23582358
arrayindex = pos - varargsParamPos and
23592359
arrayindex >= 0 and
2360-
arrayindex <= (call.getNumArgument() - tgt.getNumberOfParameters())
2360+
arrayindex <= call.getNumArgument() - tgt.getNumberOfParameters()
23612361
)
23622362
}
23632363
}

0 commit comments

Comments
 (0)