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

Kotlin: Extract extension binary operators

Browse Source
This commit is contained in:
Tamas Vajk
2022-11-03 16:11:23 +01:00
parent 70561cabaf
commit 16cb4c5aaa
8 changed files with 37 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/BinaryExpr.expected
View File

@@ -1,6 +0,0 @@
| exprs.kt:47:16:47:25 | ... \| ... | No left operand |
| exprs.kt:48:16:48:26 | ... & ... | No left operand |
| exprs.kt:49:16:49:26 | ... ^ ... | No left operand |
| exprs.kt:64:15:64:22 | ... \| ... | No left operand |
| exprs.kt:65:15:65:23 | ... & ... | No left operand |
| exprs.kt:66:15:66:23 | ... ^ ... | No left operand |

6
java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/cfgDeadEnds.expected
View File

@@ -1,8 +1,2 @@
| exprs.kt:47:5:47:25 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:48:5:48:26 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:49:5:49:26 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:64:5:64:22 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:65:5:65:23 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:66:5:66:23 | var ...; | LocalVariableDeclStmt | unexpected dead end |
| exprs.kt:278:52:278:66 | <error expr> | ErrorExpr | unexpected dead end |
| exprs.kt:278:52:278:66 | { ... } | BlockStmt | unexpected dead end |

6
java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/children.expected
View File

@@ -1,6 +0,0 @@
| exprs.kt:47:16:47:25 | ... \| ... | OrBitwiseExpr | 1 | late | 1 |
| exprs.kt:48:16:48:26 | ... & ... | AndBitwiseExpr | 1 | late | 1 |
| exprs.kt:49:16:49:26 | ... ^ ... | XorBitwiseExpr | 1 | late | 1 |
| exprs.kt:64:15:64:22 | ... \| ... | OrBitwiseExpr | 1 | late | 1 |
| exprs.kt:65:15:65:23 | ... & ... | AndBitwiseExpr | 1 | late | 1 |
| exprs.kt:66:15:66:23 | ... ^ ... | XorBitwiseExpr | 1 | late | 1 |

7
java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/diags.expected
View File

@@ -1,7 +0,0 @@
unexpectedDiagnostic
| exprs.kt:47:16:47:25 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:47:16:47:25\n ...while extracting a expression (<no name>) at exprs.kt:47:16:47:25\n ...while extracting a variable expr (by14) at exprs.kt:47:5:47:25\n ...while extracting a variable (by14) at exprs.kt:47:5:47:25\n ...while extracting a statement (by14) at exprs.kt:47:5:47:25\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |
| exprs.kt:48:16:48:26 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:48:16:48:26\n ...while extracting a expression (<no name>) at exprs.kt:48:16:48:26\n ...while extracting a variable expr (by15) at exprs.kt:48:5:48:26\n ...while extracting a variable (by15) at exprs.kt:48:5:48:26\n ...while extracting a statement (by15) at exprs.kt:48:5:48:26\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |
| exprs.kt:49:16:49:26 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:49:16:49:26\n ...while extracting a expression (<no name>) at exprs.kt:49:16:49:26\n ...while extracting a variable expr (by16) at exprs.kt:49:5:49:26\n ...while extracting a variable (by16) at exprs.kt:49:5:49:26\n ...while extracting a statement (by16) at exprs.kt:49:5:49:26\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |
| exprs.kt:64:15:64:22 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:64:15:64:22\n ...while extracting a expression (<no name>) at exprs.kt:64:15:64:22\n ...while extracting a variable expr (s14) at exprs.kt:64:5:64:22\n ...while extracting a variable (s14) at exprs.kt:64:5:64:22\n ...while extracting a statement (s14) at exprs.kt:64:5:64:22\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |
| exprs.kt:65:15:65:23 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:65:15:65:23\n ...while extracting a expression (<no name>) at exprs.kt:65:15:65:23\n ...while extracting a variable expr (s15) at exprs.kt:65:5:65:23\n ...while extracting a variable (s15) at exprs.kt:65:5:65:23\n ...while extracting a statement (s15) at exprs.kt:65:5:65:23\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |
| exprs.kt:66:15:66:23 | Dispatch receiver not found | 2022-11-03 15:47:53 Dispatch receiver not found ...while extracting a call (<no name>) at exprs.kt:66:15:66:23\n ...while extracting a expression (<no name>) at exprs.kt:66:15:66:23\n ...while extracting a variable expr (s16) at exprs.kt:66:5:66:23\n ...while extracting a variable (s16) at exprs.kt:66:5:66:23\n ...while extracting a statement (s16) at exprs.kt:66:5:66:23\n ...while extracting a block body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a body (<no name>) at exprs.kt:10:27:142:1\n ...while extracting a function (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a declaration (topLevelMethod) at exprs.kt:4:1:142:1\n ...while extracting a file (exprs.kt) at exprs.kt:1:1:359:0\n |

6
java/ql/test/kotlin/library-tests/exprs/PrintAst.expected
View File

@@ -2109,14 +2109,17 @@ exprs.kt:
# 47| 35: [LocalVariableDeclStmt] var ...;
# 47| 1: [LocalVariableDeclExpr] by14
# 47| 0: [OrBitwiseExpr] ... | ...
# 47| 0: [VarAccess] byx
# 47| 1: [VarAccess] byy
# 48| 36: [LocalVariableDeclStmt] var ...;
# 48| 1: [LocalVariableDeclExpr] by15
# 48| 0: [AndBitwiseExpr] ... & ...
# 48| 0: [VarAccess] byx
# 48| 1: [VarAccess] byy
# 49| 37: [LocalVariableDeclStmt] var ...;
# 49| 1: [LocalVariableDeclExpr] by16
# 49| 0: [XorBitwiseExpr] ... ^ ...
# 49| 0: [VarAccess] byx
# 49| 1: [VarAccess] byy
# 51| 38: [LocalVariableDeclStmt] var ...;
# 51| 1: [LocalVariableDeclExpr] s1
@@ -2196,14 +2199,17 @@ exprs.kt:
# 64| 51: [LocalVariableDeclStmt] var ...;
# 64| 1: [LocalVariableDeclExpr] s14
# 64| 0: [OrBitwiseExpr] ... | ...
# 64| 0: [VarAccess] sx
# 64| 1: [VarAccess] sy
# 65| 52: [LocalVariableDeclStmt] var ...;
# 65| 1: [LocalVariableDeclExpr] s15
# 65| 0: [AndBitwiseExpr] ... & ...
# 65| 0: [VarAccess] sx
# 65| 1: [VarAccess] sy
# 66| 53: [LocalVariableDeclStmt] var ...;
# 66| 1: [LocalVariableDeclExpr] s16
# 66| 0: [XorBitwiseExpr] ... ^ ...
# 66| 0: [VarAccess] sx
# 66| 1: [VarAccess] sy
# 68| 54: [LocalVariableDeclStmt] var ...;
# 68| 1: [LocalVariableDeclExpr] l1

12
java/ql/test/kotlin/library-tests/exprs/binop.expected
View File

@@ -28,9 +28,9 @@
| exprs.kt:44:16:44:25 | ... >= ... | exprs.kt:44:16:44:18 | intValue(...) | exprs.kt:44:23:44:25 | intValue(...) |
| exprs.kt:45:16:45:26 | ... == ... | exprs.kt:45:16:45:18 | byx | exprs.kt:45:24:45:26 | byy |
| exprs.kt:46:16:46:26 | ... != ... | exprs.kt:46:16:46:18 | byx | exprs.kt:46:24:46:26 | byy |
| exprs.kt:47:16:47:25 | ... \| ... | file://:0:0:0:0 | <none> | exprs.kt:47:23:47:25 | byy |
| exprs.kt:48:16:48:26 | ... & ... | file://:0:0:0:0 | <none> | exprs.kt:48:24:48:26 | byy |
| exprs.kt:49:16:49:26 | ... ^ ... | file://:0:0:0:0 | <none> | exprs.kt:49:24:49:26 | byy |
| exprs.kt:47:16:47:25 | ... \| ... | exprs.kt:47:16:47:18 | byx | exprs.kt:47:23:47:25 | byy |
| exprs.kt:48:16:48:26 | ... & ... | exprs.kt:48:16:48:18 | byx | exprs.kt:48:24:48:26 | byy |
| exprs.kt:49:16:49:26 | ... ^ ... | exprs.kt:49:16:49:18 | byx | exprs.kt:49:24:49:26 | byy |
| exprs.kt:52:14:52:20 | ... + ... | exprs.kt:52:14:52:15 | sx | exprs.kt:52:19:52:20 | sy |
| exprs.kt:53:14:53:20 | ... - ... | exprs.kt:53:14:53:15 | sx | exprs.kt:53:19:53:20 | sy |
| exprs.kt:54:14:54:20 | ... / ... | exprs.kt:54:14:54:15 | sx | exprs.kt:54:19:54:20 | sy |
@@ -43,9 +43,9 @@
| exprs.kt:61:15:61:22 | ... >= ... | exprs.kt:61:15:61:16 | intValue(...) | exprs.kt:61:21:61:22 | intValue(...) |
| exprs.kt:62:15:62:23 | ... == ... | exprs.kt:62:15:62:16 | sx | exprs.kt:62:22:62:23 | sy |
| exprs.kt:63:15:63:23 | ... != ... | exprs.kt:63:15:63:16 | sx | exprs.kt:63:22:63:23 | sy |
| exprs.kt:64:15:64:22 | ... \| ... | file://:0:0:0:0 | <none> | exprs.kt:64:21:64:22 | sy |
| exprs.kt:65:15:65:23 | ... & ... | file://:0:0:0:0 | <none> | exprs.kt:65:22:65:23 | sy |
| exprs.kt:66:15:66:23 | ... ^ ... | file://:0:0:0:0 | <none> | exprs.kt:66:22:66:23 | sy |
| exprs.kt:64:15:64:22 | ... \| ... | exprs.kt:64:15:64:16 | sx | exprs.kt:64:21:64:22 | sy |
| exprs.kt:65:15:65:23 | ... & ... | exprs.kt:65:15:65:16 | sx | exprs.kt:65:22:65:23 | sy |
| exprs.kt:66:15:66:23 | ... ^ ... | exprs.kt:66:15:66:16 | sx | exprs.kt:66:22:66:23 | sy |
| exprs.kt:69:14:69:20 | ... + ... | exprs.kt:69:14:69:15 | lx | exprs.kt:69:19:69:20 | ly |
| exprs.kt:70:14:70:20 | ... - ... | exprs.kt:70:14:70:15 | lx | exprs.kt:70:19:70:20 | ly |
| exprs.kt:71:14:71:20 | ... / ... | exprs.kt:71:14:71:15 | lx | exprs.kt:71:19:71:20 | ly |

6
java/ql/test/kotlin/library-tests/exprs/exprs.expected
View File

@@ -1057,12 +1057,15 @@
| exprs.kt:46:16:46:26 | ... != ... | exprs.kt:4:1:142:1 | topLevelMethod | NEExpr |
| exprs.kt:46:24:46:26 | byy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:47:5:47:25 | by14 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:47:16:47:18 | byx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:47:16:47:25 | ... \| ... | exprs.kt:4:1:142:1 | topLevelMethod | OrBitwiseExpr |
| exprs.kt:47:23:47:25 | byy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:48:5:48:26 | by15 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:48:16:48:18 | byx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:48:16:48:26 | ... & ... | exprs.kt:4:1:142:1 | topLevelMethod | AndBitwiseExpr |
| exprs.kt:48:24:48:26 | byy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:49:5:49:26 | by16 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:49:16:49:18 | byx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:49:16:49:26 | ... ^ ... | exprs.kt:4:1:142:1 | topLevelMethod | XorBitwiseExpr |
| exprs.kt:49:24:49:26 | byy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:51:5:51:16 | s1 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
@@ -1128,12 +1131,15 @@
| exprs.kt:63:15:63:23 | ... != ... | exprs.kt:4:1:142:1 | topLevelMethod | NEExpr |
| exprs.kt:63:22:63:23 | sy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:64:5:64:22 | s14 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:64:15:64:16 | sx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:64:15:64:22 | ... \| ... | exprs.kt:4:1:142:1 | topLevelMethod | OrBitwiseExpr |
| exprs.kt:64:21:64:22 | sy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:65:5:65:23 | s15 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:65:15:65:16 | sx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:65:15:65:23 | ... & ... | exprs.kt:4:1:142:1 | topLevelMethod | AndBitwiseExpr |
| exprs.kt:65:22:65:23 | sy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:66:5:66:23 | s16 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |
| exprs.kt:66:15:66:16 | sx | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:66:15:66:23 | ... ^ ... | exprs.kt:4:1:142:1 | topLevelMethod | XorBitwiseExpr |
| exprs.kt:66:22:66:23 | sy | exprs.kt:4:1:142:1 | topLevelMethod | VarAccess |
| exprs.kt:68:5:68:16 | l1 | exprs.kt:4:1:142:1 | topLevelMethod | LocalVariableDeclExpr |