We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4c806a4 commit ae5689bCopy full SHA for ae5689b
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -148,7 +148,7 @@ private module Cached {
148
// flow through `!`
149
nodeFrom.asExpr() = nodeTo.asExpr().(ForceValueExpr).getSubExpr()
150
or
151
- // flow through `?`
+ // flow through `?` and `?.`
152
nodeFrom.asExpr() = nodeTo.asExpr().(BindOptionalExpr).getSubExpr()
153
154
nodeFrom.asExpr() = nodeTo.asExpr().(OptionalEvaluationExpr).getSubExpr()
0 commit comments