hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-23 20:26:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #10278 from tamasvajk/kotlin-reified-enum

Browse Source 
Kotlin: Extract error expression for `enumValues<T>` calls
This commit is contained in:
Tamás Vajk
2022-09-07 17:33:08 +02:00
committed by GitHub
parent bc17d061e7 f84e62e16b
commit b129c4098d
5 changed files with 70 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/cfgDeadEnds.expected Normal file
View File

@@ -0,0 +1,2 @@
| exprs.kt:272:52:272:66 | <error expr> | ErrorExpr | unexpected dead end |
| exprs.kt:272:52:272:66 | { ... } | BlockStmt | unexpected dead end |

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

@@ -2832,6 +2832,28 @@ exprs.kt:
# 268| 0: [AssignRemExpr] ...%=...
# 268| 0: [VarAccess] updated
# 268| 1: [IntegerLiteral] 1
# 272| 12: [Method] getEnumValues
#-----| 2: (Generic Parameters)
# 272| 0: [TypeVariable] T
# 272| 3: [TypeAccess] T[]
# 272| 0: [TypeAccess] T
# 272| 5: [BlockStmt] { ... }
# 272| 0: [ReturnStmt] return ...
# 272| 0: [ErrorExpr] <error expr>
# 274| 13: [Method] callToEnumValues
# 274| 3: [TypeAccess] Unit
# 274| 5: [BlockStmt] { ... }
# 275| 0: [ExprStmt] <Expr>;
# 275| 0: [ImplicitCoercionToUnitExpr] <implicit coercion to unit>
# 275| 0: [TypeAccess] Unit
# 275| 1: [MethodAccess] values(...)
# 275| -1: [TypeAccess] Color
# 276| 1: [ExprStmt] <Expr>;
# 276| 0: [ImplicitCoercionToUnitExpr] <implicit coercion to unit>
# 276| 0: [TypeAccess] Unit
# 276| 1: [MethodAccess] getEnumValues(...)
# 276| -2: [TypeAccess] Color
# 276| -1: [TypeAccess] ExprsKt
# 142| 2: [Class] C
# 142| 1: [Constructor] C
#-----| 4: (Parameters)

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

@@ -1723,6 +1723,19 @@
| exprs.kt:268:3:268:9 | updated | exprs.kt:261:1:270:1 | inPlaceOperators | VarAccess |
| exprs.kt:268:3:268:14 | ...%=... | exprs.kt:261:1:270:1 | inPlaceOperators | AssignRemExpr |
| exprs.kt:268:14:268:14 | 1 | exprs.kt:261:1:270:1 | inPlaceOperators | IntegerLiteral |
| exprs.kt:272:8:272:66 | T | file://:0:0:0:0 | <none> | TypeAccess |
| exprs.kt:272:8:272:66 | T[] | file://:0:0:0:0 | <none> | TypeAccess |
| exprs.kt:272:52:272:66 | <error expr> | exprs.kt:272:8:272:66 | getEnumValues | ErrorExpr |
| exprs.kt:274:1:277:1 | Unit | file://:0:0:0:0 | <none> | TypeAccess |
| exprs.kt:275:5:275:23 | <implicit coercion to unit> | exprs.kt:274:1:277:1 | callToEnumValues | ImplicitCoercionToUnitExpr |
| exprs.kt:275:5:275:23 | Color | exprs.kt:274:1:277:1 | callToEnumValues | TypeAccess |
| exprs.kt:275:5:275:23 | Unit | exprs.kt:274:1:277:1 | callToEnumValues | TypeAccess |
| exprs.kt:275:5:275:23 | values(...) | exprs.kt:274:1:277:1 | callToEnumValues | MethodAccess |
| exprs.kt:276:5:276:26 | <implicit coercion to unit> | exprs.kt:274:1:277:1 | callToEnumValues | ImplicitCoercionToUnitExpr |
| exprs.kt:276:5:276:26 | Color | exprs.kt:274:1:277:1 | callToEnumValues | TypeAccess |
| exprs.kt:276:5:276:26 | ExprsKt | exprs.kt:274:1:277:1 | callToEnumValues | TypeAccess |
| exprs.kt:276:5:276:26 | Unit | exprs.kt:274:1:277:1 | callToEnumValues | TypeAccess |
| exprs.kt:276:5:276:26 | getEnumValues(...) | exprs.kt:274:1:277:1 | callToEnumValues | MethodAccess |
| funcExprs.kt:1:1:1:46 | Unit | file://:0:0:0:0 | <none> | TypeAccess |
| funcExprs.kt:1:26:1:37 | Function0<Integer> | file://:0:0:0:0 | <none> | TypeAccess |
| funcExprs.kt:1:26:1:37 | Integer | file://:0:0:0:0 | <none> | TypeAccess |

7
java/ql/test/kotlin/library-tests/exprs/exprs.kt
View File

@@ -268,3 +268,10 @@ fun inPlaceOperators() {
updated %= 1
}
inline fun <reified T : Enum<T>> getEnumValues() = enumValues<T>()
fun callToEnumValues() {
enumValues<Color>()
getEnumValues<Color>()
}