Skip to content

Commit 3b00957

Browse files
aschackmullaschackmull
committed
Java: Adjust test expectation.
1 parent b5c66c5 commit 3b00957

File tree

1 file changed

+53
-14
lines changed

1 file changed

+53
-14
lines changed

‎java/ql/test/library-tests/dataflow/range-analysis/RangeAnalysis.expected

Lines changed: 53 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,17 @@
3333
| A.java:9:16:9:16 | x | SSA init(x) | 0 | upper | NoReason |
3434
| A.java:9:16:9:16 | x | SSA init(y) | -2 | lower | ... == ... |
3535
| A.java:9:16:9:16 | x | SSA init(y) | -2 | upper | ... == ... |
36-
| A.java:9:16:9:20 | ... + ... | 0 | 300 | lower | ... > ... |
37-
| A.java:9:16:9:20 | ... + ... | SSA init(x) | 1 | lower | NoReason |
38-
| A.java:9:16:9:20 | ... + ... | SSA init(y) | -1 | lower | ... == ... |
36+
| A.java:9:16:9:20 | ... + ... | 0 | 600 | lower | ... > ... |
37+
| A.java:9:16:9:20 | ... + ... | 0 | 802 | upper | ... == ... |
38+
| A.java:9:16:9:20 | ... + ... | 0 | 802 | upper | ... > ... |
39+
| A.java:9:16:9:20 | ... + ... | SSA init(x) | 301 | lower | ... == ... |
40+
| A.java:9:16:9:20 | ... + ... | SSA init(x) | 301 | lower | NoReason |
41+
| A.java:9:16:9:20 | ... + ... | SSA init(x) | 402 | upper | ... == ... |
42+
| A.java:9:16:9:20 | ... + ... | SSA init(x) | 402 | upper | NoReason |
43+
| A.java:9:16:9:20 | ... + ... | SSA init(y) | 299 | lower | ... == ... |
44+
| A.java:9:16:9:20 | ... + ... | SSA init(y) | 299 | lower | NoReason |
45+
| A.java:9:16:9:20 | ... + ... | SSA init(y) | 400 | upper | ... == ... |
46+
| A.java:9:16:9:20 | ... + ... | SSA init(y) | 400 | upper | NoReason |
3947
| A.java:9:20:9:20 | y | 0 | 301 | lower | ... > ... |
4048
| A.java:9:20:9:20 | y | 0 | 402 | upper | ... == ... |
4149
| A.java:9:20:9:20 | y | SSA init(x) | 2 | lower | ... == ... |
@@ -54,6 +62,7 @@
5462
| A.java:13:19:13:19 | x | 0 | 400 | upper | ... > ... |
5563
| A.java:13:19:13:19 | x | SSA init(x) | 0 | lower | NoReason |
5664
| A.java:13:19:13:19 | x | SSA init(x) | 0 | upper | NoReason |
65+
| A.java:13:19:13:23 | ... + ... | SSA init(y) | 400 | upper | NoReason |
5766
| A.java:13:23:13:23 | y | SSA init(y) | 0 | lower | NoReason |
5867
| A.java:13:23:13:23 | y | SSA init(y) | 0 | upper | NoReason |
5968
| A.java:15:13:15:13 | y | 0 | 399 | upper | ... != ... |
@@ -69,9 +78,17 @@
6978
| A.java:16:21:16:21 | x | SSA init(x) | 0 | upper | NoReason |
7079
| A.java:16:21:16:21 | x | SSA init(y) | 1 | lower | ... != ... |
7180
| A.java:16:21:16:21 | x | SSA init(y) | 1 | upper | ... != ... |
72-
| A.java:16:21:16:25 | ... + ... | 0 | 303 | lower | ... > ... |
73-
| A.java:16:21:16:25 | ... + ... | SSA init(x) | 1 | lower | NoReason |
74-
| A.java:16:21:16:25 | ... + ... | SSA init(y) | 2 | lower | ... != ... |
81+
| A.java:16:21:16:25 | ... + ... | 0 | 603 | lower | ... > ... |
82+
| A.java:16:21:16:25 | ... + ... | 0 | 799 | upper | ... != ... |
83+
| A.java:16:21:16:25 | ... + ... | 0 | 799 | upper | ... > ... |
84+
| A.java:16:21:16:25 | ... + ... | SSA init(x) | 301 | lower | ... != ... |
85+
| A.java:16:21:16:25 | ... + ... | SSA init(x) | 301 | lower | NoReason |
86+
| A.java:16:21:16:25 | ... + ... | SSA init(x) | 399 | upper | ... != ... |
87+
| A.java:16:21:16:25 | ... + ... | SSA init(x) | 399 | upper | NoReason |
88+
| A.java:16:21:16:25 | ... + ... | SSA init(y) | 302 | lower | ... != ... |
89+
| A.java:16:21:16:25 | ... + ... | SSA init(y) | 302 | lower | NoReason |
90+
| A.java:16:21:16:25 | ... + ... | SSA init(y) | 400 | upper | ... != ... |
91+
| A.java:16:21:16:25 | ... + ... | SSA init(y) | 400 | upper | NoReason |
7592
| A.java:16:25:16:25 | y | 0 | 301 | lower | ... > ... |
7693
| A.java:16:25:16:25 | y | 0 | 399 | upper | ... != ... |
7794
| A.java:16:25:16:25 | y | SSA init(x) | -1 | lower | ... != ... |
@@ -153,14 +170,36 @@
153170
| A.java:35:16:35:16 | x | SSA init(y) | 1 | upper | ... == ... |
154171
| A.java:35:16:35:16 | x | SSA init(z) | -1 | lower | ... == ... |
155172
| A.java:35:16:35:16 | x | SSA init(z) | -1 | upper | ... == ... |
156-
| A.java:35:16:35:20 | ... + ... | 0 | 350 | lower | ... == ... |
157-
| A.java:35:16:35:20 | ... + ... | SSA init(x) | 1 | lower | NoReason |
158-
| A.java:35:16:35:20 | ... + ... | SSA init(y) | 2 | lower | ... == ... |
159-
| A.java:35:16:35:20 | ... + ... | SSA init(z) | 0 | lower | ... == ... |
160-
| A.java:35:16:35:24 | ... + ... | 0 | 351 | lower | ... == ... |
161-
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 2 | lower | NoReason |
162-
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 3 | lower | ... == ... |
163-
| A.java:35:16:35:24 | ... + ... | SSA init(z) | 1 | lower | ... == ... |
173+
| A.java:35:16:35:20 | ... + ... | 0 | 697 | lower | ... == ... |
174+
| A.java:35:16:35:20 | ... + ... | 0 | 697 | upper | ... == ... |
175+
| A.java:35:16:35:20 | ... + ... | SSA init(x) | 348 | lower | ... == ... |
176+
| A.java:35:16:35:20 | ... + ... | SSA init(x) | 348 | lower | NoReason |
177+
| A.java:35:16:35:20 | ... + ... | SSA init(x) | 348 | upper | ... == ... |
178+
| A.java:35:16:35:20 | ... + ... | SSA init(x) | 348 | upper | NoReason |
179+
| A.java:35:16:35:20 | ... + ... | SSA init(y) | 349 | lower | ... == ... |
180+
| A.java:35:16:35:20 | ... + ... | SSA init(y) | 349 | lower | NoReason |
181+
| A.java:35:16:35:20 | ... + ... | SSA init(y) | 349 | upper | ... == ... |
182+
| A.java:35:16:35:20 | ... + ... | SSA init(y) | 349 | upper | NoReason |
183+
| A.java:35:16:35:20 | ... + ... | SSA init(z) | 347 | lower | ... == ... |
184+
| A.java:35:16:35:20 | ... + ... | SSA init(z) | 347 | upper | ... == ... |
185+
| A.java:35:16:35:24 | ... + ... | 0 | 1047 | lower | ... == ... |
186+
| A.java:35:16:35:24 | ... + ... | 0 | 1047 | upper | ... == ... |
187+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | lower | ... == ... |
188+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | lower | ... == ... |
189+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | lower | NoReason |
190+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | upper | ... == ... |
191+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | upper | ... == ... |
192+
| A.java:35:16:35:24 | ... + ... | SSA init(x) | 698 | upper | NoReason |
193+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | lower | ... == ... |
194+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | lower | ... == ... |
195+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | lower | NoReason |
196+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | upper | ... == ... |
197+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | upper | ... == ... |
198+
| A.java:35:16:35:24 | ... + ... | SSA init(y) | 699 | upper | NoReason |
199+
| A.java:35:16:35:24 | ... + ... | SSA init(z) | 697 | lower | ... == ... |
200+
| A.java:35:16:35:24 | ... + ... | SSA init(z) | 697 | lower | NoReason |
201+
| A.java:35:16:35:24 | ... + ... | SSA init(z) | 697 | upper | ... == ... |
202+
| A.java:35:16:35:24 | ... + ... | SSA init(z) | 697 | upper | NoReason |
164203
| A.java:35:20:35:20 | y | 0 | 348 | lower | ... == ... |
165204
| A.java:35:20:35:20 | y | 0 | 348 | upper | ... == ... |
166205
| A.java:35:20:35:20 | y | SSA init(x) | -1 | lower | ... == ... |

0 commit comments

Comments
 (0)