Dataflow: Sync.

This commit is contained in:
Anders Schack-Mulligen
2021-06-18 11:51:44 +02:00
parent b7ac329ba1
commit 80880320d5
27 changed files with 15088 additions and 10975 deletions

View File

@@ -724,7 +724,6 @@ private module Cached {
Node node1, Content c, Node node2, DataFlowType contentType, DataFlowType containerType
) {
storeStep(node1, c, node2) and
read(_, c, _) and
contentType = getNodeDataFlowType(node1) and
containerType = getNodeDataFlowType(node2)
or