6
6
| file://:0:0:0:0 | self [v3] | file://:0:0:0:0 | .v3 |
7
7
| file://:0:0:0:0 | self [x, some:0] | file://:0:0:0:0 | .x [some:0] |
8
8
| 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 |
9
10
| file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [v2] |
10
11
| file://:0:0:0:0 | value | file://:0:0:0:0 | [post] self [v3] |
11
12
| 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] |
12
14
| file://:0:0:0:0 | value [some:0] | file://:0:0:0:0 | [post] self [v2, some:0] |
13
15
| file://:0:0:0:0 | value [some:0] | file://:0:0:0:0 | [post] self [x, some:0] |
14
16
| test.swift:6:19:6:26 | call to source() | test.swift:7:15:7:15 | t1 |
@@ -109,6 +111,8 @@ edges
109
111
| test.swift:225:14:225:21 | call to source() | test.swift:238:13:238:15 | .source_value |
110
112
| test.swift:259:12:259:19 | call to source() | test.swift:259:12:259:19 | call to source() [some:0] |
111
113
| 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() |
112
116
| test.swift:259:12:259:19 | call to source() [some:0] | test.swift:263:13:263:28 | call to optionalSource() [some:0] |
113
117
| test.swift:259:12:259:19 | call to source() [some:0] | test.swift:517:13:517:28 | call to optionalSource() [some:0] |
114
118
| 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
119
123
| test.swift:263:13:263:28 | call to optionalSource() | test.swift:275:15:275:27 | ... ??(_:_:) ... |
120
124
| test.swift:263:13:263:28 | call to optionalSource() | test.swift:279:15:279:31 | ... ? ... : ... |
121
125
| 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 |
122
127
| 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 |
123
129
| test.swift:263:13:263:28 | call to optionalSource() | test.swift:303:15:303:16 | ...! |
124
130
| test.swift:263:13:263:28 | call to optionalSource() [some:0] | test.swift:267:15:267:15 | x [some:0] |
125
131
| 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
147
153
| test.swift:291:16:291:17 | ...? | test.swift:291:16:291:26 | call to signum() |
148
154
| test.swift:291:16:291:17 | ...? [some:0] | test.swift:291:16:291:26 | call to signum() [some:0] |
149
155
| 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 |
150
157
| test.swift:291:16:291:26 | call to signum() [some:0] | test.swift:291:8:291:12 | let ...? [some:0] |
151
158
| test.swift:298:11:298:15 | let ...? [some:0] | test.swift:298:15:298:15 | z1 |
152
159
| test.swift:298:15:298:15 | z1 | test.swift:300:15:300:15 | z1 |
@@ -246,6 +253,7 @@ edges
246
253
| test.swift:507:15:507:15 | e2 [some:0] | test.swift:507:15:507:17 | ...! |
247
254
| test.swift:509:15:509:15 | e4 [some:0] | test.swift:509:15:509:17 | ...! |
248
255
| 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 |
249
257
| test.swift:517:13:517:28 | call to optionalSource() [some:0] | test.swift:519:8:519:12 | let ...? [some:0] |
250
258
| test.swift:517:13:517:28 | call to optionalSource() [some:0] | test.swift:524:19:524:19 | x [some:0] |
251
259
| test.swift:519:8:519:12 | let ...? [some:0] | test.swift:519:12:519:12 | a |
@@ -256,15 +264,24 @@ edges
256
264
| test.swift:526:11:526:22 | .some(...) [some:0] | test.swift:526:21:526:21 | a |
257
265
| test.swift:526:21:526:21 | a | test.swift:527:19:527:19 | a |
258
266
| 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 |
259
269
| 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 |
260
271
| test.swift:544:13:544:28 | call to optionalSource() [some:0] | test.swift:546:12:546:12 | x [some:0] |
261
272
| 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] |
262
276
| test.swift:546:12:546:12 | x [some:0] | test.swift:540:9:540:9 | value [some:0] |
263
277
| test.swift:546:12:546:12 | x [some:0] | test.swift:546:5:546:5 | [post] cx [x, some:0] |
264
278
| test.swift:550:11:550:15 | let ...? [some:0] | test.swift:550:15:550:15 | z1 |
265
279
| test.swift:550:15:550:15 | z1 | test.swift:551:15:551:15 | z1 |
266
280
| test.swift:550:20:550:20 | cx [x, some:0] | test.swift:540:9:540:9 | self [x, some:0] |
267
281
| 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 |
268
285
| test.swift:550:20:550:23 | .x [some:0] | test.swift:550:11:550:15 | let ...? [some:0] |
269
286
| test.swift:557:14:557:21 | call to source() | test.swift:557:13:557:21 | call to +(_:) |
270
287
| test.swift:566:9:566:9 | self [str] | file://:0:0:0:0 | self [str] |
@@ -396,19 +413,23 @@ nodes
396
413
| file://:0:0:0:0 | .v2 [some:0] | semmle.label | .v2 [some:0] |
397
414
| file://:0:0:0:0 | .v3 | semmle.label | .v3 |
398
415
| file://:0:0:0:0 | .x | semmle.label | .x |
416
+ | file://:0:0:0:0 | .x | semmle.label | .x |
399
417
| file://:0:0:0:0 | .x [some:0] | semmle.label | .x [some:0] |
400
418
| file://:0:0:0:0 | [post] self [v2, some:0] | semmle.label | [post] self [v2, some:0] |
401
419
| file://:0:0:0:0 | [post] self [v2] | semmle.label | [post] self [v2] |
402
420
| file://:0:0:0:0 | [post] self [v3] | semmle.label | [post] self [v3] |
403
421
| file://:0:0:0:0 | [post] self [x, some:0] | semmle.label | [post] self [x, some:0] |
404
422
| 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] |
405
424
| file://:0:0:0:0 | self [a, x] | semmle.label | self [a, x] |
406
425
| file://:0:0:0:0 | self [str] | semmle.label | self [str] |
407
426
| file://:0:0:0:0 | self [v2, some:0] | semmle.label | self [v2, some:0] |
408
427
| file://:0:0:0:0 | self [v2] | semmle.label | self [v2] |
409
428
| file://:0:0:0:0 | self [v3] | semmle.label | self [v3] |
410
429
| file://:0:0:0:0 | self [x, some:0] | semmle.label | self [x, some:0] |
411
430
| 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 |
412
433
| file://:0:0:0:0 | value | semmle.label | value |
413
434
| file://:0:0:0:0 | value | semmle.label | value |
414
435
| file://:0:0:0:0 | value | semmle.label | value |
@@ -665,6 +686,7 @@ nodes
665
686
| test.swift:509:15:509:17 | ...! | semmle.label | ...! |
666
687
| test.swift:511:15:511:15 | e6 [some:0] | semmle.label | e6 [some:0] |
667
688
| test.swift:511:15:511:17 | ...! | semmle.label | ...! |
689
+ | test.swift:517:13:517:28 | call to optionalSource() | semmle.label | call to optionalSource() |
668
690
| test.swift:517:13:517:28 | call to optionalSource() [some:0] | semmle.label | call to optionalSource() [some:0] |
669
691
| test.swift:519:8:519:12 | let ...? [some:0] | semmle.label | let ...? [some:0] |
670
692
| test.swift:519:12:519:12 | a | semmle.label | a |
@@ -676,13 +698,20 @@ nodes
676
698
| test.swift:526:21:526:21 | a | semmle.label | a |
677
699
| test.swift:527:19:527:19 | a | semmle.label | a |
678
700
| 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 |
679
703
| 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() |
680
705
| test.swift:544:13:544:28 | call to optionalSource() [some:0] | semmle.label | call to optionalSource() [some:0] |
681
706
| 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 |
682
709
| test.swift:546:12:546:12 | x [some:0] | semmle.label | x [some:0] |
683
710
| test.swift:550:11:550:15 | let ...? [some:0] | semmle.label | let ...? [some:0] |
684
711
| test.swift:550:15:550:15 | z1 | semmle.label | z1 |
685
712
| 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 |
686
715
| test.swift:550:20:550:23 | .x [some:0] | semmle.label | .x [some:0] |
687
716
| test.swift:551:15:551:15 | z1 | semmle.label | z1 |
688
717
| test.swift:557:13:557:21 | call to +(_:) | semmle.label | call to +(_:) |
@@ -846,8 +875,10 @@ subpaths
846
875
| 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 |
847
876
| 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] |
848
877
| 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] |
849
879
| 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] |
850
880
| 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 |
851
882
| 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] |
852
883
| 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 |
853
884
| 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