Update javascript/ql/lib/semmle/javascript/dataflow/internal/InterProceduralTypeInference.qll

Fix multiple declare may mismatch issue

Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
This commit is contained in:
JrXnm
2021-12-13 18:36:06 +08:00
committed by GitHub
parent fad95d8935
commit efc9e67ec2

View File

@@ -191,9 +191,9 @@ private VarAccess getOnlyAccess(FunctionDeclStmt fn, LocalVariable v) {
}
private VarAccess getOnlyAccessToFunctionExpr(FunctionExpr fn, LocalVariable v) {
exists( DeclStmt st |
fn = st.(DeclStmt).getADecl().getInit() and
v = st.(DeclStmt).getADecl().getBindingPattern().getVariable() and
exists(VariableDeclarator decl |
fn = decl.getInit() and
v = decl.getBindingPattern().getVariable() and
result = unique(VarAccess acc | acc = v.getAnAccess())
)
}