Skip to content

Commit e2e7c02

Browse files
aschackmullaschackmull
committed
Java: Accept test changes due to pruned CFG, after-nodes, and reduced exception precision.
1 parent aae46d8 commit e2e7c02

File tree

6 files changed

+66
-68
lines changed

6 files changed

+66
-68
lines changed

‎java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.expected‎

Lines changed: 8 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
| Test.kt:3:8:80:1 | { ... } | Test.kt:3:8:80:1 | Exit |
2-
| Test.kt:4:2:79:2 | Normal Exit | Test.kt:4:2:79:2 | Exit |
3-
| Test.kt:4:13:79:2 | { ... } | Test.kt:4:2:79:2 | Exit |
41
| Test.kt:4:13:79:2 | { ... } | Test.kt:4:2:79:2 | Normal Exit |
52
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
63
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
@@ -12,7 +9,6 @@
129
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:9:38:9 | x |
1310
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:16:41:3 | { ... } |
1411
| Test.kt:4:13:79:2 | { ... } | Test.kt:43:3:43:3 | <Expr>; |
15-
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:4:2:79:2 | Exit |
1612
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:4:2:79:2 | Normal Exit |
1713
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:9 | ... -> ... |
1814
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
@@ -31,16 +27,22 @@
3127
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
3228
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
3329
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:3 | <Expr>; |
34-
| Test.kt:82:1:89:1 | Normal Exit | Test.kt:82:1:89:1 | Exit |
30+
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Exceptional Exit |
3531
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Exit |
3632
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Normal Exit |
3733
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:7:84:7 | x |
3834
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
39-
| Test.kt:91:1:98:1 | Normal Exit | Test.kt:91:1:98:1 | Exit |
35+
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:11:86:31 | e |
36+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Exceptional Exit |
37+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:86:11:86:31 | e |
38+
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Exceptional Exit |
4039
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Exit |
4140
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Normal Exit |
4241
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:7:93:7 | x |
4342
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
43+
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:11:95:33 | e |
44+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Exceptional Exit |
45+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:95:11:95:33 | e |
4446
| Test.kt:100:25:110:1 | { ... } | Test.kt:100:1:110:1 | Exit |
4547
| Test.kt:100:25:110:1 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
4648
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |
@@ -55,16 +57,11 @@
5557
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:16:109:5 | ... -> ... |
5658
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:27:109:5 | { ... } |
5759
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:27:109:5 | { ... } |
58-
| Test.kt:112:1:116:1 | Normal Exit | Test.kt:112:1:116:1 | Exit |
59-
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Exit |
6060
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
6161
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:14:113:14 | y |
6262
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:17:115:5 | { ... } |
6363
| Test.kt:113:14:113:14 | y | Test.kt:113:17:115:5 | { ... } |
64-
| Test.kt:118:1:124:1 | Normal Exit | Test.kt:118:1:124:1 | Exit |
65-
| Test.kt:118:37:124:1 | { ... } | Test.kt:118:1:124:1 | Exit |
6664
| Test.kt:118:37:124:1 | { ... } | Test.kt:118:1:124:1 | Normal Exit |
6765
| Test.kt:118:37:124:1 | { ... } | Test.kt:121:9:121:9 | <Expr>; |
6866
| Test.kt:118:37:124:1 | { ... } | Test.kt:122:12:122:16 | ... -> ... |
6967
| Test.kt:118:37:124:1 | { ... } | Test.kt:123:8:123:10 | { ... } |
70-
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:123:8:123:10 | { ... } |

‎java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.expected‎

Lines changed: 23 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,13 @@
1-
| Test.kt:3:8:80:1 | Exceptional Exit | Test.kt:3:8:80:1 | Exit |
2-
| Test.kt:3:8:80:1 | { ... } | Test.kt:3:8:80:1 | Exit |
3-
| Test.kt:4:2:79:2 | Exceptional Exit | Test.kt:4:2:79:2 | Exit |
4-
| Test.kt:4:2:79:2 | Normal Exit | Test.kt:4:2:79:2 | Exit |
51
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
62
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
73
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:18:3:18:3 | <Expr>; |
84
| Test.kt:11:14:14:3 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
95
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:9 | ... -> ... |
106
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
117
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:4:2:79:2 | Normal Exit |
8+
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:7:30:12 | After ... (value equals) ... [false] |
129
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
13-
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
10+
| Test.kt:30:7:30:12 | After ... (value equals) ... [false] | Test.kt:35:3:35:3 | <Expr>; |
1411
| Test.kt:30:15:33:3 | { ... } | Test.kt:35:3:35:3 | <Expr>; |
1512
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:9:38:9 | x |
1613
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
@@ -22,37 +19,45 @@
2219
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:7:84:7 | x |
2320
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
2421
| Test.kt:84:7:84:7 | x | Test.kt:82:1:89:1 | Normal Exit |
25-
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Normal Exit |
22+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Exceptional Exit |
23+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:86:11:86:31 | e |
24+
| Test.kt:86:11:86:31 | e | Test.kt:82:1:89:1 | Normal Exit |
2625
| Test.kt:91:1:98:1 | Exceptional Exit | Test.kt:91:1:98:1 | Exit |
2726
| Test.kt:91:1:98:1 | Normal Exit | Test.kt:91:1:98:1 | Exit |
2827
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:7:93:7 | x |
2928
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
3029
| Test.kt:93:7:93:7 | x | Test.kt:91:1:98:1 | Normal Exit |
31-
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Normal Exit |
30+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Exceptional Exit |
31+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:95:11:95:33 | e |
32+
| Test.kt:95:11:95:33 | e | Test.kt:91:1:98:1 | Normal Exit |
3233
| Test.kt:100:1:110:1 | Normal Exit | Test.kt:100:1:110:1 | Exit |
34+
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:9:101:17 | After ... (value equals) ... [false] |
3335
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |
34-
| Test.kt:100:25:110:1 | { ... } | Test.kt:105:5:109:5 | <Expr>; |
36+
| Test.kt:101:9:101:17 | After ... (value equals) ... [false] | Test.kt:105:5:109:5 | <Expr>; |
37+
| Test.kt:101:22:101:22 | y | Test.kt:101:22:101:30 | After ... (value equals) ... [false] |
3538
| Test.kt:101:22:101:22 | y | Test.kt:101:33:103:5 | { ... } |
36-
| Test.kt:101:22:101:22 | y | Test.kt:105:5:109:5 | <Expr>; |
39+
| Test.kt:101:22:101:30 | After ... (value equals) ... [false] | Test.kt:105:5:109:5 | <Expr>; |
3740
| Test.kt:101:33:103:5 | { ... } | Test.kt:100:1:110:1 | Exit |
3841
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:105:20:107:5 | { ... } |
3942
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:16:109:5 | ... -> ... |
4043
| Test.kt:105:20:107:5 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
41-
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:100:1:110:1 | Normal Exit |
44+
| Test.kt:107:16:107:24 | After ... (value not-equals) ... [false] | Test.kt:100:1:110:1 | Normal Exit |
45+
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:16:107:24 | After ... (value not-equals) ... [false] |
4246
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:27:109:5 | { ... } |
4347
| Test.kt:107:27:109:5 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
44-
| Test.kt:112:1:116:1 | Exceptional Exit | Test.kt:112:1:116:1 | Exit |
45-
| Test.kt:112:1:116:1 | Normal Exit | Test.kt:112:1:116:1 | Exit |
46-
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
48+
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:9:113:9 | After x [false] |
4749
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:14:113:14 | y |
48-
| Test.kt:113:14:113:14 | y | Test.kt:112:1:116:1 | Normal Exit |
50+
| Test.kt:113:9:113:9 | After x [false] | Test.kt:113:9:113:14 | After ... && ... [false] |
51+
| Test.kt:113:9:113:14 | After ... && ... [false] | Test.kt:112:1:116:1 | Normal Exit |
52+
| Test.kt:113:14:113:14 | After y [false] | Test.kt:113:9:113:14 | After ... && ... [false] |
53+
| Test.kt:113:14:113:14 | y | Test.kt:113:14:113:14 | After y [false] |
4954
| Test.kt:113:14:113:14 | y | Test.kt:113:17:115:5 | { ... } |
5055
| Test.kt:113:17:115:5 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
51-
| Test.kt:118:1:124:1 | Exceptional Exit | Test.kt:118:1:124:1 | Exit |
52-
| Test.kt:118:1:124:1 | Normal Exit | Test.kt:118:1:124:1 | Exit |
5356
| Test.kt:118:37:124:1 | { ... } | Test.kt:121:9:121:9 | <Expr>; |
5457
| Test.kt:118:37:124:1 | { ... } | Test.kt:122:12:122:16 | ... -> ... |
55-
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:118:1:124:1 | Normal Exit |
58+
| Test.kt:120:3:123:3 | After when ... [false] | Test.kt:118:1:124:1 | Normal Exit |
59+
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:120:3:123:3 | After when ... [false] |
5660
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:123:8:123:10 | { ... } |
57-
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:118:1:124:1 | Normal Exit |
61+
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:120:3:123:3 | After when ... [false] |
62+
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:123:8:123:10 | { ... } |
5863
| Test.kt:123:8:123:10 | { ... } | Test.kt:118:1:124:1 | Normal Exit |

‎java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.expected‎

Lines changed: 8 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
| Test.kt:3:1:80:1 | { ... } | Test.kt:3:1:80:1 | Exit |
2-
| Test.kt:4:2:79:2 | Normal Exit | Test.kt:4:2:79:2 | Exit |
3-
| Test.kt:4:13:79:2 | { ... } | Test.kt:4:2:79:2 | Exit |
41
| Test.kt:4:13:79:2 | { ... } | Test.kt:4:2:79:2 | Normal Exit |
52
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
63
| Test.kt:4:13:79:2 | { ... } | Test.kt:14:10:16:3 | ... -> ... |
@@ -12,7 +9,6 @@
129
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:9:38:9 | x |
1310
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:16:41:3 | { ... } |
1411
| Test.kt:4:13:79:2 | { ... } | Test.kt:43:3:43:8 | <Expr>; |
15-
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:4:2:79:2 | Exit |
1612
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:4:2:79:2 | Normal Exit |
1713
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:22:4:22:9 | <Expr>; |
1814
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:24:4:24:9 | ... -> ... |
@@ -31,16 +27,22 @@
3127
| Test.kt:35:3:35:8 | <Expr>; | Test.kt:43:3:43:8 | <Expr>; |
3228
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
3329
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:8 | <Expr>; |
34-
| Test.kt:82:1:89:1 | Normal Exit | Test.kt:82:1:89:1 | Exit |
30+
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Exceptional Exit |
3531
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Exit |
3632
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | Normal Exit |
3733
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | x |
3834
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
39-
| Test.kt:91:1:98:1 | Normal Exit | Test.kt:91:1:98:1 | Exit |
35+
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:11:86:31 | e |
36+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Exceptional Exit |
37+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:86:11:86:31 | e |
38+
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Exceptional Exit |
4039
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Exit |
4140
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | Normal Exit |
4241
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:3:93:13 | x |
4342
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
43+
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:11:95:33 | e |
44+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Exceptional Exit |
45+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:95:11:95:33 | e |
4446
| Test.kt:100:25:110:1 | { ... } | Test.kt:100:1:110:1 | Exit |
4547
| Test.kt:100:25:110:1 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
4648
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |
@@ -55,16 +57,11 @@
5557
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:16:109:5 | ... -> ... |
5658
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:27:109:5 | { ... } |
5759
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:27:109:5 | { ... } |
58-
| Test.kt:112:1:116:1 | Normal Exit | Test.kt:112:1:116:1 | Exit |
59-
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Exit |
6060
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
6161
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:14:113:14 | y |
6262
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:17:115:5 | { ... } |
6363
| Test.kt:113:14:113:14 | y | Test.kt:113:17:115:5 | { ... } |
64-
| Test.kt:118:1:124:1 | Normal Exit | Test.kt:118:1:124:1 | Exit |
65-
| Test.kt:118:37:124:1 | { ... } | Test.kt:118:1:124:1 | Exit |
6664
| Test.kt:118:37:124:1 | { ... } | Test.kt:118:1:124:1 | Normal Exit |
6765
| Test.kt:118:37:124:1 | { ... } | Test.kt:121:9:121:9 | <Expr>; |
6866
| Test.kt:118:37:124:1 | { ... } | Test.kt:122:12:122:16 | ... -> ... |
6967
| Test.kt:118:37:124:1 | { ... } | Test.kt:123:8:123:10 | { ... } |
70-
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:123:8:123:10 | { ... } |

‎java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.expected‎

Lines changed: 23 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,13 @@
1-
| Test.kt:3:1:80:1 | Exceptional Exit | Test.kt:3:1:80:1 | Exit |
2-
| Test.kt:3:1:80:1 | { ... } | Test.kt:3:1:80:1 | Exit |
3-
| Test.kt:4:2:79:2 | Exceptional Exit | Test.kt:4:2:79:2 | Exit |
4-
| Test.kt:4:2:79:2 | Normal Exit | Test.kt:4:2:79:2 | Exit |
51
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
62
| Test.kt:4:13:79:2 | { ... } | Test.kt:14:10:16:3 | ... -> ... |
73
| Test.kt:11:14:14:3 | { ... } | Test.kt:18:3:18:7 | <Expr>; |
84
| Test.kt:14:10:16:3 | ... -> ... | Test.kt:18:3:18:7 | <Expr>; |
95
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:22:4:22:9 | <Expr>; |
106
| Test.kt:18:3:18:7 | <Expr>; | Test.kt:24:4:24:9 | ... -> ... |
7+
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:30:7:30:12 | After ... (value equals) ... [false] |
118
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
12-
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:35:3:35:8 | <Expr>; |
139
| Test.kt:24:4:24:9 | ... -> ... | Test.kt:4:2:79:2 | Normal Exit |
10+
| Test.kt:30:7:30:12 | After ... (value equals) ... [false] | Test.kt:35:3:35:8 | <Expr>; |
1411
| Test.kt:30:15:33:3 | { ... } | Test.kt:35:3:35:8 | <Expr>; |
1512
| Test.kt:35:3:35:8 | <Expr>; | Test.kt:38:9:38:9 | x |
1613
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
@@ -22,37 +19,45 @@
2219
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | x |
2320
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
2421
| Test.kt:84:3:84:18 | x | Test.kt:82:1:89:1 | Normal Exit |
25-
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Normal Exit |
22+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | Exceptional Exit |
23+
| Test.kt:86:4:88:2 | catch (...) | Test.kt:86:11:86:31 | e |
24+
| Test.kt:86:11:86:31 | e | Test.kt:82:1:89:1 | Normal Exit |
2625
| Test.kt:91:1:98:1 | Exceptional Exit | Test.kt:91:1:98:1 | Exit |
2726
| Test.kt:91:1:98:1 | Normal Exit | Test.kt:91:1:98:1 | Exit |
2827
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:3:93:13 | x |
2928
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
3029
| Test.kt:93:3:93:13 | x | Test.kt:91:1:98:1 | Normal Exit |
31-
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Normal Exit |
30+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | Exceptional Exit |
31+
| Test.kt:95:4:97:2 | catch (...) | Test.kt:95:11:95:33 | e |
32+
| Test.kt:95:11:95:33 | e | Test.kt:91:1:98:1 | Normal Exit |
3233
| Test.kt:100:1:110:1 | Normal Exit | Test.kt:100:1:110:1 | Exit |
34+
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:9:101:17 | After ... (value equals) ... [false] |
3335
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |
34-
| Test.kt:100:25:110:1 | { ... } | Test.kt:105:5:109:5 | <Expr>; |
36+
| Test.kt:101:9:101:17 | After ... (value equals) ... [false] | Test.kt:105:5:109:5 | <Expr>; |
37+
| Test.kt:101:22:101:22 | y | Test.kt:101:22:101:30 | After ... (value equals) ... [false] |
3538
| Test.kt:101:22:101:22 | y | Test.kt:101:33:103:5 | { ... } |
36-
| Test.kt:101:22:101:22 | y | Test.kt:105:5:109:5 | <Expr>; |
39+
| Test.kt:101:22:101:30 | After ... (value equals) ... [false] | Test.kt:105:5:109:5 | <Expr>; |
3740
| Test.kt:101:33:103:5 | { ... } | Test.kt:100:1:110:1 | Exit |
3841
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:105:20:107:5 | { ... } |
3942
| Test.kt:105:5:109:5 | <Expr>; | Test.kt:107:16:109:5 | ... -> ... |
4043
| Test.kt:105:20:107:5 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
41-
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:100:1:110:1 | Normal Exit |
44+
| Test.kt:107:16:107:24 | After ... (value not-equals) ... [false] | Test.kt:100:1:110:1 | Normal Exit |
45+
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:16:107:24 | After ... (value not-equals) ... [false] |
4246
| Test.kt:107:16:109:5 | ... -> ... | Test.kt:107:27:109:5 | { ... } |
4347
| Test.kt:107:27:109:5 | { ... } | Test.kt:100:1:110:1 | Normal Exit |
44-
| Test.kt:112:1:116:1 | Exceptional Exit | Test.kt:112:1:116:1 | Exit |
45-
| Test.kt:112:1:116:1 | Normal Exit | Test.kt:112:1:116:1 | Exit |
46-
| Test.kt:112:32:116:1 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
48+
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:9:113:9 | After x [false] |
4749
| Test.kt:112:32:116:1 | { ... } | Test.kt:113:14:113:14 | y |
48-
| Test.kt:113:14:113:14 | y | Test.kt:112:1:116:1 | Normal Exit |
50+
| Test.kt:113:9:113:9 | After x [false] | Test.kt:113:9:113:14 | After ... && ... [false] |
51+
| Test.kt:113:9:113:14 | After ... && ... [false] | Test.kt:112:1:116:1 | Normal Exit |
52+
| Test.kt:113:14:113:14 | After y [false] | Test.kt:113:9:113:14 | After ... && ... [false] |
53+
| Test.kt:113:14:113:14 | y | Test.kt:113:14:113:14 | After y [false] |
4954
| Test.kt:113:14:113:14 | y | Test.kt:113:17:115:5 | { ... } |
5055
| Test.kt:113:17:115:5 | { ... } | Test.kt:112:1:116:1 | Normal Exit |
51-
| Test.kt:118:1:124:1 | Exceptional Exit | Test.kt:118:1:124:1 | Exit |
52-
| Test.kt:118:1:124:1 | Normal Exit | Test.kt:118:1:124:1 | Exit |
5356
| Test.kt:118:37:124:1 | { ... } | Test.kt:121:9:121:9 | <Expr>; |
5457
| Test.kt:118:37:124:1 | { ... } | Test.kt:122:12:122:16 | ... -> ... |
55-
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:118:1:124:1 | Normal Exit |
58+
| Test.kt:120:3:123:3 | After when ... [false] | Test.kt:118:1:124:1 | Normal Exit |
59+
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:120:3:123:3 | After when ... [false] |
5660
| Test.kt:121:9:121:9 | <Expr>; | Test.kt:123:8:123:10 | { ... } |
57-
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:118:1:124:1 | Normal Exit |
61+
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:120:3:123:3 | After when ... [false] |
62+
| Test.kt:122:12:122:16 | ... -> ... | Test.kt:123:8:123:10 | { ... } |
5863
| Test.kt:123:8:123:10 | { ... } | Test.kt:118:1:124:1 | Normal Exit |

‎java/ql/test/library-tests/controlflow/basic/bbStrictDominance.expected‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
| Test.java:3:14:3:17 | { ... } | Test.java:3:14:3:17 | Exit |
2-
| Test.java:4:14:4:17 | Normal Exit | Test.java:4:14:4:17 | Exit |
3-
| Test.java:4:21:76:2 | { ... } | Test.java:4:14:4:17 | Exit |
41
| Test.java:4:21:76:2 | { ... } | Test.java:4:14:4:17 | Normal Exit |
52
| Test.java:4:21:76:2 | { ... } | Test.java:11:14:14:3 | { ... } |
63
| Test.java:4:21:76:2 | { ... } | Test.java:14:10:16:3 | { ... } |
@@ -23,7 +20,6 @@
2320
| Test.java:4:21:76:2 | { ... } | Test.java:60:12:62:5 | { ... } |
2421
| Test.java:4:21:76:2 | { ... } | Test.java:63:9:66:4 | { ... } |
2522
| Test.java:4:21:76:2 | { ... } | Test.java:70:3:70:9 | <Expr>; |
26-
| Test.java:18:3:18:8 | <Expr>; | Test.java:4:14:4:17 | Exit |
2723
| Test.java:18:3:18:8 | <Expr>; | Test.java:4:14:4:17 | Normal Exit |
2824
| Test.java:18:3:18:8 | <Expr>; | Test.java:22:4:22:10 | <Expr>; |
2925
| Test.java:18:3:18:8 | <Expr>; | Test.java:24:4:24:10 | return ... |

0 commit comments

Comments
 (0)