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

Kotlin: Add test for NullMaybe query

Browse Source
This commit is contained in:
Tamas Vajk
2022-05-13 13:41:25 +02:00
parent 39fd1b48fc
commit e5d78687aa
3 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/test/kotlin/query-tests/NullMaybe/NullMaybe.expected Normal file
View File

@@ -0,0 +1 @@
| Test.kt:6:13:6:13 | d | Variable $@ may be null here because of $@ assignment. | Test.kt:2:5:2:25 | Double d | d | Test.kt:2:5:2:25 | d | this |

1
java/ql/test/kotlin/query-tests/NullMaybe/NullMaybe.qlref Normal file
View File

@@ -0,0 +1 @@
Likely Bugs/Nullness/NullMaybe.ql

7
java/ql/test/kotlin/query-tests/NullMaybe/Test.kt Normal file
View File

@@ -0,0 +1,7 @@
fun fn(b: Boolean) {
var d: Double? = null
if (b) {
d = 1.0
}
println(d!!)
}