[JVM] avoid unnecessary spills of some dead locals

Workaround for detection of "will be visible by debugger" dead locals.
Helps to avoid unnecessary spills, and, in particular, a case where the slot of such local becomes uninitialized on some paths after adding a state machine.

^KT-79276 Fixed

Author: andrey-mogilev

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLBlackBoxTestGenerated.java

@@ -965,7 +965,19 @@ class CoroutineTransformerMethodVisitor(
             }
             cursor = cursor.next
         }
-        return true
+
+        // TODO KT-79682 Below is a temporary workaround for KT-79276, it shall be removed or extended with the proper "full" fix
+        // Check whether the variable range has meaningful operations in it
+        cursor = local.start
+        while (cursor != null && cursor != local.end) {
+            if (cursor.isMeaningful) {
+                // found at least one meaningful operation
+                return true
+            }
+            cursor = cursor.next
+        }
+
+        return false
     }
 
     private fun mapFieldNameToVariable(

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLReversedBlackBoxTestGenerated.java

@@ -0,0 +1,37 @@
+// WITH_STDLIB
+// WITH_COROUTINES
+import helpers.*
+import kotlin.coroutines.*
+
+val traceResult = StringBuilder()
+
+fun trace(o : Any) {
+    traceResult.append(o)
+}
+
+fun builder(c: suspend () -> Unit) {
+    c.startCoroutine(EmptyContinuation)
+}
+
+class Test {
+    suspend fun someSuspendFun(): Unit = trace("S")
+
+    fun test(): Unit {
+        builder {
+            1F.also { trace(it) }
+            try {
+                someSuspendFun()
+            } catch (throwable: Throwable) {
+                someSuspendFun()
+                throw throwable
+            } finally {
+                2.also { trace(it) }
+            }
+        }
+    }
+}
+
+fun box(): String {
+    Test().test()
+    return if (traceResult.toString() == "" + 1F + "S" + 2) "OK" else "FAIL: $traceResult"
+}