DaniilStepanov

Example: ```kotlin fun isDigit(a: Int) : String { val aa = ArrayList () aa.add(239) return when(a) { in aa -> "array list" in 0..9 -> "digit" !in 0..100 -> "not...

Bug with local variables creation

3

Because of [this](https://github.com/UnitTestBot/jacodb/blob/89d185c743bf11c3c40e1850b34aaecdb6d70b3b/jacodb-core/src/main/kotlin/org/jacodb/impl/cfg/RawInstListBuilder.kt#L381C24-L381C24) condition instructions like 0=1 are possible. It is wrong behavior. Possible fix: add additional condition: `if ((oldVar.typeName == expr.typeName && oldVar !is JcRawConstant) || (expr is JcRawNullConstant...

Test: ```kotlin fun zap(s: String) = s inline fun tryZap(s1: String, s2: String, fn: (String, String) -> String) = fn( try { zap(s1) } catch (e: Exception) { "" },...

Wrong IR or JVM bytecode generation with empty try

2

Example: ```kotlin var lambda: (() -> String)? = null fun f() { try { } finally { lambda = { "OK" } } } @JvmStatic fun box(): String { f()...

It doesn't work with Arrays