Skip to content

Commit 8088032

Browse files
committed
Dataflow: Sync.
1 parent b7ac329 commit 8088032

27 files changed

+15088
-10975
lines changed

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll

Lines changed: 656 additions & 477 deletions
Large diffs are not rendered by default.

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -724,7 +724,6 @@ private module Cached {
724724
Node node1, Content c, Node node2, DataFlowType contentType, DataFlowType containerType
725725
) {
726726
storeStep(node1, c, node2) and
727-
read(_, c, _) and
728727
contentType = getNodeDataFlowType(node1) and
729728
containerType = getNodeDataFlowType(node2)
730729
or

0 commit comments

Comments
 (0)