Remove unnecessary local flow inside type-tracking store step

This commit is contained in:
Nick Rolfe
2021-05-04 11:32:57 +01:00
parent 35ee62c689
commit 53deede8ab

View File

@@ -80,7 +80,7 @@ predicate basicStoreStep(Node nodeFrom, LocalSourceNode nodeTo, string content)
content = getSetterCallAttributeName(call.getExpr()) and
receiver.getExprNode().getNode() = call.getExpr().(AST::SetterMethodCall).getReceiver() and
assignment.getRhs() = nodeFrom.(DataFlowPublic::ExprNode).getExprNode() and
nodeTo.flowsTo(receiver)
nodeTo = receiver
)
}