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

Kotlin: Accept changes

Browse Source
This commit is contained in:
Ian Lynagh
2021-11-26 17:34:14 +00:00
parent 25ccf0569e
commit 1c5f6d70bc
6 changed files with 115 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -81,18 +81,18 @@
| Test.kt:38:16:41:3 | { ... } | 2 | Test.kt:39:8:39:9 | 10 |
| Test.kt:38:16:41:3 | { ... } | 3 | Test.kt:39:4:39:4 | ...=... |
| Test.kt:38:16:41:3 | { ... } | 4 | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | <Stmt> | 0 | Test.kt:40:4:40:6 | <Stmt> |
| Test.kt:40:4:40:6 | <Stmt> | 1 | Test.kt:40:4:40:6 | { ... } |
| Test.kt:40:4:40:6 | <Stmt> | 2 | file://:0:0:0:0 | var ...; |
| Test.kt:40:4:40:6 | <Stmt> | 3 | Test.kt:40:4:40:4 | x |
| Test.kt:40:4:40:6 | <Stmt> | 4 | file://:0:0:0:0 | tmp0 |
| Test.kt:40:4:40:6 | <Stmt> | 5 | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:40:4:40:6 | <Stmt> | 6 | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:40:4:40:6 | <Stmt> | 7 | Test.kt:40:4:40:6 | dec(...) |
| Test.kt:40:4:40:6 | <Stmt> | 8 | Test.kt:40:4:40:4 | ...=... |
| Test.kt:40:4:40:6 | <Stmt> | 9 | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | <Stmt> | 10 | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:40:4:40:6 | <Stmt> | 11 | Test.kt:40:4:40:6 | (...)... |
| Test.kt:38:16:41:3 | { ... } | 5 | Test.kt:40:4:40:6 | <Stmt> |
| Test.kt:38:16:41:3 | { ... } | 6 | Test.kt:40:4:40:6 | { ... } |
| Test.kt:38:16:41:3 | { ... } | 7 | file://:0:0:0:0 | var ...; |
| Test.kt:38:16:41:3 | { ... } | 8 | Test.kt:40:4:40:4 | x |
| Test.kt:38:16:41:3 | { ... } | 9 | file://:0:0:0:0 | tmp0 |
| Test.kt:38:16:41:3 | { ... } | 10 | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | 11 | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:38:16:41:3 | { ... } | 12 | Test.kt:40:4:40:6 | dec(...) |
| Test.kt:38:16:41:3 | { ... } | 13 | Test.kt:40:4:40:4 | ...=... |
| Test.kt:38:16:41:3 | { ... } | 14 | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | 15 | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:38:16:41:3 | { ... } | 16 | Test.kt:40:4:40:6 | (...)... |
| Test.kt:43:3:43:3 | <Expr>; | 0 | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | 1 | Test.kt:43:7:43:8 | 30 |
| Test.kt:43:3:43:3 | <Expr>; | 2 | Test.kt:43:3:43:3 | ...=... |

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

@@ -6,4 +6,4 @@
| 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 | { ... } |
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:40:4:40:6 | <Stmt> | Test.kt:38:9:38:9 | x |
| Test.kt:38:16:41:3 | { ... } | Test.kt:38:9:38:9 | x |

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

@@ -97,8 +97,8 @@
| Test.kt:40:4:40:4 | <Expr>; | ExprStmt | Test.kt:40:4:40:6 | tmp0 | VarAccess |
| Test.kt:40:4:40:4 | x | VarAccess | file://:0:0:0:0 | tmp0 | LocalVariableDeclExpr |
| Test.kt:40:4:40:6 | (...)... | CastExpr | Test.kt:38:9:38:9 | x | VarAccess |
| Test.kt:40:4:40:6 | <Expr>; | ExprStmt | Test.kt:40:4:40:6 | <Stmt> | StmtExpr |
| Test.kt:40:4:40:6 | <Expr>; | ExprStmt | Test.kt:40:4:40:6 | tmp0 | VarAccess |
| Test.kt:40:4:40:6 | <Expr>; | ExprStmt | file://:0:0:0:0 | <none> | <none> |
| Test.kt:40:4:40:6 | <Stmt> | StmtExpr | Test.kt:40:4:40:6 | { ... } | BlockStmt |
| Test.kt:40:4:40:6 | dec(...) | MethodAccess | Test.kt:40:4:40:4 | ...=... | AssignExpr |
| Test.kt:40:4:40:6 | tmp0 | VarAccess | Test.kt:40:4:40:6 | (...)... | CastExpr |

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

@@ -21,11 +21,15 @@
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:3:41:3 | while (...) |
| Test.kt:4:13:79:2 | { ... } | Test.kt:38:16:41:3 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:40:4:40:6 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:78:3:78:8 | return ... |
| Test.kt:4:13:79:2 | { ... } | file://:0:0:0:0 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:8:3:8:16 | var ...; |
@@ -45,11 +49,15 @@
| Test.kt:5:3:5:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:5:3:5:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:5:3:5:16 | var ...; | file://:0:0:0:0 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
@@ -68,11 +76,15 @@
| Test.kt:6:3:6:18 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:6:3:6:18 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:6:3:6:18 | var ...; | file://:0:0:0:0 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
@@ -90,11 +102,15 @@
| Test.kt:7:3:7:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:7:3:7:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:7:3:7:16 | var ...; | file://:0:0:0:0 | var ...; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| 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>; |
@@ -111,11 +127,15 @@
| Test.kt:8:3:8:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:8:3:8:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:8:3:8:16 | var ...; | file://:0:0:0:0 | var ...; |
| 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>; |
@@ -131,11 +151,15 @@
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:11:3:16:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| 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>; |
@@ -150,11 +174,15 @@
| 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: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:11:14:14:3 | { ... } | file://:0:0:0:0 | var ...; |
| 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>; |
@@ -168,11 +196,15 @@
| 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: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:12:4:12:4 | <Expr>; | file://:0:0:0:0 | var ...; |
| 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>; |
@@ -185,11 +217,15 @@
| 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: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:13:4:13:4 | <Expr>; | file://:0:0:0:0 | var ...; |
| 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>; |
@@ -202,11 +238,15 @@
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| 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:18:3:18:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:22:4:22:4 | <Expr>; |
| 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>; |
@@ -217,11 +257,15 @@
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:21:3:24:9 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
@@ -231,11 +275,15 @@
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:22:4:22:4 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:22:4:22:4 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
@@ -244,11 +292,15 @@
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:27:3:27:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:27:3:27:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
@@ -256,33 +308,57 @@
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:30:3:33:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:30:3:33:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:30:15:33:3 | { ... } | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:30:15:33:3 | { ... } | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:31:4:31:4 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:35:3:35:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:35:3:35:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:38:16:41:3 | { ... } |
| Test.kt:38:3:41:3 | while (...) | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:40:4:40:6 | { ... } |
| Test.kt:38:3:41:3 | while (...) | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:78:3:78:8 | return ... |
| Test.kt:38:3:41:3 | while (...) | file://:0:0:0:0 | var ...; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:40:4:40:6 | { ... } |
| Test.kt:38:16:41:3 | { ... } | file://:0:0:0:0 | var ...; |
| Test.kt:39:4:39:4 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:39:4:39:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:39:4:39:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:39:4:39:4 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:39:4:39:4 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:40:4:40:6 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:40:4:40:6 | { ... } | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:40:4:40:6 | { ... } | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | { ... } | file://:0:0:0:0 | var ...; |

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

@@ -146,13 +146,22 @@
| Test.kt:38:3:41:3 | while (...) | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:38:3:41:3 | while (...) | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:39:4:39:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:40:4:40:4 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:40:4:40:6 | <Expr>; | file://:0:0:0:0 | var ...; |
| 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 ...; |
@@ -174,8 +183,11 @@
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:40:4:40:4 | <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 | <Expr>; |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:43:3:43:3 | <Expr>; | file://:0:0:0:0 | var ...; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
@@ -199,8 +211,11 @@
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:73:3:73:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| 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 | <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:73:3:73:3 | <Expr>; | file://:0:0:0:0 | var ...; |
@@ -225,8 +240,11 @@
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:40:4:40:6 | <Expr>; |
| 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>; |
@@ -252,11 +270,17 @@
| Test.kt:78:3:78:8 | return ... | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:38:3:41:3 | while (...) |
| Test.kt:78:3:78:8 | return ... | Test.kt:38:16:41:3 | { ... } |
| Test.kt:78:3:78:8 | return ... | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:40:4:40:6 | { ... } |
| Test.kt:78:3:78:8 | return ... | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:78:3:78:8 | return ... | file://:0:0:0:0 | var ...; |
| file://:0:0:0:0 | var ...; | Test.kt:38:16:41:3 | { ... } |
| file://:0:0:0:0 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| file://:0:0:0:0 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| file://:0:0:0:0 | var ...; | Test.kt:40:4:40:6 | { ... } |

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

@@ -78,6 +78,7 @@
| Test.kt:40:4:40:4 | ...=... | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:40:4:40:4 | <Expr>; | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:40:4:40:4 | x | file://:0:0:0:0 | tmp0 |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | <Stmt> |
| Test.kt:40:4:40:6 | <Expr>; | Test.kt:40:4:40:6 | tmp0 |
| Test.kt:40:4:40:6 | <Stmt> | Test.kt:40:4:40:6 | { ... } |
| Test.kt:40:4:40:6 | dec(...) | Test.kt:40:4:40:4 | ...=... |