Skip to content

Commit a9c682f

Browse files
aschackmullaschackmull
committed
Java: Accept toString changes in qltest.
1 parent 9e8b3ad commit a9c682f

File tree

6 files changed

+289
-289
lines changed

6 files changed

+289
-289
lines changed

‎java/ql/test/library-tests/dataflow/modulus-analysis/ModulusAnalysis.expected‎

Lines changed: 29 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -4,17 +4,17 @@
44
| ModulusAnalysis.java:4:5:4:22 | ...=... | 0 | 43 | 0 |
55
| ModulusAnalysis.java:4:5:4:22 | c2 | 0 | 43 | 0 |
66
| ModulusAnalysis.java:4:20:4:21 | 43 | 0 | 43 | 0 |
7-
| ModulusAnalysis.java:7:13:7:22 | eq | SSA init(i) | 3 | 0 |
8-
| ModulusAnalysis.java:7:18:7:18 | i | SSA init(i) | 0 | 0 |
9-
| ModulusAnalysis.java:7:18:7:22 | ... + ... | SSA init(i) | 3 | 0 |
7+
| ModulusAnalysis.java:7:13:7:22 | eq | SSA param(i) | 3 | 0 |
8+
| ModulusAnalysis.java:7:18:7:18 | i | SSA param(i) | 0 | 0 |
9+
| ModulusAnalysis.java:7:18:7:22 | ... + ... | SSA param(i) | 3 | 0 |
1010
| ModulusAnalysis.java:7:22:7:22 | 3 | 0 | 3 | 0 |
1111
| ModulusAnalysis.java:9:13:9:29 | mul | 0 | 3 | 42 |
1212
| ModulusAnalysis.java:9:19:9:20 | eq | SSA def(eq) | 0 | 0 |
13-
| ModulusAnalysis.java:9:19:9:20 | eq | SSA init(i) | 3 | 0 |
13+
| ModulusAnalysis.java:9:19:9:20 | eq | SSA param(i) | 3 | 0 |
1414
| ModulusAnalysis.java:9:19:9:25 | ... * ... | 0 | 0 | 42 |
1515
| ModulusAnalysis.java:9:19:9:29 | ... + ... | 0 | 3 | 42 |
1616
| ModulusAnalysis.java:9:24:9:25 | c1 | 0 | 42 | 0 |
17-
| ModulusAnalysis.java:9:24:9:25 | c1 | SSA init(this.c1) | 0 | 0 |
17+
| ModulusAnalysis.java:9:24:9:25 | c1 | SSA entry def(this.c1) | 0 | 0 |
1818
| ModulusAnalysis.java:9:29:9:29 | 3 | 0 | 3 | 0 |
1919
| ModulusAnalysis.java:11:13:11:21 | seven | 0 | 7 | 0 |
2020
| ModulusAnalysis.java:11:21:11:21 | 7 | 0 | 7 | 0 |
@@ -29,47 +29,47 @@
2929
| ModulusAnalysis.java:13:32:13:34 | mul | SSA def(mul) | 0 | 0 |
3030
| ModulusAnalysis.java:16:13:18:23 | j | 0 | 3 | 4 |
3131
| ModulusAnalysis.java:16:17:18:23 | ...?...:... | 0 | 3 | 4 |
32-
| ModulusAnalysis.java:17:15:17:15 | i | SSA init(i) | 0 | 0 |
32+
| ModulusAnalysis.java:17:15:17:15 | i | SSA param(i) | 0 | 0 |
3333
| ModulusAnalysis.java:17:15:17:19 | ... * ... | 0 | 0 | 4 |
3434
| ModulusAnalysis.java:17:15:17:23 | ... + ... | 0 | 3 | 4 |
3535
| ModulusAnalysis.java:17:19:17:19 | 4 | 0 | 4 | 0 |
3636
| ModulusAnalysis.java:17:23:17:23 | 3 | 0 | 3 | 0 |
37-
| ModulusAnalysis.java:18:15:18:15 | i | SSA init(i) | 0 | 0 |
37+
| ModulusAnalysis.java:18:15:18:15 | i | SSA param(i) | 0 | 0 |
3838
| ModulusAnalysis.java:18:15:18:19 | ... * ... | 0 | 0 | 8 |
3939
| ModulusAnalysis.java:18:15:18:23 | ... + ... | 0 | 7 | 8 |
4040
| ModulusAnalysis.java:18:19:18:19 | 8 | 0 | 8 | 0 |
4141
| ModulusAnalysis.java:18:23:18:23 | 7 | 0 | 7 | 0 |
4242
| ModulusAnalysis.java:19:28:19:28 | j | 0 | 3 | 4 |
4343
| ModulusAnalysis.java:19:28:19:28 | j | SSA def(j) | 0 | 0 |
44-
| ModulusAnalysis.java:21:13:21:13 | x | SSA init(x) | 0 | 0 |
44+
| ModulusAnalysis.java:21:13:21:13 | x | SSA param(x) | 0 | 0 |
4545
| ModulusAnalysis.java:21:17:21:18 | c1 | 0 | 42 | 0 |
46-
| ModulusAnalysis.java:21:17:21:18 | c1 | SSA init(this.c1) | 0 | 0 |
46+
| ModulusAnalysis.java:21:17:21:18 | c1 | SSA entry def(this.c1) | 0 | 0 |
4747
| ModulusAnalysis.java:21:23:21:23 | 3 | 0 | 3 | 0 |
48-
| ModulusAnalysis.java:21:28:21:28 | y | SSA init(y) | 0 | 0 |
48+
| ModulusAnalysis.java:21:28:21:28 | y | SSA param(y) | 0 | 0 |
4949
| ModulusAnalysis.java:21:32:21:33 | c1 | 0 | 42 | 0 |
50-
| ModulusAnalysis.java:21:32:21:33 | c1 | SSA init(this.c1) | 0 | 0 |
50+
| ModulusAnalysis.java:21:32:21:33 | c1 | SSA entry def(this.c1) | 0 | 0 |
5151
| ModulusAnalysis.java:21:38:21:38 | 7 | 0 | 7 | 0 |
5252
| ModulusAnalysis.java:22:32:22:32 | x | 0 | 3 | 42 |
53-
| ModulusAnalysis.java:22:32:22:32 | x | SSA init(x) | 0 | 0 |
53+
| ModulusAnalysis.java:22:32:22:32 | x | SSA param(x) | 0 | 0 |
5454
| ModulusAnalysis.java:22:32:22:36 | ... + ... | 0 | 10 | 42 |
55-
| ModulusAnalysis.java:22:32:22:36 | ... + ... | SSA init(x) | 7 | 42 |
56-
| ModulusAnalysis.java:22:32:22:36 | ... + ... | SSA init(y) | 3 | 42 |
55+
| ModulusAnalysis.java:22:32:22:36 | ... + ... | SSA param(x) | 7 | 42 |
56+
| ModulusAnalysis.java:22:32:22:36 | ... + ... | SSA param(y) | 3 | 42 |
5757
| ModulusAnalysis.java:22:36:22:36 | y | 0 | 7 | 42 |
58-
| ModulusAnalysis.java:22:36:22:36 | y | SSA init(y) | 0 | 0 |
59-
| ModulusAnalysis.java:25:13:25:13 | x | SSA init(x) | 0 | 0 |
58+
| ModulusAnalysis.java:22:36:22:36 | y | SSA param(y) | 0 | 0 |
59+
| ModulusAnalysis.java:25:13:25:13 | x | SSA param(x) | 0 | 0 |
6060
| ModulusAnalysis.java:25:17:25:18 | c1 | 0 | 42 | 0 |
61-
| ModulusAnalysis.java:25:17:25:18 | c1 | SSA init(this.c1) | 0 | 0 |
61+
| ModulusAnalysis.java:25:17:25:18 | c1 | SSA entry def(this.c1) | 0 | 0 |
6262
| ModulusAnalysis.java:25:23:25:23 | 3 | 0 | 3 | 0 |
63-
| ModulusAnalysis.java:25:28:25:28 | y | SSA init(y) | 0 | 0 |
63+
| ModulusAnalysis.java:25:28:25:28 | y | SSA param(y) | 0 | 0 |
6464
| ModulusAnalysis.java:25:32:25:33 | c1 | 0 | 42 | 0 |
65-
| ModulusAnalysis.java:25:32:25:33 | c1 | SSA init(this.c1) | 0 | 0 |
65+
| ModulusAnalysis.java:25:32:25:33 | c1 | SSA entry def(this.c1) | 0 | 0 |
6666
| ModulusAnalysis.java:25:38:25:38 | 7 | 0 | 7 | 0 |
6767
| ModulusAnalysis.java:26:32:26:32 | x | 0 | 3 | 42 |
68-
| ModulusAnalysis.java:26:32:26:32 | x | SSA init(x) | 0 | 0 |
68+
| ModulusAnalysis.java:26:32:26:32 | x | SSA param(x) | 0 | 0 |
6969
| ModulusAnalysis.java:26:32:26:36 | ... - ... | 0 | 38 | 42 |
70-
| ModulusAnalysis.java:26:32:26:36 | ... - ... | SSA init(x) | 35 | 42 |
70+
| ModulusAnalysis.java:26:32:26:36 | ... - ... | SSA param(x) | 35 | 42 |
7171
| ModulusAnalysis.java:26:36:26:36 | y | 0 | 7 | 42 |
72-
| ModulusAnalysis.java:26:36:26:36 | y | SSA init(y) | 0 | 0 |
72+
| ModulusAnalysis.java:26:36:26:36 | y | SSA param(y) | 0 | 0 |
7373
| ModulusAnalysis.java:29:13:29:35 | l | 0 | 1 | 4 |
7474
| ModulusAnalysis.java:29:17:29:26 | arr.length | SSA impl upd[untracked](arr.length) | 0 | 0 |
7575
| ModulusAnalysis.java:29:17:29:30 | ... * ... | 0 | 0 | 4 |
@@ -87,13 +87,13 @@
8787
| ModulusAnalysis.java:33:28:33:28 | l | 0 | 1 | 4 |
8888
| ModulusAnalysis.java:33:28:33:28 | l | SSA def(l) | 0 | 0 |
8989
| ModulusAnalysis.java:36:13:36:25 | ...=... | 0 | 3 | 4 |
90-
| ModulusAnalysis.java:36:17:36:17 | i | SSA init(i) | 0 | 0 |
90+
| ModulusAnalysis.java:36:17:36:17 | i | SSA param(i) | 0 | 0 |
9191
| ModulusAnalysis.java:36:17:36:21 | ... * ... | 0 | 0 | 4 |
9292
| ModulusAnalysis.java:36:17:36:25 | ... + ... | 0 | 3 | 4 |
9393
| ModulusAnalysis.java:36:21:36:21 | 4 | 0 | 4 | 0 |
9494
| ModulusAnalysis.java:36:25:36:25 | 3 | 0 | 3 | 0 |
9595
| ModulusAnalysis.java:39:13:39:25 | ...=... | 0 | 7 | 8 |
96-
| ModulusAnalysis.java:39:17:39:17 | i | SSA init(i) | 0 | 0 |
96+
| ModulusAnalysis.java:39:17:39:17 | i | SSA param(i) | 0 | 0 |
9797
| ModulusAnalysis.java:39:17:39:21 | ... * ... | 0 | 0 | 8 |
9898
| ModulusAnalysis.java:39:17:39:25 | ... + ... | 0 | 7 | 8 |
9999
| ModulusAnalysis.java:39:21:39:21 | 8 | 0 | 8 | 0 |
@@ -104,22 +104,22 @@
104104
| ModulusAnalysis.java:44:32:44:32 | j | SSA phi(j) | 0 | 0 |
105105
| ModulusAnalysis.java:46:32:46:32 | j | 0 | 3 | 4 |
106106
| ModulusAnalysis.java:46:32:46:32 | j | SSA phi(j) | 0 | 0 |
107-
| ModulusAnalysis.java:49:14:49:14 | x | SSA init(x) | 0 | 0 |
107+
| ModulusAnalysis.java:49:14:49:14 | x | SSA param(x) | 0 | 0 |
108108
| ModulusAnalysis.java:49:18:49:19 | 15 | 0 | 15 | 0 |
109109
| ModulusAnalysis.java:49:25:49:25 | 3 | 0 | 3 | 0 |
110110
| ModulusAnalysis.java:50:32:50:32 | x | 0 | 3 | 16 |
111-
| ModulusAnalysis.java:50:32:50:32 | x | SSA init(x) | 0 | 0 |
111+
| ModulusAnalysis.java:50:32:50:32 | x | SSA param(x) | 0 | 0 |
112112
| ModulusAnalysis.java:56:18:56:22 | i | 0 | 0 | 0 |
113113
| ModulusAnalysis.java:56:22:56:22 | 0 | 0 | 0 | 0 |
114114
| ModulusAnalysis.java:56:25:56:25 | i | SSA phi(i) | 0 | 0 |
115-
| ModulusAnalysis.java:56:29:56:31 | cap | SSA init(cap) | 0 | 0 |
115+
| ModulusAnalysis.java:56:29:56:31 | cap | SSA param(cap) | 0 | 0 |
116116
| ModulusAnalysis.java:56:34:56:34 | i | SSA phi(i) | 0 | 0 |
117117
| ModulusAnalysis.java:56:34:56:36 | ...++ | SSA phi(i) | 0 | 0 |
118118
| ModulusAnalysis.java:57:32:57:32 | i | SSA phi(i) | 0 | 0 |
119119
| ModulusAnalysis.java:59:18:59:22 | j | 0 | 0 | 0 |
120120
| ModulusAnalysis.java:59:22:59:22 | 0 | 0 | 0 | 0 |
121121
| ModulusAnalysis.java:59:25:59:25 | j | SSA phi(j) | 0 | 0 |
122-
| ModulusAnalysis.java:59:29:59:31 | cap | SSA init(cap) | 0 | 0 |
122+
| ModulusAnalysis.java:59:29:59:31 | cap | SSA param(cap) | 0 | 0 |
123123
| ModulusAnalysis.java:59:34:59:34 | j | SSA phi(j) | 0 | 0 |
124124
| ModulusAnalysis.java:59:34:59:39 | ...+=... | SSA phi(j) | 1 | 0 |
125125
| ModulusAnalysis.java:59:39:59:39 | 1 | 0 | 1 | 0 |
@@ -129,7 +129,7 @@
129129
| ModulusAnalysis.java:62:25:62:25 | k | 0 | 0 | 3 |
130130
| ModulusAnalysis.java:62:25:62:25 | k | SSA def(k) | 0 | 3 |
131131
| ModulusAnalysis.java:62:25:62:25 | k | SSA phi(k) | 0 | 0 |
132-
| ModulusAnalysis.java:62:29:62:31 | cap | SSA init(cap) | 0 | 0 |
132+
| ModulusAnalysis.java:62:29:62:31 | cap | SSA param(cap) | 0 | 0 |
133133
| ModulusAnalysis.java:62:34:62:34 | k | 0 | 0 | 3 |
134134
| ModulusAnalysis.java:62:34:62:34 | k | SSA def(k) | 0 | 3 |
135135
| ModulusAnalysis.java:62:34:62:34 | k | SSA phi(k) | 0 | 0 |

0 commit comments

Comments
 (0)