hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Handle WhenBranch CFG properly

Browse Source
This commit is contained in:
Tony Torralba
2022-03-07 12:39:41 +01:00
committed by Ian Lynagh
parent 5ea3228768
commit 10ab11cdf7
8 changed files with 76 additions and 230 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/lib/semmle/code/java/ControlFlowGraph.qll
View File

@@ -88,14 +88,16 @@ class ControlFlowNode extends Top, @exprparent {
/** Gets the statement containing this node, if any. */
Stmt getEnclosingStmt() {
result = this or
result = this.(Expr).getEnclosingStmt()
result = this.(Expr).getEnclosingStmt() or
result = this.(WhenBranch).getWhenExpr().getEnclosingStmt()
}
/** Gets the immediately enclosing callable whose body contains this node. */
Callable getEnclosingCallable() {
result = this or
result = this.(Stmt).getEnclosingCallable() or
result = this.(Expr).getEnclosingCallable()
result = this.(Expr).getEnclosingCallable() or
result = this.(WhenBranch).getWhenExpr().getEnclosingCallable()
}
/** Gets an immediate successor of this node. */
@@ -556,9 +558,7 @@ private module ControlFlowGraphImpl {
result = e.getArgument(index)
)
or
exists(StringTemplateExpr e | e = this |
result = e.getComponent(index)
)
exists(StringTemplateExpr e | e = this | result = e.getComponent(index))
or
index = 0 and result = this.(ClassExpr).getExpr()
or

38
java/ql/test/kotlin/library-tests/controlflow/basic/bbStmts.expected
View File

@@ -21,19 +21,19 @@
| Test.kt:4:13:79:2 | { ... } | 16 | Test.kt:11:7:11:7 | x |
| Test.kt:4:13:79:2 | { ... } | 17 | Test.kt:11:11:11:11 | 0 |
| Test.kt:4:13:79:2 | { ... } | 18 | Test.kt:11:7:11:11 | ... > ... |
| Test.kt:4:13:79:2 | { ... } | 19 | Test.kt:11:14:14:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | 20 | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | 21 | Test.kt:12:8:12:9 | 20 |
| Test.kt:4:13:79:2 | { ... } | 22 | Test.kt:12:4:12:9 | ...=... |
| Test.kt:4:13:79:2 | { ... } | 23 | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | 24 | Test.kt:13:8:13:9 | 10 |
| Test.kt:4:13:79:2 | { ... } | 25 | Test.kt:13:4:13:9 | ...=... |
| Test.kt:11:3:16:3 | ... -> ... | 0 | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:11:3:16:3 | ... -> ... | 1 | Test.kt:11:3:16:3 | true |
| Test.kt:11:3:16:3 | ... -> ... | 2 | Test.kt:14:10:16:3 | { ... } |
| Test.kt:11:3:16:3 | ... -> ... | 3 | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:11:3:16:3 | ... -> ... | 4 | Test.kt:15:8:15:9 | 30 |
| Test.kt:11:3:16:3 | ... -> ... | 5 | Test.kt:15:4:15:9 | ...=... |
| Test.kt:11:14:14:3 | { ... } | 0 | Test.kt:11:14:14:3 | { ... } |
| Test.kt:11:14:14:3 | { ... } | 1 | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | 2 | Test.kt:12:8:12:9 | 20 |
| Test.kt:11:14:14:3 | { ... } | 3 | Test.kt:12:4:12:9 | ...=... |
| Test.kt:11:14:14:3 | { ... } | 4 | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | 5 | Test.kt:13:8:13:9 | 10 |
| Test.kt:11:14:14:3 | { ... } | 6 | Test.kt:13:4:13:9 | ...=... |
| Test.kt:18:3:18:3 | <Expr>; | 0 | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | 1 | Test.kt:18:7:18:7 | 0 |
| Test.kt:18:3:18:3 | <Expr>; | 2 | Test.kt:18:3:18:7 | ...=... |
@@ -43,22 +43,22 @@
| Test.kt:18:3:18:3 | <Expr>; | 6 | Test.kt:21:6:21:6 | x |
| Test.kt:18:3:18:3 | <Expr>; | 7 | Test.kt:21:10:21:10 | 0 |
| Test.kt:18:3:18:3 | <Expr>; | 8 | Test.kt:21:6:21:10 | ... < ... |
| Test.kt:18:3:18:3 | <Expr>; | 9 | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | 10 | Test.kt:22:8:22:9 | 40 |
| Test.kt:18:3:18:3 | <Expr>; | 11 | Test.kt:22:4:22:9 | ...=... |
| Test.kt:18:3:18:3 | <Expr>; | 12 | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | 13 | Test.kt:27:7:27:8 | 10 |
| Test.kt:18:3:18:3 | <Expr>; | 14 | Test.kt:27:3:27:8 | ...=... |
| Test.kt:18:3:18:3 | <Expr>; | 15 | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | 16 | Test.kt:30:3:33:3 | when ... |
| Test.kt:18:3:18:3 | <Expr>; | 17 | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:18:3:18:3 | <Expr>; | 18 | Test.kt:30:7:30:7 | x |
| Test.kt:18:3:18:3 | <Expr>; | 19 | Test.kt:30:12:30:12 | 0 |
| Test.kt:18:3:18:3 | <Expr>; | 20 | Test.kt:30:7:30:12 | ... (value equals) ... |
| Test.kt:21:3:24:9 | ... -> ... | 0 | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:21:3:24:9 | ... -> ... | 1 | Test.kt:21:3:24:9 | true |
| Test.kt:21:3:24:9 | ... -> ... | 2 | Test.kt:24:4:24:9 | INSTANCE |
| Test.kt:21:3:24:9 | ... -> ... | 3 | Test.kt:24:4:24:9 | return ... |
| Test.kt:22:4:22:4 | <Expr>; | 0 | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | 1 | Test.kt:22:8:22:9 | 40 |
| Test.kt:22:4:22:4 | <Expr>; | 2 | Test.kt:22:4:22:9 | ...=... |
| Test.kt:22:4:22:4 | <Expr>; | 3 | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | 4 | Test.kt:27:7:27:8 | 10 |
| Test.kt:22:4:22:4 | <Expr>; | 5 | Test.kt:27:3:27:8 | ...=... |
| Test.kt:22:4:22:4 | <Expr>; | 6 | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | 7 | Test.kt:30:3:33:3 | when ... |
| Test.kt:22:4:22:4 | <Expr>; | 8 | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:22:4:22:4 | <Expr>; | 9 | Test.kt:30:7:30:7 | x |
| Test.kt:22:4:22:4 | <Expr>; | 10 | Test.kt:30:12:30:12 | 0 |
| Test.kt:22:4:22:4 | <Expr>; | 11 | Test.kt:30:7:30:12 | ... (value equals) ... |
| Test.kt:30:15:33:3 | { ... } | 0 | Test.kt:30:15:33:3 | { ... } |
| Test.kt:30:15:33:3 | { ... } | 1 | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:30:15:33:3 | { ... } | 2 | Test.kt:31:8:31:9 | 60 |

14
java/ql/test/kotlin/library-tests/controlflow/basic/bbStrictDominance.expected
View File

@@ -1,24 +1,32 @@
| Test.kt:4:13:79:2 | { ... } | Test.kt:4:2:79:2 | test |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:30:15:33:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:9:38:9 | x |
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:16:41:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:4:2:79:2 | test |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:38:9:38:9 | x |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:4:2:79:2 | test |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:38:9:38:9 | x |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:9:38:9 | x |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:38:9:38:9 | x | Test.kt:4:2:79:2 | test |
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:4:2:79:2 | test |
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | t1 |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | x |
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |

10
java/ql/test/kotlin/library-tests/controlflow/basic/bbSuccessor.expected
View File

@@ -1,8 +1,12 @@
| Test.kt:4:13:79:2 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:4:2:79:2 | test |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:30:15:33:3 | { ... } | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:9:38:9 | x |
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |

2
java/ql/test/kotlin/library-tests/controlflow/basic/getASuccessor.expected
View File

@@ -27,6 +27,7 @@
| Test.kt:11:3:16:3 | true | BooleanLiteral | Test.kt:14:10:16:3 | { ... } | BlockStmt |
| Test.kt:11:3:16:3 | when ... | WhenExpr | Test.kt:11:3:16:3 | ... -> ... | WhenBranch |
| Test.kt:11:7:11:7 | x | VarAccess | Test.kt:11:11:11:11 | 0 | IntegerLiteral |
| Test.kt:11:7:11:11 | ... > ... | GTExpr | Test.kt:11:3:16:3 | ... -> ... | WhenBranch |
| Test.kt:11:7:11:11 | ... > ... | GTExpr | Test.kt:11:14:14:3 | { ... } | BlockStmt |
| Test.kt:11:11:11:11 | 0 | IntegerLiteral | Test.kt:11:7:11:11 | ... > ... | GTExpr |
| Test.kt:11:14:14:3 | { ... } | BlockStmt | Test.kt:12:4:12:4 | <Expr>; | ExprStmt |
@@ -53,6 +54,7 @@
| Test.kt:21:3:24:9 | true | BooleanLiteral | Test.kt:24:4:24:9 | INSTANCE | VarAccess |
| Test.kt:21:3:24:9 | when ... | WhenExpr | Test.kt:21:3:24:9 | ... -> ... | WhenBranch |
| Test.kt:21:6:21:6 | x | VarAccess | Test.kt:21:10:21:10 | 0 | IntegerLiteral |
| Test.kt:21:6:21:10 | ... < ... | LTExpr | Test.kt:21:3:24:9 | ... -> ... | WhenBranch |
| Test.kt:21:6:21:10 | ... < ... | LTExpr | Test.kt:22:4:22:4 | <Expr>; | ExprStmt |
| Test.kt:21:10:21:10 | 0 | IntegerLiteral | Test.kt:21:6:21:10 | ... < ... | LTExpr |
| Test.kt:22:4:22:4 | <Expr>; | ExprStmt | Test.kt:22:8:22:9 | 40 | LongLiteral |

83
java/ql/test/kotlin/library-tests/controlflow/basic/strictDominance.expected
View File

@@ -7,9 +7,12 @@
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:14:14:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:14:10:16:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:24:4:24:9 | return ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:30:15:33:3 | { ... } |
@@ -35,9 +38,12 @@
| Test.kt:5:3:5:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
@@ -62,9 +68,12 @@
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:30:15:33:3 | { ... } |
@@ -88,9 +97,12 @@
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
@@ -113,9 +125,12 @@
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
@@ -137,9 +152,12 @@
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:24:4:24:9 | return ... |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
@@ -160,73 +178,11 @@
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:11:14:14:3 | { ... } | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:30:15:33:3 | { ... } |
| Test.kt:11:14:14:3 | { ... } | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:38:3:41:3 | while (...) |
| Test.kt:11:14:14:3 | { ... } | Test.kt:38:16:41:3 | { ... } |
| Test.kt:11:14:14:3 | { ... } | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:40:4:40:4 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:40:4:40:6 | { ... } |
| Test.kt:11:14:14:3 | { ... } | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:78:3:78:8 | return ... |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:40:4:40:4 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:40:4:40:4 | var ...; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:14:10:16:3 | { ... } | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:24:4:24:9 | return ... |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
@@ -246,6 +202,7 @@
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:24:4:24:9 | return ... |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:30:15:33:3 | { ... } |

135
java/ql/test/kotlin/library-tests/controlflow/basic/strictPostDominance.expected
View File

@@ -14,25 +14,7 @@
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:4:13:79:2 | { ... } |
| Test.kt:11:14:14:3 | { ... } | Test.kt:5:3:5:16 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:6:3:6:18 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:7:3:7:16 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:8:3:8:16 | var ...; |
| Test.kt:11:14:14:3 | { ... } | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:15:4:15:4 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
@@ -59,83 +41,18 @@
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:31:4:31:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:32:4:32:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:32:4:32:4 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:4:13:79:2 | { ... } |
| Test.kt:38:3:41:3 | while (...) | Test.kt:5:3:5:16 | var ...; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:6:3:6:18 | var ...; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:7:3:7:16 | var ...; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:8:3:8:16 | var ...; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:11:14:14:3 | { ... } |
| Test.kt:38:3:41:3 | while (...) | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:14:10:16:3 | { ... } |
| Test.kt:38:3:41:3 | while (...) | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:30:3:33:3 | <Expr>; |
@@ -164,19 +81,6 @@
| Test.kt:40:4:40:6 | { ... } | Test.kt:38:16:41:3 | { ... } |
| Test.kt:40:4:40:6 | { ... } | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:40:4:40:6 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
@@ -192,19 +96,6 @@
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
@@ -221,19 +112,6 @@
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
@@ -251,19 +129,6 @@
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:4:13:79:2 | { ... } |
| Test.kt:78:3:78:8 | return ... | Test.kt:5:3:5:16 | var ...; |
| Test.kt:78:3:78:8 | return ... | Test.kt:6:3:6:18 | var ...; |
| Test.kt:78:3:78:8 | return ... | Test.kt:7:3:7:16 | var ...; |
| Test.kt:78:3:78:8 | return ... | Test.kt:8:3:8:16 | var ...; |
| Test.kt:78:3:78:8 | return ... | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:11:14:14:3 | { ... } |
| Test.kt:78:3:78:8 | return ... | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:14:10:16:3 | { ... } |
| Test.kt:78:3:78:8 | return ... | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:30:3:33:3 | <Expr>; |

14
java/ql/test/kotlin/library-tests/controlflow/dominance/dominator.expected
View File

@@ -13,18 +13,21 @@
| Test.kt:8:3:8:18 | var ...; | Test.kt:8:17:8:18 | 50 |
| Test.kt:8:3:8:18 | y | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:8:17:8:18 | 50 | Test.kt:8:3:8:18 | y |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:11:3:16:3 | true |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:11:7:11:7 | x |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:11:3:16:3 | when ... |
| Test.kt:11:3:16:3 | true | Test.kt:14:10:16:3 | { ... } |
| Test.kt:11:3:16:3 | when ... | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:11:7:11:7 | x | Test.kt:11:11:11:11 | 0 |
| Test.kt:11:7:11:11 | ... > ... | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:11:7:11:11 | ... > ... | Test.kt:11:14:14:3 | { ... } |
| Test.kt:11:7:11:11 | ... > ... | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:11:11:11:11 | 0 | Test.kt:11:7:11:11 | ... > ... |
| Test.kt:11:14:14:3 | { ... } | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:12:8:12:9 | 20 |
| Test.kt:12:4:12:9 | ...=... | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:12:8:12:9 | 20 | Test.kt:12:4:12:9 | ...=... |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:13:8:13:9 | 10 |
| Test.kt:13:4:13:9 | ...=... | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:13:8:13:9 | 10 | Test.kt:13:4:13:9 | ...=... |
| Test.kt:14:10:16:3 | { ... } | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:15:4:15:4 | <Expr>; | Test.kt:15:8:15:9 | 30 |
@@ -35,10 +38,14 @@
| Test.kt:18:8:18:8 | x | Test.kt:18:12:18:12 | y |
| Test.kt:18:8:18:12 | ... + ... | Test.kt:18:7:18:20 | (...)... |
| Test.kt:18:12:18:12 | y | Test.kt:18:8:18:12 | ... + ... |
| Test.kt:21:3:24:11 | ... -> ... | Test.kt:21:3:24:11 | true |
| Test.kt:21:3:24:11 | ... -> ... | Test.kt:21:7:21:7 | x |
| Test.kt:21:3:24:11 | <Expr>; | Test.kt:21:3:24:11 | when ... |
| Test.kt:21:3:24:11 | true | Test.kt:24:11:24:11 | z |
| Test.kt:21:3:24:11 | when ... | Test.kt:21:3:24:11 | ... -> ... |
| Test.kt:21:7:21:7 | x | Test.kt:21:11:21:11 | 0 |
| Test.kt:21:7:21:11 | ... < ... | Test.kt:2:2:79:2 | test |
| Test.kt:21:7:21:11 | ... < ... | Test.kt:21:3:24:11 | ... -> ... |
| Test.kt:21:7:21:11 | ... < ... | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:21:11:21:11 | 0 | Test.kt:21:7:21:11 | ... < ... |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:22:8:22:9 | 40 |
@@ -48,6 +55,7 @@
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:27:7:27:8 | 10 |
| Test.kt:27:3:27:8 | ...=... | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:27:7:27:8 | 10 | Test.kt:27:3:27:8 | ...=... |
| Test.kt:30:3:33:3 | ... -> ... | Test.kt:30:7:30:7 | x |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:30:3:33:3 | when ... |
| Test.kt:30:3:33:3 | when ... | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:30:7:30:7 | x | Test.kt:30:12:30:12 | 0 |
@@ -102,7 +110,6 @@
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:77:7:77:8 | 40 |
| Test.kt:77:3:77:8 | ...=... | Test.kt:78:10:78:10 | w |
| Test.kt:77:7:77:8 | 40 | Test.kt:77:3:77:8 | ...=... |
| Test.kt:78:3:78:10 | return ... | Test.kt:2:2:79:2 | test |
| Test.kt:78:10:78:10 | w | Test.kt:78:3:78:10 | return ... |
| Test.kt:81:25:98:2 | { ... } | Test.kt:83:3:83:12 | var ...; |
| Test.kt:83:3:83:12 | b | Test.kt:84:3:84:12 | var ...; |
@@ -118,6 +125,7 @@
| Test.kt:87:4:87:4 | <Expr>; | Test.kt:87:8:87:9 | 10 |
| Test.kt:87:4:87:9 | ...=... | Test.kt:88:4:91:4 | <Expr>; |
| Test.kt:87:8:87:9 | 10 | Test.kt:87:4:87:9 | ...=... |
| Test.kt:88:4:91:4 | ... -> ... | Test.kt:88:8:88:8 | a |
| Test.kt:88:4:91:4 | <Expr>; | Test.kt:88:4:91:4 | when ... |
| Test.kt:88:4:91:4 | when ... | Test.kt:88:4:91:4 | ... -> ... |
| Test.kt:88:8:88:8 | a | Test.kt:88:12:88:14 | 100 |
@@ -130,6 +138,7 @@
| Test.kt:89:9:89:10 | 10 | Test.kt:89:5:89:10 | ...=... |
| Test.kt:90:5:90:5 | <Expr>; | Test.kt:90:9:90:9 | c |
| Test.kt:90:9:90:9 | c | Test.kt:90:5:90:9 | ...=... |
| Test.kt:92:4:93:9 | ... -> ... | Test.kt:92:8:92:8 | a |
| Test.kt:92:4:93:9 | <Expr>; | Test.kt:92:4:93:9 | when ... |
| Test.kt:92:4:93:9 | when ... | Test.kt:92:4:93:9 | ... -> ... |
| Test.kt:92:8:92:8 | a | Test.kt:92:13:92:14 | 10 |
@@ -138,6 +147,7 @@
| Test.kt:92:8:92:14 | ... (value equals) ... | Test.kt:94:4:95:12 | <Expr>; |
| Test.kt:92:13:92:14 | 10 | Test.kt:92:8:92:14 | ... (value equals) ... |
| Test.kt:93:5:93:9 | break | Test.kt:97:10:97:10 | b |
| Test.kt:94:4:95:12 | ... -> ... | Test.kt:94:8:94:8 | a |
| Test.kt:94:4:95:12 | <Expr>; | Test.kt:94:4:95:12 | when ... |
| Test.kt:94:4:95:12 | when ... | Test.kt:94:4:95:12 | ... -> ... |
| Test.kt:94:8:94:8 | a | Test.kt:94:13:94:14 | 20 |