Skip to content

Commit 7424263

Browse files
committed
Swift: One more expected output fix.
1 parent 9fe5462 commit 7424263

File tree

1 file changed

+68
-0
lines changed

1 file changed

+68
-0
lines changed

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

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -247,6 +247,35 @@ edges
247247
| test.swift:549:24:549:32 | call to source3() | test.swift:549:13:549:33 | call to MyClass.init(s:) [str] |
248248
| test.swift:550:13:550:41 | call to Self.init(contentsOfFile:) [str] | test.swift:535:9:535:9 | self [str] |
249249
| test.swift:550:13:550:41 | call to Self.init(contentsOfFile:) [str] | test.swift:550:13:550:43 | .str |
250+
| test.swift:567:8:567:11 | x | test.swift:568:14:568:14 | x |
251+
| test.swift:568:5:568:5 | [post] self [x] | test.swift:567:3:569:3 | self[return] [x] |
252+
| test.swift:568:14:568:14 | x | test.swift:568:5:568:5 | [post] self [x] |
253+
| test.swift:573:11:573:24 | call to S.init(x:) [x] | test.swift:575:13:575:13 | s [x] |
254+
| test.swift:573:11:573:24 | call to S.init(x:) [x] | test.swift:578:13:578:13 | s [x] |
255+
| test.swift:573:16:573:23 | call to source() | test.swift:567:8:567:11 | x |
256+
| test.swift:573:16:573:23 | call to source() | test.swift:573:11:573:24 | call to S.init(x:) [x] |
257+
| test.swift:574:11:574:14 | enter #keyPath(...) [x] | test.swift:574:14:574:14 | KeyPathComponent [x] |
258+
| test.swift:574:14:574:14 | KeyPathComponent [x] | test.swift:574:11:574:14 | exit #keyPath(...) |
259+
| test.swift:575:13:575:13 | s [x] | test.swift:574:11:574:14 | enter #keyPath(...) [x] |
260+
| test.swift:575:13:575:13 | s [x] | test.swift:575:13:575:25 | \\...[...] |
261+
| test.swift:577:36:577:38 | enter #keyPath(...) [x] | test.swift:577:38:577:38 | KeyPathComponent [x] |
262+
| test.swift:577:38:577:38 | KeyPathComponent [x] | test.swift:577:36:577:38 | exit #keyPath(...) |
263+
| test.swift:578:13:578:13 | s [x] | test.swift:577:36:577:38 | enter #keyPath(...) [x] |
264+
| test.swift:578:13:578:13 | s [x] | test.swift:578:13:578:32 | \\...[...] |
265+
| test.swift:584:8:584:11 | s [x] | test.swift:585:14:585:14 | s [x] |
266+
| test.swift:585:5:585:5 | [post] self [s, x] | test.swift:584:3:586:3 | self[return] [s, x] |
267+
| test.swift:585:14:585:14 | s [x] | test.swift:585:5:585:5 | [post] self [s, x] |
268+
| test.swift:590:11:590:24 | call to S.init(x:) [x] | test.swift:591:18:591:18 | s [x] |
269+
| test.swift:590:16:590:23 | call to source() | test.swift:567:8:567:11 | x |
270+
| test.swift:590:16:590:23 | call to source() | test.swift:590:11:590:24 | call to S.init(x:) [x] |
271+
| test.swift:591:12:591:19 | call to S2.init(s:) [s, x] | test.swift:593:13:593:13 | s2 [s, x] |
272+
| test.swift:591:18:591:18 | s [x] | test.swift:584:8:584:11 | s [x] |
273+
| test.swift:591:18:591:18 | s [x] | test.swift:591:12:591:19 | call to S2.init(s:) [s, x] |
274+
| test.swift:592:11:592:17 | enter #keyPath(...) [s, x] | test.swift:592:15:592:15 | KeyPathComponent [s, x] |
275+
| test.swift:592:15:592:15 | KeyPathComponent [s, x] | test.swift:592:17:592:17 | KeyPathComponent [x] |
276+
| test.swift:592:17:592:17 | KeyPathComponent [x] | test.swift:592:11:592:17 | exit #keyPath(...) |
277+
| test.swift:593:13:593:13 | s2 [s, x] | test.swift:592:11:592:17 | enter #keyPath(...) [s, x] |
278+
| test.swift:593:13:593:13 | s2 [s, x] | test.swift:593:13:593:26 | \\...[...] |
250279
nodes
251280
| file://:0:0:0:0 | .a [x] | semmle.label | .a [x] |
252281
| file://:0:0:0:0 | .str | semmle.label | .str |
@@ -514,6 +543,36 @@ nodes
514543
| test.swift:549:24:549:32 | call to source3() | semmle.label | call to source3() |
515544
| test.swift:550:13:550:41 | call to Self.init(contentsOfFile:) [str] | semmle.label | call to Self.init(contentsOfFile:) [str] |
516545
| test.swift:550:13:550:43 | .str | semmle.label | .str |
546+
| test.swift:567:3:569:3 | self[return] [x] | semmle.label | self[return] [x] |
547+
| test.swift:567:8:567:11 | x | semmle.label | x |
548+
| test.swift:568:5:568:5 | [post] self [x] | semmle.label | [post] self [x] |
549+
| test.swift:568:14:568:14 | x | semmle.label | x |
550+
| test.swift:573:11:573:24 | call to S.init(x:) [x] | semmle.label | call to S.init(x:) [x] |
551+
| test.swift:573:16:573:23 | call to source() | semmle.label | call to source() |
552+
| test.swift:574:11:574:14 | enter #keyPath(...) [x] | semmle.label | enter #keyPath(...) [x] |
553+
| test.swift:574:11:574:14 | exit #keyPath(...) | semmle.label | exit #keyPath(...) |
554+
| test.swift:574:14:574:14 | KeyPathComponent [x] | semmle.label | KeyPathComponent [x] |
555+
| test.swift:575:13:575:13 | s [x] | semmle.label | s [x] |
556+
| test.swift:575:13:575:25 | \\...[...] | semmle.label | \\...[...] |
557+
| test.swift:577:36:577:38 | enter #keyPath(...) [x] | semmle.label | enter #keyPath(...) [x] |
558+
| test.swift:577:36:577:38 | exit #keyPath(...) | semmle.label | exit #keyPath(...) |
559+
| test.swift:577:38:577:38 | KeyPathComponent [x] | semmle.label | KeyPathComponent [x] |
560+
| test.swift:578:13:578:13 | s [x] | semmle.label | s [x] |
561+
| test.swift:578:13:578:32 | \\...[...] | semmle.label | \\...[...] |
562+
| test.swift:584:3:586:3 | self[return] [s, x] | semmle.label | self[return] [s, x] |
563+
| test.swift:584:8:584:11 | s [x] | semmle.label | s [x] |
564+
| test.swift:585:5:585:5 | [post] self [s, x] | semmle.label | [post] self [s, x] |
565+
| test.swift:585:14:585:14 | s [x] | semmle.label | s [x] |
566+
| test.swift:590:11:590:24 | call to S.init(x:) [x] | semmle.label | call to S.init(x:) [x] |
567+
| test.swift:590:16:590:23 | call to source() | semmle.label | call to source() |
568+
| test.swift:591:12:591:19 | call to S2.init(s:) [s, x] | semmle.label | call to S2.init(s:) [s, x] |
569+
| test.swift:591:18:591:18 | s [x] | semmle.label | s [x] |
570+
| test.swift:592:11:592:17 | enter #keyPath(...) [s, x] | semmle.label | enter #keyPath(...) [s, x] |
571+
| test.swift:592:11:592:17 | exit #keyPath(...) | semmle.label | exit #keyPath(...) |
572+
| test.swift:592:15:592:15 | KeyPathComponent [s, x] | semmle.label | KeyPathComponent [s, x] |
573+
| test.swift:592:17:592:17 | KeyPathComponent [x] | semmle.label | KeyPathComponent [x] |
574+
| test.swift:593:13:593:13 | s2 [s, x] | semmle.label | s2 [s, x] |
575+
| test.swift:593:13:593:26 | \\...[...] | semmle.label | \\...[...] |
517576
subpaths
518577
| test.swift:75:21:75:22 | &... | test.swift:65:16:65:28 | arg1 | test.swift:65:1:70:1 | arg2[return] | test.swift:75:31:75:32 | [post] &... |
519578
| test.swift:114:19:114:19 | arg | test.swift:109:9:109:14 | arg | test.swift:110:12:110:12 | arg | test.swift:114:12:114:22 | call to ... |
@@ -551,6 +610,12 @@ subpaths
551610
| test.swift:549:13:549:33 | call to MyClass.init(s:) [str] | test.swift:535:9:535:9 | self [str] | file://:0:0:0:0 | .str | test.swift:549:13:549:35 | .str |
552611
| test.swift:549:24:549:32 | call to source3() | test.swift:536:10:536:13 | s | test.swift:536:5:538:5 | self[return] [str] | test.swift:549:13:549:33 | call to MyClass.init(s:) [str] |
553612
| test.swift:550:13:550:41 | call to Self.init(contentsOfFile:) [str] | test.swift:535:9:535:9 | self [str] | file://:0:0:0:0 | .str | test.swift:550:13:550:43 | .str |
613+
| test.swift:573:16:573:23 | call to source() | test.swift:567:8:567:11 | x | test.swift:567:3:569:3 | self[return] [x] | test.swift:573:11:573:24 | call to S.init(x:) [x] |
614+
| test.swift:575:13:575:13 | s [x] | test.swift:574:11:574:14 | enter #keyPath(...) [x] | test.swift:574:11:574:14 | exit #keyPath(...) | test.swift:575:13:575:25 | \\...[...] |
615+
| test.swift:578:13:578:13 | s [x] | test.swift:577:36:577:38 | enter #keyPath(...) [x] | test.swift:577:36:577:38 | exit #keyPath(...) | test.swift:578:13:578:32 | \\...[...] |
616+
| test.swift:590:16:590:23 | call to source() | test.swift:567:8:567:11 | x | test.swift:567:3:569:3 | self[return] [x] | test.swift:590:11:590:24 | call to S.init(x:) [x] |
617+
| test.swift:591:18:591:18 | s [x] | test.swift:584:8:584:11 | s [x] | test.swift:584:3:586:3 | self[return] [s, x] | test.swift:591:12:591:19 | call to S2.init(s:) [s, x] |
618+
| test.swift:593:13:593:13 | s2 [s, x] | test.swift:592:11:592:17 | enter #keyPath(...) [s, x] | test.swift:592:11:592:17 | exit #keyPath(...) | test.swift:593:13:593:26 | \\...[...] |
554619
#select
555620
| test.swift:7:15:7:15 | t1 | test.swift:6:19:6:26 | call to source() | test.swift:7:15:7:15 | t1 | result |
556621
| test.swift:9:15:9:15 | t1 | test.swift:6:19:6:26 | call to source() | test.swift:9:15:9:15 | t1 | result |
@@ -621,3 +686,6 @@ subpaths
621686
| test.swift:544:17:544:17 | .str | test.swift:543:20:543:28 | call to source3() | test.swift:544:17:544:17 | .str | result |
622687
| test.swift:549:13:549:35 | .str | test.swift:549:24:549:32 | call to source3() | test.swift:549:13:549:35 | .str | result |
623688
| test.swift:550:13:550:43 | .str | test.swift:543:20:543:28 | call to source3() | test.swift:550:13:550:43 | .str | result |
689+
| test.swift:575:13:575:25 | \\...[...] | test.swift:573:16:573:23 | call to source() | test.swift:575:13:575:25 | \\...[...] | result |
690+
| test.swift:578:13:578:32 | \\...[...] | test.swift:573:16:573:23 | call to source() | test.swift:578:13:578:32 | \\...[...] | result |
691+
| test.swift:593:13:593:26 | \\...[...] | test.swift:590:16:590:23 | call to source() | test.swift:593:13:593:26 | \\...[...] | result |

0 commit comments

Comments
 (0)