Skip to content

Commit a13f5cf

Browse files
aschackmullaschackmull
committed
Java: Adjust idominance tests.
1 parent f350fe2 commit a13f5cf

File tree

6 files changed

+18
-11
lines changed

6 files changed

+18
-11
lines changed

‎java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.expected‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,21 @@
1-
| Test.kt:2:2:79:2 | Normal Exit | Test.kt:2:2:79:2 | Exit |
21
| Test.kt:2:43:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
32
| Test.kt:2:43:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
43
| Test.kt:2:43:79:2 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
54
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:2:2:79:2 | Normal Exit |
65
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:11 | ... -> ... |
76
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
7+
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:7:30:12 | After ... (value equals) ... [false] |
88
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
99
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
1010
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:10:38:10 | x |
1111
| Test.kt:38:10:38:10 | x | Test.kt:38:17:41:3 | { ... } |
1212
| Test.kt:38:10:38:10 | x | Test.kt:43:3:43:3 | <Expr>; |
13-
| Test.kt:81:2:98:2 | Normal Exit | Test.kt:81:2:98:2 | Exit |
1413
| Test.kt:81:25:98:2 | { ... } | Test.kt:86:9:86:12 | true |
14+
| Test.kt:86:9:86:12 | true | Test.kt:88:8:88:14 | After ... > ... [false] |
1515
| Test.kt:86:9:86:12 | true | Test.kt:88:17:91:4 | { ... } |
1616
| Test.kt:86:9:86:12 | true | Test.kt:92:4:93:9 | <Expr>; |
17-
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:81:2:98:2 | Normal Exit |
17+
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:92:8:92:14 | After ... (value equals) ... [false] |
1818
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:93:5:93:9 | break |
1919
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:94:4:95:12 | <Expr>; |
20+
| Test.kt:94:4:95:12 | <Expr>; | Test.kt:94:8:94:14 | After ... (value equals) ... [false] |
2021
| Test.kt:94:4:95:12 | <Expr>; | Test.kt:95:12:95:12 | c |

‎java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.ql‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11
import java
2+
import utils.test.BasicBlock
23

34
from Method func, BasicBlock dominator, BasicBlock bb
45
where
56
dominator.immediatelyDominates(bb) and
67
dominator.getEnclosingCallable() = func and
78
func.getDeclaringType().hasName("Test")
8-
select dominator, bb
9+
select getFirstAstNodeOrSynth(dominator), getFirstAstNodeOrSynth(bb)

‎java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.expected‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,21 @@
1-
| Test.kt:2:2:79:2 | Normal Exit | Test.kt:2:2:79:2 | Exit |
21
| Test.kt:2:43:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
32
| Test.kt:2:43:79:2 | { ... } | Test.kt:14:10:16:3 | ... -> ... |
43
| Test.kt:2:43:79:2 | { ... } | Test.kt:18:3:18:20 | <Expr>; |
54
| Test.kt:18:3:18:20 | <Expr>; | Test.kt:2:2:79:2 | Normal Exit |
65
| Test.kt:18:3:18:20 | <Expr>; | Test.kt:22:4:22:9 | <Expr>; |
76
| Test.kt:18:3:18:20 | <Expr>; | Test.kt:24:4:24:11 | ... -> ... |
7+
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:30:7:30:12 | After ... (value equals) ... [false] |
88
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
99
| Test.kt:22:4:22:9 | <Expr>; | Test.kt:35:3:35:8 | <Expr>; |
1010
| Test.kt:35:3:35:8 | <Expr>; | Test.kt:38:10:38:10 | x |
1111
| Test.kt:38:10:38:10 | x | Test.kt:38:17:41:3 | { ... } |
1212
| Test.kt:38:10:38:10 | x | Test.kt:43:3:43:15 | <Expr>; |
13-
| Test.kt:81:2:98:2 | Normal Exit | Test.kt:81:2:98:2 | Exit |
1413
| Test.kt:81:25:98:2 | { ... } | Test.kt:86:9:86:12 | true |
14+
| Test.kt:86:9:86:12 | true | Test.kt:88:8:88:14 | After ... > ... [false] |
1515
| Test.kt:86:9:86:12 | true | Test.kt:88:17:91:4 | { ... } |
1616
| Test.kt:86:9:86:12 | true | Test.kt:92:4:93:9 | <Expr>; |
17-
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:81:2:98:2 | Normal Exit |
17+
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:92:8:92:14 | After ... (value equals) ... [false] |
1818
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:93:5:93:9 | break |
1919
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:94:4:95:12 | <Expr>; |
20+
| Test.kt:94:4:95:12 | <Expr>; | Test.kt:94:8:94:14 | After ... (value equals) ... [false] |
2021
| Test.kt:94:4:95:12 | <Expr>; | Test.kt:95:12:95:12 | c |

‎java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.ql‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11
import java
2+
import utils.test.BasicBlock
23

34
from Method func, BasicBlock dominator, BasicBlock bb
45
where
56
dominator.immediatelyDominates(bb) and
67
dominator.getEnclosingCallable() = func and
78
func.getDeclaringType().hasName("Test")
8-
select dominator, bb
9+
select getFirstAstNodeOrSynth(dominator), getFirstAstNodeOrSynth(bb)

‎java/ql/test/library-tests/controlflow/dominance/dominator.expected‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
| Test.java:2:6:2:9 | Normal Exit | Test.java:2:6:2:9 | Exit |
21
| Test.java:2:32:72:2 | { ... } | Test.java:7:14:10:3 | { ... } |
32
| Test.java:2:32:72:2 | { ... } | Test.java:10:10:12:3 | { ... } |
43
| Test.java:2:32:72:2 | { ... } | Test.java:14:3:14:20 | <Expr>; |
54
| Test.java:14:3:14:20 | <Expr>; | Test.java:2:6:2:9 | Normal Exit |
65
| Test.java:14:3:14:20 | <Expr>; | Test.java:18:4:18:10 | <Expr>; |
76
| Test.java:14:3:14:20 | <Expr>; | Test.java:20:11:20:11 | z |
7+
| Test.java:18:4:18:10 | <Expr>; | Test.java:26:7:26:12 | After ... == ... [false] |
88
| Test.java:18:4:18:10 | <Expr>; | Test.java:26:15:29:3 | { ... } |
99
| Test.java:18:4:18:10 | <Expr>; | Test.java:31:3:31:9 | <Expr>; |
1010
| Test.java:31:3:31:9 | <Expr>; | Test.java:34:10:34:10 | x |
@@ -14,18 +14,20 @@
1414
| Test.java:42:15:42:15 | j | Test.java:42:28:45:3 | { ... } |
1515
| Test.java:42:15:42:15 | j | Test.java:47:3:47:9 | <Expr>; |
1616
| Test.java:47:3:47:9 | <Expr>; | Test.java:50:15:50:15 | j |
17+
| Test.java:50:15:50:15 | j | Test.java:50:15:50:20 | After ... < ... [false] |
1718
| Test.java:50:15:50:15 | j | Test.java:50:28:64:3 | { ... } |
1819
| Test.java:50:15:50:15 | j | Test.java:66:3:66:17 | <Expr>; |
1920
| Test.java:50:28:64:3 | { ... } | Test.java:50:23:50:23 | j |
2021
| Test.java:50:28:64:3 | { ... } | Test.java:53:5:53:14 | if (...) |
2122
| Test.java:50:28:64:3 | { ... } | Test.java:59:9:62:4 | { ... } |
2223
| Test.java:53:5:53:14 | if (...) | Test.java:53:16:56:5 | { ... } |
2324
| Test.java:53:5:53:14 | if (...) | Test.java:56:12:58:5 | { ... } |
24-
| Test.java:74:6:74:10 | Normal Exit | Test.java:74:6:74:10 | Exit |
2525
| Test.java:74:19:91:2 | { ... } | Test.java:79:9:79:12 | true |
26+
| Test.java:79:9:79:12 | true | Test.java:81:8:81:14 | After ... > ... [false] |
2627
| Test.java:79:9:79:12 | true | Test.java:81:17:84:4 | { ... } |
2728
| Test.java:79:9:79:12 | true | Test.java:85:4:85:15 | if (...) |
2829
| Test.java:85:4:85:15 | if (...) | Test.java:74:6:74:10 | Normal Exit |
2930
| Test.java:85:4:85:15 | if (...) | Test.java:86:5:86:10 | break |
3031
| Test.java:85:4:85:15 | if (...) | Test.java:87:4:87:15 | if (...) |
32+
| Test.java:87:4:87:15 | if (...) | Test.java:87:8:87:14 | After ... == ... [false] |
3133
| Test.java:87:4:87:15 | if (...) | Test.java:88:12:88:12 | c |

‎java/ql/test/library-tests/controlflow/dominance/dominator.ql‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11
import java
2+
import utils.test.BasicBlock
23

34
from Method func, BasicBlock dominator, BasicBlock bb
45
where
56
dominator.immediatelyDominates(bb) and
67
dominator.getEnclosingCallable() = func and
78
func.getDeclaringType().hasName("Test")
8-
select dominator, bb
9+
select getFirstAstNodeOrSynth(dominator), getFirstAstNodeOrSynth(bb)

0 commit comments

Comments
 (0)