66| file://:0:0:0:0 | self [v3] | file://:0:0:0:0 | .v3 |
77| file://:0:0:0:0 | self [x, some:0] | file://:0:0:0:0 | .x [some:0] |
88| file://:0:0:0:0 | self [x] | file://:0:0:0:0 | .x |
9+ | file://:0:0:0:0 | self [x] | file://:0:0:0:0 | .x |
910| file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [v2] |
1011| file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [v3] |
1112| file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [x] |
13+ | file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [x] |
1214| file://:0:0:0:0 | value [some:0] | file://:0:0:0:0 | [post] self [v2, some:0] |
1315| file://:0:0:0:0 | value [some:0] | file://:0:0:0:0 | [post] self [x, some:0] |
1416| test.swift:6:19:6:26 | call to source() | test.swift:7:15:7:15 | t1 |
@@ -109,6 +111,8 @@ edges
109111| test.swift:225:14:225:21 | call to source() | test.swift:238:13:238:15 | .source_value |
110112| test.swift:259:12:259:19 | call to source() | test.swift:259:12:259:19 | call to source() [some:0] |
111113| test.swift:259:12:259:19 | call to source() | test.swift:263:13:263:28 | call to optionalSource() |
114+ | test.swift:259:12:259:19 | call to source() | test.swift:517:13:517:28 | call to optionalSource() |
115+ | test.swift:259:12:259:19 | call to source() | test.swift:544:13:544:28 | call to optionalSource() |
112116| test.swift:259:12:259:19 | call to source() [some:0] | test.swift:263:13:263:28 | call to optionalSource() [some:0] |
113117| test.swift:259:12:259:19 | call to source() [some:0] | test.swift:517:13:517:28 | call to optionalSource() [some:0] |
114118| test.swift:259:12:259:19 | call to source() [some:0] | test.swift:544:13:544:28 | call to optionalSource() [some:0] |
@@ -119,7 +123,9 @@ edges
119123| test.swift:263:13:263:28 | call to optionalSource() | test.swift:275:15:275:27 | ... ??(_:_:) ... |
120124| test.swift:263:13:263:28 | call to optionalSource() | test.swift:279:15:279:31 | ... ? ... : ... |
121125| test.swift:263:13:263:28 | call to optionalSource() | test.swift:280:15:280:38 | ... ? ... : ... |
126+ | test.swift:263:13:263:28 | call to optionalSource() | test.swift:285:19:285:19 | z |
122127| test.swift:263:13:263:28 | call to optionalSource() | test.swift:291:16:291:17 | ...? |
128+ | test.swift:263:13:263:28 | call to optionalSource() | test.swift:300:15:300:15 | z1 |
123129| test.swift:263:13:263:28 | call to optionalSource() | test.swift:303:15:303:16 | ...! |
124130| test.swift:263:13:263:28 | call to optionalSource() [some:0] | test.swift:267:15:267:15 | x [some:0] |
125131| test.swift:263:13:263:28 | call to optionalSource() [some:0] | test.swift:279:26:279:26 | x [some:0] |
@@ -147,6 +153,7 @@ edges
147153| test.swift:291:16:291:17 | ...? | test.swift:291:16:291:26 | call to signum() |
148154| test.swift:291:16:291:17 | ...? [some:0] | test.swift:291:16:291:26 | call to signum() [some:0] |
149155| test.swift:291:16:291:26 | call to signum() | test.swift:291:16:291:26 | call to signum() [some:0] |
156+ | test.swift:291:16:291:26 | call to signum() | test.swift:292:19:292:19 | z |
150157| test.swift:291:16:291:26 | call to signum() [some:0] | test.swift:291:8:291:12 | let ...? [some:0] |
151158| test.swift:298:11:298:15 | let ...? [some:0] | test.swift:298:15:298:15 | z1 |
152159| test.swift:298:15:298:15 | z1 | test.swift:300:15:300:15 | z1 |
@@ -246,6 +253,7 @@ edges
246253| test.swift:507:15:507:15 | e2 [some:0] | test.swift:507:15:507:17 | ...! |
247254| test.swift:509:15:509:15 | e4 [some:0] | test.swift:509:15:509:17 | ...! |
248255| test.swift:511:15:511:15 | e6 [some:0] | test.swift:511:15:511:17 | ...! |
256+ | test.swift:517:13:517:28 | call to optionalSource() | test.swift:520:19:520:19 | a |
249257| test.swift:517:13:517:28 | call to optionalSource() [some:0] | test.swift:519:8:519:12 | let ...? [some:0] |
250258| test.swift:517:13:517:28 | call to optionalSource() [some:0] | test.swift:524:19:524:19 | x [some:0] |
251259| test.swift:519:8:519:12 | let ...? [some:0] | test.swift:519:12:519:12 | a |
@@ -256,15 +264,24 @@ edges
256264| test.swift:526:11:526:22 | .some(...) [some:0] | test.swift:526:21:526:21 | a |
257265| test.swift:526:21:526:21 | a | test.swift:527:19:527:19 | a |
258266| test.swift:540:9:540:9 | self [x, some:0] | file://:0:0:0:0 | self [x, some:0] |
267+ | test.swift:540:9:540:9 | self [x] | file://:0:0:0:0 | self [x] |
268+ | test.swift:540:9:540:9 | value | file://:0:0:0:0 | value |
259269| test.swift:540:9:540:9 | value [some:0] | file://:0:0:0:0 | value [some:0] |
270+ | test.swift:544:13:544:28 | call to optionalSource() | test.swift:546:12:546:12 | x |
260271| test.swift:544:13:544:28 | call to optionalSource() [some:0] | test.swift:546:12:546:12 | x [some:0] |
261272| test.swift:546:5:546:5 | [post] cx [x, some:0] | test.swift:550:20:550:20 | cx [x, some:0] |
273+ | test.swift:546:5:546:5 | [post] cx [x] | test.swift:550:20:550:20 | cx [x] |
274+ | test.swift:546:12:546:12 | x | test.swift:540:9:540:9 | value |
275+ | test.swift:546:12:546:12 | x | test.swift:546:5:546:5 | [post] cx [x] |
262276| test.swift:546:12:546:12 | x [some:0] | test.swift:540:9:540:9 | value [some:0] |
263277| test.swift:546:12:546:12 | x [some:0] | test.swift:546:5:546:5 | [post] cx [x, some:0] |
264278| test.swift:550:11:550:15 | let ...? [some:0] | test.swift:550:15:550:15 | z1 |
265279| test.swift:550:15:550:15 | z1 | test.swift:551:15:551:15 | z1 |
266280| test.swift:550:20:550:20 | cx [x, some:0] | test.swift:540:9:540:9 | self [x, some:0] |
267281| test.swift:550:20:550:20 | cx [x, some:0] | test.swift:550:20:550:23 | .x [some:0] |
282+ | test.swift:550:20:550:20 | cx [x] | test.swift:540:9:540:9 | self [x] |
283+ | test.swift:550:20:550:20 | cx [x] | test.swift:550:20:550:23 | .x |
284+ | test.swift:550:20:550:23 | .x | test.swift:551:15:551:15 | z1 |
268285| test.swift:550:20:550:23 | .x [some:0] | test.swift:550:11:550:15 | let ...? [some:0] |
269286| test.swift:557:14:557:21 | call to source() | test.swift:557:13:557:21 | call to +(_:) |
270287| test.swift:566:9:566:9 | self [str] | file://:0:0:0:0 | self [str] |
@@ -396,19 +413,23 @@ nodes
396413| file://:0:0:0:0 | .v2 [some:0] | semmle.label | .v2 [some:0] |
397414| file://:0:0:0:0 | .v3 | semmle.label | .v3 |
398415| file://:0:0:0:0 | .x | semmle.label | .x |
416+ | file://:0:0:0:0 | .x | semmle.label | .x |
399417| file://:0:0:0:0 | .x [some:0] | semmle.label | .x [some:0] |
400418| file://:0:0:0:0 | [post] self [v2, some:0] | semmle.label | [post] self [v2, some:0] |
401419| file://:0:0:0:0 | [post] self [v2] | semmle.label | [post] self [v2] |
402420| file://:0:0:0:0 | [post] self [v3] | semmle.label | [post] self [v3] |
403421| file://:0:0:0:0 | [post] self [x, some:0] | semmle.label | [post] self [x, some:0] |
404422| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
423+ | file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
405424| file://:0:0:0:0 | self [a, x] | semmle.label | self [a, x] |
406425| file://:0:0:0:0 | self [str] | semmle.label | self [str] |
407426| file://:0:0:0:0 | self [v2, some:0] | semmle.label | self [v2, some:0] |
408427| file://:0:0:0:0 | self [v2] | semmle.label | self [v2] |
409428| file://:0:0:0:0 | self [v3] | semmle.label | self [v3] |
410429| file://:0:0:0:0 | self [x, some:0] | semmle.label | self [x, some:0] |
411430| file://:0:0:0:0 | self [x] | semmle.label | self [x] |
431+ | file://:0:0:0:0 | self [x] | semmle.label | self [x] |
432+ | file://:0:0:0:0 | value | semmle.label | value |
412433| file://:0:0:0:0 | value | semmle.label | value |
413434| file://:0:0:0:0 | value | semmle.label | value |
414435| file://:0:0:0:0 | value | semmle.label | value |
@@ -665,6 +686,7 @@ nodes
665686| test.swift:509:15:509:17 | ...! | semmle.label | ...! |
666687| test.swift:511:15:511:15 | e6 [some:0] | semmle.label | e6 [some:0] |
667688| test.swift:511:15:511:17 | ...! | semmle.label | ...! |
689+ | test.swift:517:13:517:28 | call to optionalSource() | semmle.label | call to optionalSource() |
668690| test.swift:517:13:517:28 | call to optionalSource() [some:0] | semmle.label | call to optionalSource() [some:0] |
669691| test.swift:519:8:519:12 | let ...? [some:0] | semmle.label | let ...? [some:0] |
670692| test.swift:519:12:519:12 | a | semmle.label | a |
@@ -676,13 +698,20 @@ nodes
676698| test.swift:526:21:526:21 | a | semmle.label | a |
677699| test.swift:527:19:527:19 | a | semmle.label | a |
678700| test.swift:540:9:540:9 | self [x, some:0] | semmle.label | self [x, some:0] |
701+ | test.swift:540:9:540:9 | self [x] | semmle.label | self [x] |
702+ | test.swift:540:9:540:9 | value | semmle.label | value |
679703| test.swift:540:9:540:9 | value [some:0] | semmle.label | value [some:0] |
704+ | test.swift:544:13:544:28 | call to optionalSource() | semmle.label | call to optionalSource() |
680705| test.swift:544:13:544:28 | call to optionalSource() [some:0] | semmle.label | call to optionalSource() [some:0] |
681706| test.swift:546:5:546:5 | [post] cx [x, some:0] | semmle.label | [post] cx [x, some:0] |
707+ | test.swift:546:5:546:5 | [post] cx [x] | semmle.label | [post] cx [x] |
708+ | test.swift:546:12:546:12 | x | semmle.label | x |
682709| test.swift:546:12:546:12 | x [some:0] | semmle.label | x [some:0] |
683710| test.swift:550:11:550:15 | let ...? [some:0] | semmle.label | let ...? [some:0] |
684711| test.swift:550:15:550:15 | z1 | semmle.label | z1 |
685712| test.swift:550:20:550:20 | cx [x, some:0] | semmle.label | cx [x, some:0] |
713+ | test.swift:550:20:550:20 | cx [x] | semmle.label | cx [x] |
714+ | test.swift:550:20:550:23 | .x | semmle.label | .x |
686715| test.swift:550:20:550:23 | .x [some:0] | semmle.label | .x [some:0] |
687716| test.swift:551:15:551:15 | z1 | semmle.label | z1 |
688717| test.swift:557:13:557:21 | call to +(_:) | semmle.label | call to +(_:) |
@@ -846,8 +875,10 @@ subpaths
846875| test.swift:219:13:219:15 | .a [x] | test.swift:163:7:163:7 | self [x] | file://:0:0:0:0 | .x | test.swift:219:13:219:17 | .x |
847876| test.swift:490:24:490:31 | call to source() | test.swift:375:16:375:21 | v | test.swift:375:45:375:62 | call to ... [mySingle:0] | test.swift:490:14:490:32 | call to mkMyEnum1(_:) [mySingle:0] |
848877| test.swift:503:26:503:33 | call to source() | test.swift:377:18:377:23 | v | test.swift:377:45:377:60 | call to ... [some:0] | test.swift:503:14:503:34 | call to mkOptional1(_:) [some:0] |
878+ | test.swift:546:12:546:12 | x | test.swift:540:9:540:9 | value | file://:0:0:0:0 | [post] self [x] | test.swift:546:5:546:5 | [post] cx [x] |
849879| test.swift:546:12:546:12 | x [some:0] | test.swift:540:9:540:9 | value [some:0] | file://:0:0:0:0 | [post] self [x, some:0] | test.swift:546:5:546:5 | [post] cx [x, some:0] |
850880| test.swift:550:20:550:20 | cx [x, some:0] | test.swift:540:9:540:9 | self [x, some:0] | file://:0:0:0:0 | .x [some:0] | test.swift:550:20:550:23 | .x [some:0] |
881+ | test.swift:550:20:550:20 | cx [x] | test.swift:540:9:540:9 | self [x] | file://:0:0:0:0 | .x | test.swift:550:20:550:23 | .x |
851882| test.swift:574:20:574:28 | call to source3() | test.swift:567:10:567:13 | s | test.swift:568:7:568:7 | [post] self [str] | test.swift:574:7:574:7 | [post] self [str] |
852883| test.swift:580:13:580:33 | call to MyClass.init(s:) [str] | test.swift:566:9:566:9 | self [str] | file://:0:0:0:0 | .str | test.swift:580:13:580:35 | .str |
853884| test.swift:580:24:580:32 | call to source3() | test.swift:567:10:567:13 | s | test.swift:567:5:569:5 | self[return] [str] | test.swift:580:13:580:33 | call to MyClass.init(s:) [str] |
0 commit comments