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

Kotlin: Add FP test case for constant loop condition

Browse Source
This commit is contained in:
Tamas Vajk
2022-10-19 14:19:02 +02:00
parent 643cfced6a
commit 0bc57410a0
3 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/test/kotlin/query-tests/ConstantLoopCondition/A.kt Normal file
View File

@@ -0,0 +1,10 @@
fun fn0(f: Function0<Unit>) = f()
fun fn1() {
var c = true
while (c) {
fn0 {
c = false
}
}
}

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

@@ -0,0 +1 @@
| A.kt:5:12:5:12 | c | $@ might not terminate, as this loop condition is constant within the loop. | A.kt:5:5:9:5 | while (...) | Loop |

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

@@ -0,0 +1 @@
Likely Bugs/Termination/ConstantLoopCondition.ql