Skip to content

Commit 9de3cc7

Browse files
d10cMathiasVP
authored andcommitted
Swift: add CapturePostUpdateNode
However, this doesn't change any of the test results.
1 parent 5418d39 commit 9de3cc7

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1256,6 +1256,17 @@ private module PostUpdateNodes {
12561256
result.(FlowSummaryNode).getSummaryNode())
12571257
}
12581258
}
1259+
1260+
class CapturePostUpdateNode extends PostUpdateNodeImpl, CaptureNode {
1261+
private CaptureNode pre;
1262+
1263+
CapturePostUpdateNode() {
1264+
CaptureFlow::capturePostUpdateNode(this.getSynthesizedCaptureNode(),
1265+
pre.getSynthesizedCaptureNode())
1266+
}
1267+
1268+
override Node getPreUpdateNode() { result = pre }
1269+
}
12591270
}
12601271

12611272
private import PostUpdateNodes

0 commit comments

Comments
 (0)