JS: Update Node.isIncomplete

This commit is contained in:
Asger Feldthaus
2020-04-29 13:36:26 +01:00
parent 5568f0e182
commit b06cd6db30
2 changed files with 3 additions and 6 deletions

View File

@@ -45,8 +45,6 @@ private predicate defn(ControlFlowNode def, Expr lhs, AST::ValueNode rhs) {
exists(EnumMember member | def = member.getIdentifier() |
lhs = def and rhs = member.getInitializer()
)
or
lhs = def and def.(Parameter).getDefault() = rhs
}
/**

View File

@@ -1527,6 +1527,9 @@ module DataFlow {
e instanceof FunctionBindExpr
or
e instanceof TaggedTemplateExpr
or
e instanceof Parameter and
not localArgumentPassing(_, e)
)
or
nd.asExpr() instanceof ExternalModuleReference and
@@ -1562,10 +1565,6 @@ module DataFlow {
* Holds if definition `def` cannot be completely analyzed due to `cause`.
*/
private predicate defIsIncomplete(VarDef def, Incompleteness cause) {
def instanceof Parameter and
not localArgumentPassing(_, def) and
cause = "call"
or
def instanceof ImportSpecifier and
cause = "import"
or