mirror of
https://github.com/github/codeql.git
synced 2026-04-27 09:45:15 +02:00
Kotlin: Apply review feedback
This commit is contained in:
@@ -623,8 +623,6 @@ private module ControlFlowGraphImpl {
|
||||
or
|
||||
result = first(n.(InstanceOfExpr).getExpr())
|
||||
or
|
||||
result = first(n.(NotInstanceOfExpr).getExpr())
|
||||
or
|
||||
result = first(n.(SynchronizedStmt).getExpr())
|
||||
or
|
||||
result = n and
|
||||
|
||||
@@ -2357,7 +2357,7 @@ class Argument extends Expr {
|
||||
tgt.getParameter(varargsParamPos).isVarargs() and
|
||||
arrayindex = pos - varargsParamPos and
|
||||
arrayindex >= 0 and
|
||||
arrayindex <= (call.getNumArgument() - tgt.getNumberOfParameters())
|
||||
arrayindex <= call.getNumArgument() - tgt.getNumberOfParameters()
|
||||
)
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user