Skip to content

Commit 81bf415

Browse files
committed
Swift: modify test so implicit read isn't needed at sink
1 parent 246d5c5 commit 81bf415

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

swift/ql/test/library-tests/dataflow/dataflow/LocalFlow.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -746,6 +746,7 @@
746746
| test.swift:663:9:663:9 | f | test.swift:663:9:663:9 | SSA def(f) |
747747
| test.swift:663:13:663:29 | #keyPath(...) | test.swift:663:9:663:9 | f |
748748
| test.swift:663:13:663:29 | enter #keyPath(...) | test.swift:663:26:663:26 | KeyPathComponent |
749+
| test.swift:664:15:664:28 | \\...[...] | test.swift:664:15:664:29 | ...! |
749750
| test.swift:668:9:668:9 | SSA def(x) | test.swift:672:9:672:9 | x |
750751
| test.swift:668:9:668:9 | x | test.swift:668:9:668:9 | SSA def(x) |
751752
| test.swift:668:13:668:20 | call to source() | test.swift:668:9:668:9 | x |

swift/ql/test/library-tests/dataflow/dataflow/test.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -661,7 +661,7 @@ func testOptionalKeyPath() {
661661
let s = S(x: source())
662662
let s2 = S2_Optional(s: s)
663663
let f = \S2_Optional.s?.x
664-
sink(opt: s2[keyPath: f]) // $ MISSING: flow=661
664+
sink(arg: s2[keyPath: f]!) // $ MISSING: flow=661
665665
}
666666

667667
func testSwap() {

0 commit comments

Comments
 (0)