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

Kotlin: Add test for generated throw statements

Browse Source
This commit is contained in:
Ian Lynagh
2024-05-22 14:09:15 +01:00
parent f458ca9568
commit 839258897a
6 changed files with 34 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
java/ql/test-kotlin1/library-tests/generated-throws/generated-throws.kt Normal file
View File

@@ -0,0 +1,13 @@
sealed interface Foo {}
interface Bar: Foo {}
interface Baz: Foo {}
private fun someFun(v: Foo) {
// This doesn't generate a throw statement in Kotlin 1 mode
when (v) {
is Bar -> {}
is Baz -> {}
}
}

0
java/ql/test-kotlin1/library-tests/generated-throws/throw.expected Normal file
View File

4
java/ql/test-kotlin1/library-tests/generated-throws/throw.ql Normal file
View File

@@ -0,0 +1,4 @@
import java
from ThrowStmt ts
select ts

12
java/ql/test-kotlin2/library-tests/generated-throws/generated-throws.kt Normal file
View File

@@ -0,0 +1,12 @@
sealed interface Foo {}
interface Bar: Foo {}
interface Baz: Foo {}
private fun someFun(v: Foo) {
when (v) {
is Bar -> {}
is Baz -> {}
}
}

1
java/ql/test-kotlin2/library-tests/generated-throws/throw.expected Normal file
View File

@@ -0,0 +1 @@
| generated-throws.kt:7:5:10:5 | throw ... |

4
java/ql/test-kotlin2/library-tests/generated-throws/throw.ql Normal file
View File

@@ -0,0 +1,4 @@
import java
from ThrowStmt ts
select ts