Skip to content

Commit efc9483

Browse files
owen-mcowen-mc
committed
Test changes (not intended, in most cases)
1 parent 93121d9 commit efc9483

File tree

15 files changed

+501
-57
lines changed

15 files changed

+501
-57
lines changed

‎go/ql/test/experimental/CWE-522-DecompressionBombs/DecompressionBombs.expected‎

Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,30 +68,96 @@ edges
6868
| test.go:91:15:91:26 | selection of Body | test.go:555:19:555:22 | definition of file | provenance | Src:MaD:1 |
6969
| test.go:93:5:93:16 | selection of Body | test.go:580:9:580:12 | definition of file | provenance | Src:MaD:1 |
7070
| test.go:128:20:128:27 | definition of filename | test.go:130:33:130:40 | filename | provenance | |
71+
| test.go:130:2:130:41 | ... := ...[0] | test.go:131:2:142:2 | range statement[1] | provenance | |
72+
| test.go:130:2:130:41 | ... := ...[0] | test.go:131:9:131:9 | definition of f | provenance | |
7173
| test.go:130:2:130:41 | ... := ...[0] | test.go:132:12:132:12 | f | provenance | |
7274
| test.go:130:33:130:40 | filename | test.go:130:2:130:41 | ... := ...[0] | provenance | Config |
7375
| test.go:130:33:130:40 | filename | test.go:143:51:143:58 | filename | provenance | |
76+
| test.go:131:2:142:2 | range statement[1] | test.go:132:12:132:12 | f | provenance | |
77+
| test.go:131:9:131:9 | definition of f | test.go:132:12:132:12 | f | provenance | |
78+
| test.go:131:9:131:9 | definition of f | test.go:132:12:132:12 | f | provenance | |
79+
| test.go:132:3:132:4 | definition of rc | test.go:134:37:134:38 | rc | provenance | |
80+
| test.go:132:3:132:4 | definition of rc | test.go:134:37:134:38 | rc | provenance | |
81+
| test.go:132:3:132:4 | definition of rc | test.go:140:8:140:9 | rc | provenance | |
82+
| test.go:132:3:132:4 | definition of rc | test.go:140:8:140:9 | rc | provenance | |
83+
| test.go:132:3:132:19 | ... := ...[0] | test.go:132:3:132:4 | definition of rc | provenance | |
84+
| test.go:132:3:132:19 | ... := ...[0] | test.go:132:3:132:4 | definition of rc | provenance | |
7485
| test.go:132:3:132:19 | ... := ...[0] | test.go:134:37:134:38 | rc | provenance | |
86+
| test.go:132:3:132:19 | ... := ...[0] | test.go:134:37:134:38 | rc | provenance | |
87+
| test.go:132:3:132:19 | ... := ...[0] | test.go:140:8:140:9 | rc | provenance | |
88+
| test.go:132:3:132:19 | ... := ...[0] | test.go:140:8:140:9 | rc | provenance | |
89+
| test.go:132:12:132:12 | f | test.go:132:3:132:19 | ... := ...[0] | provenance | MaD:4 |
7590
| test.go:132:12:132:12 | f | test.go:132:3:132:19 | ... := ...[0] | provenance | MaD:4 |
91+
| test.go:140:8:140:9 | rc | test.go:134:37:134:38 | rc | provenance | |
92+
| test.go:143:2:143:59 | ... := ...[0] | test.go:144:2:155:2 | range statement[1] | provenance | |
93+
| test.go:143:2:143:59 | ... := ...[0] | test.go:144:9:144:9 | definition of f | provenance | |
7694
| test.go:143:2:143:59 | ... := ...[0] | test.go:145:12:145:12 | f | provenance | |
7795
| test.go:143:51:143:58 | filename | test.go:143:2:143:59 | ... := ...[0] | provenance | Config |
96+
| test.go:144:2:155:2 | range statement[1] | test.go:145:12:145:12 | f | provenance | |
97+
| test.go:144:9:144:9 | definition of f | test.go:145:12:145:12 | f | provenance | |
98+
| test.go:144:9:144:9 | definition of f | test.go:145:12:145:12 | f | provenance | |
99+
| test.go:145:3:145:4 | definition of rc | test.go:147:37:147:38 | rc | provenance | |
100+
| test.go:145:3:145:4 | definition of rc | test.go:147:37:147:38 | rc | provenance | |
101+
| test.go:145:3:145:4 | definition of rc | test.go:153:8:153:9 | rc | provenance | |
102+
| test.go:145:3:145:4 | definition of rc | test.go:153:8:153:9 | rc | provenance | |
103+
| test.go:145:3:145:19 | ... := ...[0] | test.go:145:3:145:4 | definition of rc | provenance | |
104+
| test.go:145:3:145:19 | ... := ...[0] | test.go:145:3:145:4 | definition of rc | provenance | |
105+
| test.go:145:3:145:19 | ... := ...[0] | test.go:147:37:147:38 | rc | provenance | |
106+
| test.go:145:3:145:19 | ... := ...[0] | test.go:147:37:147:38 | rc | provenance | |
107+
| test.go:145:3:145:19 | ... := ...[0] | test.go:153:8:153:9 | rc | provenance | |
108+
| test.go:145:3:145:19 | ... := ...[0] | test.go:153:8:153:9 | rc | provenance | |
78109
| test.go:145:12:145:12 | f | test.go:145:12:145:19 | call to Open | provenance | Config |
110+
| test.go:145:12:145:12 | f | test.go:145:12:145:19 | call to Open | provenance | Config |
111+
| test.go:145:12:145:19 | call to Open | test.go:145:3:145:4 | definition of rc | provenance | |
112+
| test.go:145:12:145:19 | call to Open | test.go:145:3:145:4 | definition of rc | provenance | |
113+
| test.go:145:12:145:19 | call to Open | test.go:145:3:145:19 | ... := ...[0] | provenance | |
114+
| test.go:145:12:145:19 | call to Open | test.go:145:3:145:19 | ... := ...[0] | provenance | |
115+
| test.go:145:12:145:19 | call to Open | test.go:147:37:147:38 | rc | provenance | |
79116
| test.go:145:12:145:19 | call to Open | test.go:147:37:147:38 | rc | provenance | |
117+
| test.go:153:8:153:9 | rc | test.go:147:37:147:38 | rc | provenance | |
80118
| test.go:158:19:158:22 | definition of file | test.go:159:25:159:28 | file | provenance | |
81119
| test.go:159:2:159:29 | ... := ...[0] | test.go:160:48:160:52 | file1 | provenance | |
82120
| test.go:159:25:159:28 | file | test.go:159:2:159:29 | ... := ...[0] | provenance | MaD:6 |
121+
| test.go:160:2:160:69 | ... := ...[0] | test.go:161:2:166:2 | range statement[1] | provenance | |
122+
| test.go:160:2:160:69 | ... := ...[0] | test.go:161:9:161:12 | definition of file | provenance | |
83123
| test.go:160:2:160:69 | ... := ...[0] | test.go:163:26:163:29 | file | provenance | |
84124
| test.go:160:32:160:53 | call to NewReader | test.go:160:2:160:69 | ... := ...[0] | provenance | Config |
85125
| test.go:160:48:160:52 | file1 | test.go:160:32:160:53 | call to NewReader | provenance | MaD:5 |
126+
| test.go:161:2:166:2 | range statement[1] | test.go:163:26:163:29 | file | provenance | |
127+
| test.go:161:9:161:12 | definition of file | test.go:163:26:163:29 | file | provenance | |
128+
| test.go:161:9:161:12 | definition of file | test.go:163:26:163:29 | file | provenance | |
129+
| test.go:163:3:163:18 | definition of fileReaderCloser | test.go:164:36:164:51 | fileReaderCloser | provenance | |
130+
| test.go:163:3:163:18 | definition of fileReaderCloser | test.go:164:36:164:51 | fileReaderCloser | provenance | |
131+
| test.go:163:3:163:36 | ... := ...[0] | test.go:163:3:163:18 | definition of fileReaderCloser | provenance | |
132+
| test.go:163:3:163:36 | ... := ...[0] | test.go:163:3:163:18 | definition of fileReaderCloser | provenance | |
86133
| test.go:163:3:163:36 | ... := ...[0] | test.go:164:36:164:51 | fileReaderCloser | provenance | |
134+
| test.go:163:3:163:36 | ... := ...[0] | test.go:164:36:164:51 | fileReaderCloser | provenance | |
135+
| test.go:163:26:163:29 | file | test.go:163:3:163:36 | ... := ...[0] | provenance | MaD:4 |
87136
| test.go:163:26:163:29 | file | test.go:163:3:163:36 | ... := ...[0] | provenance | MaD:4 |
88137
| test.go:169:28:169:31 | definition of file | test.go:170:25:170:28 | file | provenance | |
89138
| test.go:170:2:170:29 | ... := ...[0] | test.go:171:57:171:61 | file2 | provenance | |
90139
| test.go:170:25:170:28 | file | test.go:170:2:170:29 | ... := ...[0] | provenance | MaD:6 |
140+
| test.go:171:2:171:78 | ... := ...[0] | test.go:172:2:178:2 | range statement[1] | provenance | |
141+
| test.go:171:2:171:78 | ... := ...[0] | test.go:172:9:172:12 | definition of file | provenance | |
91142
| test.go:171:2:171:78 | ... := ...[0] | test.go:175:26:175:29 | file | provenance | |
92143
| test.go:171:41:171:62 | call to NewReader | test.go:171:2:171:78 | ... := ...[0] | provenance | Config |
93144
| test.go:171:57:171:61 | file2 | test.go:171:41:171:62 | call to NewReader | provenance | MaD:5 |
145+
| test.go:172:2:178:2 | range statement[1] | test.go:175:26:175:29 | file | provenance | |
146+
| test.go:172:9:172:12 | definition of file | test.go:175:26:175:29 | file | provenance | |
147+
| test.go:172:9:172:12 | definition of file | test.go:175:26:175:29 | file | provenance | |
148+
| test.go:175:3:175:18 | definition of fileReaderCloser | test.go:176:36:176:51 | fileReaderCloser | provenance | |
149+
| test.go:175:3:175:18 | definition of fileReaderCloser | test.go:176:36:176:51 | fileReaderCloser | provenance | |
150+
| test.go:175:3:175:36 | ... := ...[0] | test.go:175:3:175:18 | definition of fileReaderCloser | provenance | |
151+
| test.go:175:3:175:36 | ... := ...[0] | test.go:175:3:175:18 | definition of fileReaderCloser | provenance | |
152+
| test.go:175:3:175:36 | ... := ...[0] | test.go:176:36:176:51 | fileReaderCloser | provenance | |
153+
| test.go:175:3:175:36 | ... := ...[0] | test.go:176:36:176:51 | fileReaderCloser | provenance | |
94154
| test.go:175:26:175:29 | file | test.go:175:26:175:36 | call to Open | provenance | Config |
155+
| test.go:175:26:175:29 | file | test.go:175:26:175:36 | call to Open | provenance | Config |
156+
| test.go:175:26:175:36 | call to Open | test.go:175:3:175:18 | definition of fileReaderCloser | provenance | |
157+
| test.go:175:26:175:36 | call to Open | test.go:175:3:175:18 | definition of fileReaderCloser | provenance | |
158+
| test.go:175:26:175:36 | call to Open | test.go:175:3:175:36 | ... := ...[0] | provenance | |
159+
| test.go:175:26:175:36 | call to Open | test.go:175:3:175:36 | ... := ...[0] | provenance | |
160+
| test.go:175:26:175:36 | call to Open | test.go:176:36:176:51 | fileReaderCloser | provenance | |
95161
| test.go:175:26:175:36 | call to Open | test.go:176:36:176:51 | fileReaderCloser | provenance | |
96162
| test.go:181:17:181:20 | definition of file | test.go:184:41:184:44 | file | provenance | |
97163
| test.go:184:2:184:73 | ... := ...[0] | test.go:186:2:186:12 | bzip2Reader | provenance | |
@@ -261,21 +327,43 @@ nodes
261327
| test.go:128:20:128:27 | definition of filename | semmle.label | definition of filename |
262328
| test.go:130:2:130:41 | ... := ...[0] | semmle.label | ... := ...[0] |
263329
| test.go:130:33:130:40 | filename | semmle.label | filename |
330+
| test.go:131:2:142:2 | range statement[1] | semmle.label | range statement[1] |
331+
| test.go:131:9:131:9 | definition of f | semmle.label | definition of f |
332+
| test.go:132:3:132:4 | definition of rc | semmle.label | definition of rc |
333+
| test.go:132:3:132:4 | definition of rc | semmle.label | definition of rc |
264334
| test.go:132:3:132:19 | ... := ...[0] | semmle.label | ... := ...[0] |
335+
| test.go:132:3:132:19 | ... := ...[0] | semmle.label | ... := ...[0] |
336+
| test.go:132:12:132:12 | f | semmle.label | f |
265337
| test.go:132:12:132:12 | f | semmle.label | f |
266338
| test.go:134:37:134:38 | rc | semmle.label | rc |
339+
| test.go:140:8:140:9 | rc | semmle.label | rc |
267340
| test.go:143:2:143:59 | ... := ...[0] | semmle.label | ... := ...[0] |
268341
| test.go:143:51:143:58 | filename | semmle.label | filename |
342+
| test.go:144:2:155:2 | range statement[1] | semmle.label | range statement[1] |
343+
| test.go:144:9:144:9 | definition of f | semmle.label | definition of f |
344+
| test.go:145:3:145:4 | definition of rc | semmle.label | definition of rc |
345+
| test.go:145:3:145:4 | definition of rc | semmle.label | definition of rc |
346+
| test.go:145:3:145:19 | ... := ...[0] | semmle.label | ... := ...[0] |
347+
| test.go:145:3:145:19 | ... := ...[0] | semmle.label | ... := ...[0] |
269348
| test.go:145:12:145:12 | f | semmle.label | f |
349+
| test.go:145:12:145:12 | f | semmle.label | f |
350+
| test.go:145:12:145:19 | call to Open | semmle.label | call to Open |
270351
| test.go:145:12:145:19 | call to Open | semmle.label | call to Open |
271352
| test.go:147:37:147:38 | rc | semmle.label | rc |
353+
| test.go:153:8:153:9 | rc | semmle.label | rc |
272354
| test.go:158:19:158:22 | definition of file | semmle.label | definition of file |
273355
| test.go:159:2:159:29 | ... := ...[0] | semmle.label | ... := ...[0] |
274356
| test.go:159:25:159:28 | file | semmle.label | file |
275357
| test.go:160:2:160:69 | ... := ...[0] | semmle.label | ... := ...[0] |
276358
| test.go:160:32:160:53 | call to NewReader | semmle.label | call to NewReader |
277359
| test.go:160:48:160:52 | file1 | semmle.label | file1 |
360+
| test.go:161:2:166:2 | range statement[1] | semmle.label | range statement[1] |
361+
| test.go:161:9:161:12 | definition of file | semmle.label | definition of file |
362+
| test.go:163:3:163:18 | definition of fileReaderCloser | semmle.label | definition of fileReaderCloser |
363+
| test.go:163:3:163:18 | definition of fileReaderCloser | semmle.label | definition of fileReaderCloser |
278364
| test.go:163:3:163:36 | ... := ...[0] | semmle.label | ... := ...[0] |
365+
| test.go:163:3:163:36 | ... := ...[0] | semmle.label | ... := ...[0] |
366+
| test.go:163:26:163:29 | file | semmle.label | file |
279367
| test.go:163:26:163:29 | file | semmle.label | file |
280368
| test.go:164:36:164:51 | fileReaderCloser | semmle.label | fileReaderCloser |
281369
| test.go:169:28:169:31 | definition of file | semmle.label | definition of file |
@@ -284,7 +372,15 @@ nodes
284372
| test.go:171:2:171:78 | ... := ...[0] | semmle.label | ... := ...[0] |
285373
| test.go:171:41:171:62 | call to NewReader | semmle.label | call to NewReader |
286374
| test.go:171:57:171:61 | file2 | semmle.label | file2 |
375+
| test.go:172:2:178:2 | range statement[1] | semmle.label | range statement[1] |
376+
| test.go:172:9:172:12 | definition of file | semmle.label | definition of file |
377+
| test.go:175:3:175:18 | definition of fileReaderCloser | semmle.label | definition of fileReaderCloser |
378+
| test.go:175:3:175:18 | definition of fileReaderCloser | semmle.label | definition of fileReaderCloser |
379+
| test.go:175:3:175:36 | ... := ...[0] | semmle.label | ... := ...[0] |
380+
| test.go:175:3:175:36 | ... := ...[0] | semmle.label | ... := ...[0] |
287381
| test.go:175:26:175:29 | file | semmle.label | file |
382+
| test.go:175:26:175:29 | file | semmle.label | file |
383+
| test.go:175:26:175:36 | call to Open | semmle.label | call to Open |
288384
| test.go:175:26:175:36 | call to Open | semmle.label | call to Open |
289385
| test.go:176:36:176:51 | fileReaderCloser | semmle.label | fileReaderCloser |
290386
| test.go:181:17:181:20 | definition of file | semmle.label | definition of file |

‎go/ql/test/experimental/CWE-79/HTMLTemplateEscapingPassthrough.expected‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,9 @@ edges
2828
| HTMLTemplateEscapingPassthrough.go:66:11:66:39 | type conversion | HTMLTemplateEscapingPassthrough.go:67:38:67:38 | g | provenance | |
2929
| HTMLTemplateEscapingPassthrough.go:66:24:66:38 | call to UserAgent | HTMLTemplateEscapingPassthrough.go:66:11:66:39 | type conversion | provenance | Src:MaD:1 |
3030
| HTMLTemplateEscapingPassthrough.go:75:17:75:31 | call to UserAgent | HTMLTemplateEscapingPassthrough.go:76:38:76:44 | escaped | provenance | Src:MaD:1 |
31+
| HTMLTemplateEscapingPassthrough.go:81:10:81:24 | call to UserAgent | HTMLTemplateEscapingPassthrough.go:82:30:82:32 | src | provenance | Src:MaD:1 |
3132
| HTMLTemplateEscapingPassthrough.go:81:10:81:24 | call to UserAgent | HTMLTemplateEscapingPassthrough.go:84:38:84:40 | src | provenance | Src:MaD:1 |
33+
| HTMLTemplateEscapingPassthrough.go:82:30:82:32 | src | HTMLTemplateEscapingPassthrough.go:84:38:84:40 | src | provenance | |
3234
| HTMLTemplateEscapingPassthrough.go:89:10:89:24 | call to UserAgent | HTMLTemplateEscapingPassthrough.go:91:64:91:66 | src | provenance | Src:MaD:1 |
3335
| HTMLTemplateEscapingPassthrough.go:91:16:91:77 | type conversion | HTMLTemplateEscapingPassthrough.go:92:38:92:46 | converted | provenance | |
3436
| HTMLTemplateEscapingPassthrough.go:91:38:91:67 | call to HTMLEscapeString | HTMLTemplateEscapingPassthrough.go:91:16:91:77 | type conversion | provenance | |
@@ -67,6 +69,7 @@ nodes
6769
| HTMLTemplateEscapingPassthrough.go:75:17:75:31 | call to UserAgent | semmle.label | call to UserAgent |
6870
| HTMLTemplateEscapingPassthrough.go:76:38:76:44 | escaped | semmle.label | escaped |
6971
| HTMLTemplateEscapingPassthrough.go:81:10:81:24 | call to UserAgent | semmle.label | call to UserAgent |
72+
| HTMLTemplateEscapingPassthrough.go:82:30:82:32 | src | semmle.label | src |
7073
| HTMLTemplateEscapingPassthrough.go:84:38:84:40 | src | semmle.label | src |
7174
| HTMLTemplateEscapingPassthrough.go:89:10:89:24 | call to UserAgent | semmle.label | call to UserAgent |
7275
| HTMLTemplateEscapingPassthrough.go:91:16:91:77 | type conversion | semmle.label | type conversion |

‎go/ql/test/library-tests/semmle/go/dataflow/FlowSteps/LocalFlowStep.expected‎

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -68,12 +68,10 @@
6868
| main.go:11:14:11:14 | z | main.go:11:9:11:15 | type conversion |
6969
| main.go:14:6:14:10 | function test2 | main.go:34:8:34:12 | test2 |
7070
| main.go:14:6:14:10 | function test2 | main.go:34:19:34:23 | test2 |
71-
| main.go:15:2:15:4 | definition of acc | main.go:16:9:19:2 | capture variable acc |
72-
| main.go:15:9:15:9 | 0 | main.go:15:2:15:4 | definition of acc |
73-
| main.go:16:9:19:2 | capture variable acc | main.go:17:3:17:5 | acc |
74-
| main.go:17:3:17:7 | definition of acc | main.go:16:9:19:2 | capture variable acc |
75-
| main.go:17:3:17:7 | definition of acc | main.go:18:10:18:12 | acc |
76-
| main.go:17:3:17:7 | rhs of increment statement | main.go:17:3:17:7 | definition of acc |
71+
| main.go:16:9:19:2 | capture variable <anonymous>(..).acc | main.go:17:3:17:5 | acc |
72+
| main.go:17:3:17:7 | definition of <anonymous>(..).acc | main.go:16:9:19:2 | capture variable <anonymous>(..).acc |
73+
| main.go:17:3:17:7 | definition of <anonymous>(..).acc | main.go:18:10:18:12 | acc |
74+
| main.go:17:3:17:7 | rhs of increment statement | main.go:17:3:17:7 | definition of <anonymous>(..).acc |
7775
| main.go:22:12:22:12 | argument corresponding to b | main.go:22:12:22:12 | definition of b |
7876
| main.go:22:12:22:12 | definition of b | main.go:23:5:23:5 | b |
7977
| main.go:22:20:22:20 | argument corresponding to x | main.go:22:20:22:20 | definition of x |

‎go/ql/test/library-tests/semmle/go/dataflow/GlobalValueNumbering/GlobalValueNumber.expected‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -27,12 +27,9 @@
2727
| main.go:29:8:29:8 | 5 | main.go:29:8:29:8 | 5 |
2828
| main.go:30:9:30:9 | 6 | main.go:30:9:30:9 | 6 |
2929
| main.go:30:9:30:9 | definition of res | main.go:30:9:30:9 | 6 |
30-
| main.go:33:15:33:17 | definition of res | main.go:10:7:10:7 | 0 |
3130
| main.go:33:15:33:17 | zero value for res | main.go:10:7:10:7 | 0 |
32-
| main.go:34:2:34:4 | definition of res | main.go:34:8:34:8 | 7 |
3331
| main.go:34:8:34:8 | 7 | main.go:34:8:34:8 | 7 |
3432
| main.go:35:8:37:4 | function call | main.go:35:8:37:4 | function call |
35-
| main.go:36:3:36:5 | definition of res | main.go:36:9:36:9 | 8 |
3633
| main.go:36:9:36:9 | 8 | main.go:36:9:36:9 | 8 |
3734
| main.go:38:9:38:9 | 9 | main.go:38:9:38:9 | 9 |
3835
| main.go:38:9:38:9 | definition of res | main.go:38:9:38:9 | 9 |

‎go/ql/test/library-tests/semmle/go/dataflow/SSA/DefUse.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,11 +29,11 @@
2929
| main.go:97:2:97:8 | wrapper | main.go:95:22:95:28 | definition of wrapper | main.go:95:22:95:28 | wrapper |
3030
| main.go:100:9:100:9 | x | main.go:97:2:99:3 | capture variable x | main.go:96:2:96:2 | x |
3131
| main.go:105:2:105:8 | wrapper | main.go:103:20:103:26 | definition of wrapper | main.go:103:20:103:26 | wrapper |
32-
| main.go:106:8:106:8 | x | main.go:105:16:108:2 | capture variable x | main.go:104:2:104:2 | x |
32+
| main.go:106:8:106:8 | x | main.go:105:16:108:2 | capture variable <anonymous>(..).x | main.go:104:2:104:2 | <anonymous>(..).x |
3333
| main.go:107:7:107:7 | y | main.go:106:3:106:3 | definition of y | main.go:106:3:106:3 | y |
3434
| main.go:109:9:109:9 | x | main.go:104:2:104:2 | definition of x | main.go:104:2:104:2 | x |
3535
| main.go:114:2:114:8 | wrapper | main.go:112:29:112:35 | definition of wrapper | main.go:112:29:112:35 | wrapper |
36-
| main.go:115:8:115:8 | x | main.go:114:16:117:2 | capture variable x | main.go:113:2:113:2 | x |
36+
| main.go:115:8:115:8 | x | main.go:114:16:117:2 | capture variable <anonymous>(..).x | main.go:113:2:113:2 | <anonymous>(..).x |
3737
| main.go:116:7:116:7 | y | main.go:115:3:115:3 | definition of y | main.go:115:3:115:3 | y |
3838
| main.go:118:9:118:9 | x | main.go:114:2:117:3 | capture variable x | main.go:113:2:113:2 | x |
3939
| main.go:135:2:135:2 | p | main.go:135:2:135:2 | p = phi(def@130:3, def@132:3) | main.go:128:6:128:6 | p |

‎go/ql/test/library-tests/semmle/go/dataflow/SSA/SsaDefinition.expected‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -35,17 +35,15 @@
3535
| main.go:95:22:95:28 | definition of wrapper |
3636
| main.go:96:2:96:2 | definition of x |
3737
| main.go:97:2:99:3 | capture variable x |
38-
| main.go:98:3:98:3 | definition of x |
3938
| main.go:103:20:103:26 | definition of wrapper |
4039
| main.go:104:2:104:2 | definition of x |
41-
| main.go:105:16:108:2 | capture variable x |
40+
| main.go:105:16:108:2 | capture variable <anonymous>(..).x |
4241
| main.go:106:3:106:3 | definition of y |
4342
| main.go:112:29:112:35 | definition of wrapper |
4443
| main.go:113:2:113:2 | definition of x |
4544
| main.go:114:2:117:3 | capture variable x |
46-
| main.go:114:16:117:2 | capture variable x |
45+
| main.go:114:16:117:2 | capture variable <anonymous>(..).x |
4746
| main.go:115:3:115:3 | definition of y |
48-
| main.go:116:3:116:3 | definition of x |
4947
| main.go:130:3:130:3 | definition of p |
5048
| main.go:132:3:132:3 | definition of p |
5149
| main.go:135:2:135:2 | p = phi(def@130:3, def@132:3) |

0 commit comments

Comments
 (0)