Skip to content

Commit 587c4b3

Browse files
CopilotCopilot
authored
Update SSA expected files for new shared-CFG node locations
1 parent 4eba360 commit 587c4b3

5 files changed

Lines changed: 193 additions & 193 deletions

File tree

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

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,42 @@
1-
| main.go:15:12:15:12 | x | main.go:13:6:13:6 | SSA def(x) | main.go:13:6:13:6 | x |
2-
| main.go:15:15:15:15 | y | main.go:14:2:14:2 | SSA def(y) | main.go:14:2:14:2 | y |
3-
| main.go:17:3:17:3 | y | main.go:14:2:14:2 | SSA def(y) | main.go:14:2:14:2 | y |
4-
| main.go:19:12:19:12 | x | main.go:13:6:13:6 | SSA def(x) | main.go:13:6:13:6 | x |
5-
| main.go:19:15:19:15 | y | main.go:19:2:19:10 | SSA phi(y) | main.go:14:2:14:2 | y |
6-
| main.go:21:7:21:7 | y | main.go:19:2:19:10 | SSA phi(y) | main.go:14:2:14:2 | y |
7-
| main.go:23:12:23:12 | x | main.go:23:2:23:10 | SSA phi(x) | main.go:13:6:13:6 | x |
8-
| main.go:23:15:23:15 | y | main.go:19:2:19:10 | SSA phi(y) | main.go:14:2:14:2 | y |
9-
| main.go:27:10:27:10 | x | main.go:26:10:26:10 | SSA def(x) | main.go:26:10:26:10 | x |
10-
| main.go:29:10:29:10 | b | main.go:27:5:27:5 | SSA def(b) | main.go:27:5:27:5 | b |
11-
| main.go:29:13:29:13 | a | main.go:27:2:27:2 | SSA def(a) | main.go:27:2:27:2 | a |
12-
| main.go:31:9:31:9 | a | main.go:31:9:31:9 | SSA phi(a) | main.go:27:2:27:2 | a |
13-
| main.go:31:12:31:12 | b | main.go:31:9:31:9 | SSA phi(b) | main.go:27:5:27:5 | b |
14-
| main.go:35:3:35:3 | x | main.go:34:11:34:11 | SSA def(x) | main.go:34:11:34:11 | x |
15-
| main.go:40:10:40:10 | x | main.go:39:2:39:2 | SSA def(x) | main.go:39:2:39:2 | x |
16-
| main.go:42:8:42:10 | ptr | main.go:40:2:40:4 | SSA def(ptr) | main.go:40:2:40:4 | ptr |
17-
| main.go:44:12:44:12 | x | main.go:39:2:39:2 | SSA def(x) | main.go:39:2:39:2 | x |
18-
| main.go:47:13:47:18 | implicit read of result | main.go:48:2:48:7 | SSA def(result) | main.go:47:13:47:18 | result |
19-
| main.go:52:14:52:19 | implicit read of result | main.go:52:14:52:19 | SSA def(result) | main.go:52:14:52:19 | result |
20-
| main.go:61:12:61:12 | x | main.go:58:6:58:9 | SSA phi(x) | main.go:57:6:57:6 | x |
21-
| main.go:64:16:64:16 | i | main.go:65:6:65:9 | SSA phi(i) | main.go:64:6:64:6 | i |
22-
| main.go:70:12:70:12 | y | main.go:65:6:65:9 | SSA phi(y) | main.go:63:2:63:2 | y |
23-
| main.go:73:16:73:16 | i | main.go:74:3:74:3 | SSA phi(i) | main.go:73:6:73:6 | i |
24-
| main.go:79:12:79:12 | z | main.go:74:3:74:3 | SSA def(z) | main.go:72:2:72:2 | z |
25-
| main.go:82:18:82:18 | implicit read of a | main.go:84:5:84:5 | SSA def(a) | main.go:82:18:82:18 | a |
26-
| main.go:82:25:82:25 | implicit read of b | main.go:82:25:82:25 | SSA def(b) | main.go:82:25:82:25 | b |
27-
| main.go:84:9:84:9 | x | main.go:83:2:83:2 | SSA def(x) | main.go:83:2:83:2 | x |
28-
| main.go:84:15:84:15 | x | main.go:83:2:83:2 | SSA def(x) | main.go:83:2:83:2 | x |
29-
| main.go:97:2:97:8 | wrapper | main.go:95:22:95:28 | SSA def(wrapper) | main.go:95:22:95:28 | wrapper |
1+
| main.go:15:12:15:12 | x | main.go:13:6:13:10 | SSA def(x) | main.go:13:6:13:6 | x |
2+
| main.go:15:15:15:15 | y | main.go:14:2:14:8 | SSA def(y) | main.go:14:2:14:2 | y |
3+
| main.go:17:3:17:3 | y | main.go:14:2:14:8 | SSA def(y) | main.go:14:2:14:2 | y |
4+
| main.go:19:12:19:12 | x | main.go:13:6:13:10 | SSA def(x) | main.go:13:6:13:6 | x |
5+
| main.go:19:15:19:15 | y | main.go:16:2:18:2 | SSA phi(y) | main.go:14:2:14:2 | y |
6+
| main.go:21:7:21:7 | y | main.go:16:2:18:2 | SSA phi(y) | main.go:14:2:14:2 | y |
7+
| main.go:23:12:23:12 | x | main.go:20:2:22:2 | SSA phi(x) | main.go:13:6:13:6 | x |
8+
| main.go:23:15:23:15 | y | main.go:16:2:18:2 | SSA phi(y) | main.go:14:2:14:2 | y |
9+
| main.go:27:10:27:10 | x | main.go:26:28:32:1 | SSA def(x) | main.go:26:10:26:10 | x |
10+
| main.go:29:10:29:10 | b | main.go:27:2:27:13 | SSA def(b) | main.go:27:5:27:5 | b |
11+
| main.go:29:13:29:13 | a | main.go:27:2:27:13 | SSA def(a) | main.go:27:2:27:2 | a |
12+
| main.go:31:9:31:9 | a | main.go:28:2:30:2 | SSA phi(a) | main.go:27:2:27:2 | a |
13+
| main.go:31:12:31:12 | b | main.go:28:2:30:2 | SSA phi(b) | main.go:27:5:27:5 | b |
14+
| main.go:35:3:35:3 | x | main.go:34:19:36:1 | SSA def(x) | main.go:34:11:34:11 | x |
15+
| main.go:40:10:40:10 | x | main.go:39:2:39:8 | SSA def(x) | main.go:39:2:39:2 | x |
16+
| main.go:42:8:42:10 | ptr | main.go:40:2:40:10 | SSA def(ptr) | main.go:40:2:40:4 | ptr |
17+
| main.go:44:12:44:12 | x | main.go:39:2:39:8 | SSA def(x) | main.go:39:2:39:2 | x |
18+
| main.go:47:25:50:1 | result-read:0 block statement | main.go:48:2:48:12 | SSA def(result) | main.go:47:13:47:18 | result |
19+
| main.go:52:26:54:1 | result-read:0 block statement | main.go:52:26:54:1 | SSA def(result) | main.go:52:14:52:19 | result |
20+
| main.go:61:12:61:12 | x | main.go:58:6:58:11 | SSA phi(x) | main.go:57:6:57:6 | x |
21+
| main.go:64:16:64:16 | i | main.go:64:20:69:2 | SSA phi(i) | main.go:64:6:64:6 | i |
22+
| main.go:70:12:70:12 | y | main.go:64:20:69:2 | SSA phi(y) | main.go:63:2:63:2 | y |
23+
| main.go:73:16:73:16 | i | main.go:73:20:78:2 | SSA phi(i) | main.go:73:6:73:6 | i |
24+
| main.go:79:12:79:12 | z | main.go:74:3:74:7 | SSA def(z) | main.go:72:2:72:2 | z |
25+
| main.go:82:36:86:1 | result-read:0 block statement | main.go:84:2:84:15 | SSA def(a) | main.go:82:18:82:18 | a |
26+
| main.go:82:36:86:1 | result-read:1 block statement | main.go:82:36:86:1 | SSA def(b) | main.go:82:25:82:25 | b |
27+
| main.go:84:9:84:9 | x | main.go:83:2:83:8 | SSA def(x) | main.go:83:2:83:2 | x |
28+
| main.go:84:15:84:15 | x | main.go:83:2:83:8 | SSA def(x) | main.go:83:2:83:2 | x |
29+
| main.go:97:2:97:8 | wrapper | main.go:95:47:101:1 | SSA def(wrapper) | main.go:95:22:95:28 | wrapper |
3030
| main.go:100:9:100:9 | x | main.go:97:2:99:3 | SSA def(x) | main.go:96:2:96:2 | x |
31-
| main.go:105:2:105:8 | wrapper | main.go:103:20:103:26 | SSA def(wrapper) | main.go:103:20:103:26 | wrapper |
31+
| main.go:105:2:105:8 | wrapper | main.go:103:45:110:1 | SSA def(wrapper) | main.go:103:20:103:26 | wrapper |
3232
| main.go:106:8:106:8 | x | main.go:105:16:108:2 | SSA def(x) | main.go:104:2:104:2 | x |
33-
| main.go:107:7:107:7 | y | main.go:106:3:106:3 | SSA def(y) | main.go:106:3:106:3 | y |
34-
| main.go:109:9:109:9 | x | main.go:104:2:104:2 | SSA def(x) | main.go:104:2:104:2 | x |
35-
| main.go:114:2:114:8 | wrapper | main.go:112:29:112:35 | SSA def(wrapper) | main.go:112:29:112:35 | wrapper |
33+
| main.go:107:7:107:7 | y | main.go:106:3:106:8 | SSA def(y) | main.go:106:3:106:3 | y |
34+
| main.go:109:9:109:9 | x | main.go:104:2:104:7 | SSA def(x) | main.go:104:2:104:2 | x |
35+
| main.go:114:2:114:8 | wrapper | main.go:112:54:119:1 | SSA def(wrapper) | main.go:112:29:112:35 | wrapper |
3636
| main.go:115:8:115:8 | x | main.go:114:16:117:2 | SSA def(x) | main.go:113:2:113:2 | x |
37-
| main.go:116:7:116:7 | y | main.go:115:3:115:3 | SSA def(y) | main.go:115:3:115:3 | y |
37+
| main.go:116:7:116:7 | y | main.go:115:3:115:12 | SSA def(y) | main.go:115:3:115:3 | y |
3838
| main.go:118:9:118:9 | x | main.go:114:2:117:3 | SSA def(x) | main.go:113:2:113:2 | x |
39-
| main.go:135:2:135:2 | p | main.go:135:2:135:2 | SSA phi(p) | main.go:128:6:128:6 | p |
40-
| main.go:137:12:137:12 | p | main.go:135:2:135:2 | SSA phi(p) | main.go:128:6:128:6 | p |
41-
| main.go:137:17:137:17 | p | main.go:135:2:135:2 | SSA phi(p) | main.go:128:6:128:6 | p |
42-
| main.go:137:24:137:24 | p | main.go:135:2:135:2 | SSA phi(p) | main.go:128:6:128:6 | p |
39+
| main.go:135:2:135:2 | p | main.go:129:2:133:2 | SSA phi(p) | main.go:128:6:128:6 | p |
40+
| main.go:137:12:137:12 | p | main.go:129:2:133:2 | SSA phi(p) | main.go:128:6:128:6 | p |
41+
| main.go:137:17:137:17 | p | main.go:129:2:133:2 | SSA phi(p) | main.go:128:6:128:6 | p |
42+
| main.go:137:24:137:24 | p | main.go:129:2:133:2 | SSA phi(p) | main.go:128:6:128:6 | p |

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

Lines changed: 45 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -1,51 +1,51 @@
1-
| main.go:13:6:13:6 | SSA def(x) |
2-
| main.go:14:2:14:2 | SSA def(y) |
3-
| main.go:17:3:17:3 | SSA def(y) |
4-
| main.go:19:2:19:10 | SSA phi(y) |
5-
| main.go:21:3:21:3 | SSA def(x) |
6-
| main.go:23:2:23:10 | SSA phi(x) |
7-
| main.go:26:10:26:10 | SSA def(x) |
8-
| main.go:27:2:27:2 | SSA def(a) |
9-
| main.go:27:5:27:5 | SSA def(b) |
10-
| main.go:29:3:29:3 | SSA def(a) |
11-
| main.go:29:6:29:6 | SSA def(b) |
12-
| main.go:31:9:31:9 | SSA phi(a) |
13-
| main.go:31:9:31:9 | SSA phi(b) |
14-
| main.go:34:11:34:11 | SSA def(x) |
15-
| main.go:39:2:39:2 | SSA def(x) |
16-
| main.go:40:2:40:4 | SSA def(ptr) |
17-
| main.go:48:2:48:7 | SSA def(result) |
18-
| main.go:52:14:52:19 | SSA def(result) |
19-
| main.go:57:6:57:6 | SSA def(x) |
20-
| main.go:58:6:58:9 | SSA phi(x) |
21-
| main.go:59:3:59:3 | SSA def(x) |
22-
| main.go:63:2:63:2 | SSA def(y) |
23-
| main.go:64:6:64:6 | SSA def(i) |
1+
| main.go:13:6:13:10 | SSA def(x) |
2+
| main.go:14:2:14:8 | SSA def(y) |
3+
| main.go:16:2:18:2 | SSA phi(y) |
4+
| main.go:17:3:17:9 | SSA def(y) |
5+
| main.go:20:2:22:2 | SSA phi(x) |
6+
| main.go:21:3:21:7 | SSA def(x) |
7+
| main.go:26:28:32:1 | SSA def(x) |
8+
| main.go:27:2:27:13 | SSA def(a) |
9+
| main.go:27:2:27:13 | SSA def(b) |
10+
| main.go:28:2:30:2 | SSA phi(a) |
11+
| main.go:28:2:30:2 | SSA phi(b) |
12+
| main.go:29:3:29:13 | SSA def(a) |
13+
| main.go:29:3:29:13 | SSA def(b) |
14+
| main.go:34:19:36:1 | SSA def(x) |
15+
| main.go:39:2:39:8 | SSA def(x) |
16+
| main.go:40:2:40:10 | SSA def(ptr) |
17+
| main.go:48:2:48:12 | SSA def(result) |
18+
| main.go:52:26:54:1 | SSA def(result) |
19+
| main.go:57:6:57:10 | SSA def(x) |
20+
| main.go:58:6:58:11 | SSA phi(x) |
21+
| main.go:59:3:59:7 | SSA def(x) |
22+
| main.go:63:2:63:7 | SSA def(y) |
23+
| main.go:64:6:64:11 | SSA def(i) |
2424
| main.go:64:16:64:18 | SSA def(i) |
25-
| main.go:65:6:65:9 | SSA phi(i) |
26-
| main.go:65:6:65:9 | SSA phi(y) |
27-
| main.go:68:3:68:3 | SSA def(y) |
28-
| main.go:73:6:73:6 | SSA def(i) |
25+
| main.go:64:20:69:2 | SSA phi(i) |
26+
| main.go:64:20:69:2 | SSA phi(y) |
27+
| main.go:68:3:68:7 | SSA def(y) |
28+
| main.go:73:6:73:11 | SSA def(i) |
2929
| main.go:73:16:73:18 | SSA def(i) |
30-
| main.go:74:3:74:3 | SSA def(z) |
31-
| main.go:74:3:74:3 | SSA phi(i) |
32-
| main.go:82:25:82:25 | SSA def(b) |
33-
| main.go:83:2:83:2 | SSA def(x) |
34-
| main.go:84:5:84:5 | SSA def(a) |
35-
| main.go:95:22:95:28 | SSA def(wrapper) |
36-
| main.go:96:2:96:2 | SSA def(x) |
30+
| main.go:73:20:78:2 | SSA phi(i) |
31+
| main.go:74:3:74:7 | SSA def(z) |
32+
| main.go:82:36:86:1 | SSA def(b) |
33+
| main.go:83:2:83:8 | SSA def(x) |
34+
| main.go:84:2:84:15 | SSA def(a) |
35+
| main.go:95:47:101:1 | SSA def(wrapper) |
36+
| main.go:96:2:96:7 | SSA def(x) |
3737
| main.go:97:2:99:3 | SSA def(x) |
38-
| main.go:98:3:98:3 | SSA def(x) |
39-
| main.go:103:20:103:26 | SSA def(wrapper) |
40-
| main.go:104:2:104:2 | SSA def(x) |
38+
| main.go:98:3:98:7 | SSA def(x) |
39+
| main.go:103:45:110:1 | SSA def(wrapper) |
40+
| main.go:104:2:104:7 | SSA def(x) |
4141
| main.go:105:16:108:2 | SSA def(x) |
42-
| main.go:106:3:106:3 | SSA def(y) |
43-
| main.go:112:29:112:35 | SSA def(wrapper) |
44-
| main.go:113:2:113:2 | SSA def(x) |
42+
| main.go:106:3:106:8 | SSA def(y) |
43+
| main.go:112:54:119:1 | SSA def(wrapper) |
44+
| main.go:113:2:113:7 | SSA def(x) |
4545
| main.go:114:2:117:3 | SSA def(x) |
4646
| main.go:114:16:117:2 | SSA def(x) |
47-
| main.go:115:3:115:3 | SSA def(y) |
48-
| main.go:116:3:116:3 | SSA def(x) |
49-
| main.go:130:3:130:3 | SSA def(p) |
50-
| main.go:132:3:132:3 | SSA def(p) |
51-
| main.go:135:2:135:2 | SSA phi(p) |
47+
| main.go:115:3:115:12 | SSA def(y) |
48+
| main.go:116:3:116:7 | SSA def(x) |
49+
| main.go:129:2:133:2 | SSA phi(p) |
50+
| main.go:130:3:130:24 | SSA def(p) |
51+
| main.go:132:3:132:24 | SSA def(p) |

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

Lines changed: 52 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -1,58 +1,58 @@
1-
| main.go:13:6:13:6 | (SSA def(x)) | x |
2-
| main.go:14:2:14:2 | (SSA def(y)) | y |
3-
| main.go:17:3:17:3 | (SSA def(y)) | y |
4-
| main.go:19:2:19:10 | (SSA phi(y)) | y |
5-
| main.go:21:3:21:3 | (SSA def(x)) | x |
6-
| main.go:23:2:23:10 | (SSA phi(x)) | x |
7-
| main.go:26:10:26:10 | (SSA def(x)) | x |
8-
| main.go:27:2:27:2 | (SSA def(a)) | a |
9-
| main.go:27:5:27:5 | (SSA def(b)) | b |
10-
| main.go:29:3:29:3 | (SSA def(a)) | a |
11-
| main.go:29:6:29:6 | (SSA def(b)) | b |
12-
| main.go:31:9:31:9 | (SSA phi(a)) | a |
13-
| main.go:31:9:31:9 | (SSA phi(b)) | b |
14-
| main.go:34:11:34:11 | (SSA def(x)) | x |
15-
| main.go:39:2:39:2 | (SSA def(x)) | x |
16-
| main.go:40:2:40:4 | (SSA def(ptr)) | ptr |
17-
| main.go:48:2:48:7 | (SSA def(result)) | result |
18-
| main.go:52:14:52:19 | (SSA def(result)) | result |
19-
| main.go:57:6:57:6 | (SSA def(x)) | x |
20-
| main.go:58:6:58:9 | (SSA phi(x)) | x |
21-
| main.go:59:3:59:3 | (SSA def(x)) | x |
22-
| main.go:63:2:63:2 | (SSA def(y)) | y |
23-
| main.go:64:6:64:6 | (SSA def(i)) | i |
1+
| main.go:13:6:13:10 | (SSA def(x)) | x |
2+
| main.go:14:2:14:8 | (SSA def(y)) | y |
3+
| main.go:16:2:18:2 | (SSA phi(y)) | y |
4+
| main.go:17:3:17:9 | (SSA def(y)) | y |
5+
| main.go:20:2:22:2 | (SSA phi(x)) | x |
6+
| main.go:21:3:21:7 | (SSA def(x)) | x |
7+
| main.go:26:28:32:1 | (SSA def(x)) | x |
8+
| main.go:27:2:27:13 | (SSA def(a)) | a |
9+
| main.go:27:2:27:13 | (SSA def(b)) | b |
10+
| main.go:28:2:30:2 | (SSA phi(a)) | a |
11+
| main.go:28:2:30:2 | (SSA phi(b)) | b |
12+
| main.go:29:3:29:13 | (SSA def(a)) | a |
13+
| main.go:29:3:29:13 | (SSA def(b)) | b |
14+
| main.go:34:19:36:1 | (SSA def(x)) | x |
15+
| main.go:39:2:39:8 | (SSA def(x)) | x |
16+
| main.go:40:2:40:10 | (SSA def(ptr)) | ptr |
17+
| main.go:48:2:48:12 | (SSA def(result)) | result |
18+
| main.go:52:26:54:1 | (SSA def(result)) | result |
19+
| main.go:57:6:57:10 | (SSA def(x)) | x |
20+
| main.go:58:6:58:11 | (SSA phi(x)) | x |
21+
| main.go:59:3:59:7 | (SSA def(x)) | x |
22+
| main.go:63:2:63:7 | (SSA def(y)) | y |
23+
| main.go:64:6:64:11 | (SSA def(i)) | i |
2424
| main.go:64:16:64:18 | (SSA def(i)) | i |
25-
| main.go:65:6:65:9 | (SSA phi(i)) | i |
26-
| main.go:65:6:65:9 | (SSA phi(y)) | y |
27-
| main.go:68:3:68:3 | (SSA def(y)) | y |
28-
| main.go:73:6:73:6 | (SSA def(i)) | i |
25+
| main.go:64:20:69:2 | (SSA phi(i)) | i |
26+
| main.go:64:20:69:2 | (SSA phi(y)) | y |
27+
| main.go:68:3:68:7 | (SSA def(y)) | y |
28+
| main.go:73:6:73:11 | (SSA def(i)) | i |
2929
| main.go:73:16:73:18 | (SSA def(i)) | i |
30-
| main.go:74:3:74:3 | (SSA def(z)) | z |
31-
| main.go:74:3:74:3 | (SSA phi(i)) | i |
32-
| main.go:82:25:82:25 | (SSA def(b)) | b |
33-
| main.go:83:2:83:2 | (SSA def(x)) | x |
34-
| main.go:84:5:84:5 | (SSA def(a)) | a |
35-
| main.go:95:22:95:28 | (SSA def(wrapper)) | wrapper |
36-
| main.go:95:22:95:28 | (SSA def(wrapper)).s | wrapper.s |
37-
| main.go:96:2:96:2 | (SSA def(x)) | x |
30+
| main.go:73:20:78:2 | (SSA phi(i)) | i |
31+
| main.go:74:3:74:7 | (SSA def(z)) | z |
32+
| main.go:82:36:86:1 | (SSA def(b)) | b |
33+
| main.go:83:2:83:8 | (SSA def(x)) | x |
34+
| main.go:84:2:84:15 | (SSA def(a)) | a |
35+
| main.go:95:47:101:1 | (SSA def(wrapper)) | wrapper |
36+
| main.go:95:47:101:1 | (SSA def(wrapper)).s | wrapper.s |
37+
| main.go:96:2:96:7 | (SSA def(x)) | x |
3838
| main.go:97:2:99:3 | (SSA def(x)) | x |
39-
| main.go:98:3:98:3 | (SSA def(x)) | x |
40-
| main.go:103:20:103:26 | (SSA def(wrapper)) | wrapper |
41-
| main.go:103:20:103:26 | (SSA def(wrapper)).s | wrapper.s |
42-
| main.go:104:2:104:2 | (SSA def(x)) | x |
39+
| main.go:98:3:98:7 | (SSA def(x)) | x |
40+
| main.go:103:45:110:1 | (SSA def(wrapper)) | wrapper |
41+
| main.go:103:45:110:1 | (SSA def(wrapper)).s | wrapper.s |
42+
| main.go:104:2:104:7 | (SSA def(x)) | x |
4343
| main.go:105:16:108:2 | (SSA def(x)) | x |
44-
| main.go:106:3:106:3 | (SSA def(y)) | y |
45-
| main.go:112:29:112:35 | (SSA def(wrapper)) | wrapper |
46-
| main.go:112:29:112:35 | (SSA def(wrapper)).s | wrapper.s |
47-
| main.go:113:2:113:2 | (SSA def(x)) | x |
44+
| main.go:106:3:106:8 | (SSA def(y)) | y |
45+
| main.go:112:54:119:1 | (SSA def(wrapper)) | wrapper |
46+
| main.go:112:54:119:1 | (SSA def(wrapper)).s | wrapper.s |
47+
| main.go:113:2:113:7 | (SSA def(x)) | x |
4848
| main.go:114:2:117:3 | (SSA def(x)) | x |
4949
| main.go:114:16:117:2 | (SSA def(x)) | x |
50-
| main.go:115:3:115:3 | (SSA def(y)) | y |
51-
| main.go:116:3:116:3 | (SSA def(x)) | x |
52-
| main.go:130:3:130:3 | (SSA def(p)) | p |
53-
| main.go:132:3:132:3 | (SSA def(p)) | p |
54-
| main.go:135:2:135:2 | (SSA phi(p)) | p |
55-
| main.go:135:2:135:2 | (SSA phi(p)).a | p.a |
56-
| main.go:135:2:135:2 | (SSA phi(p)).b | p.b |
57-
| main.go:135:2:135:2 | (SSA phi(p)).b.a | p.b.a |
58-
| main.go:135:2:135:2 | (SSA phi(p)).c | p.c |
50+
| main.go:115:3:115:12 | (SSA def(y)) | y |
51+
| main.go:116:3:116:7 | (SSA def(x)) | x |
52+
| main.go:129:2:133:2 | (SSA phi(p)) | p |
53+
| main.go:129:2:133:2 | (SSA phi(p)).a | p.a |
54+
| main.go:129:2:133:2 | (SSA phi(p)).b | p.b |
55+
| main.go:129:2:133:2 | (SSA phi(p)).b.a | p.b.a |
56+
| main.go:129:2:133:2 | (SSA phi(p)).c | p.c |
57+
| main.go:130:3:130:24 | (SSA def(p)) | p |
58+
| main.go:132:3:132:24 | (SSA def(p)) | p |

0 commit comments

Comments
 (0)