JS: Fix whitelisting in UselessConditional

This commit is contained in:
Asger Feldthaus
2020-04-29 22:00:25 +01:00
parent 1d994b017f
commit 430bf2da8a
2 changed files with 9 additions and 1 deletions

View File

@@ -62,6 +62,14 @@ predicate isInitialParameterUse(Expr e) {
not p.isRestParameter()
)
or
// same as above, but for captured variables
exists(SimpleParameter p, LocalVariable var |
var = p.getVariable() and
var.isCaptured() and
e = var.getAnAccess() and
not p.isRestParameter()
)
or
isInitialParameterUse(e.(LogNotExpr).getOperand())
}