We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3ee3eab commit d3cc366Copy full SHA for d3cc366
1 file changed
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -300,6 +300,12 @@ import Cached
300
/** Holds if `n` should be hidden from path explanations. */
301
predicate nodeIsHidden(Node n) { n instanceof FlowSummaryNode }
302
303
+/**
304
+ * The intermediate node for a dictionary subscript operation `dict[key]`. In a write, this is used
305
+ * as the destination of the `storeStep`s that add `TupleContent`s and the source of the storeStep
306
+ * that adds `CollectionContent`. In a read, this is the destination of the `readStep` that pops
307
+ * `CollectionContent` and the source of the `readStep` that pops `TupleContent[0]`
308
+ */
309
private class DictionarySubscriptNode extends NodeImpl, TDictionarySubscriptNode {
310
SubscriptExpr expr;
311
0 commit comments