KJS: Fix loop levels in ContinueReplacingVisitor (KT-24777)

js/js.inliner/src/org/jetbrains/kotlin/js/inline/clean/LabeledBlockToDoWhileTransformation.kt

@@ -29,9 +29,9 @@ object LabeledBlockToDoWhileTransformation {
     }
 
     fun JsStatement.isLoop(): Boolean = when (this) {
-        is JsWhile -> true
+        is JsWhile,
-        is JsDoWhile -> true
+        is JsDoWhile,
-        is JsFor -> true
+        is JsFor,
         is JsForIn -> true
         else -> false
     }

js/js.inliner/src/org/jetbrains/kotlin/js/inline/util/rewriters/ContinueReplacingVisitor.kt

@@ -26,6 +26,7 @@ class ContinueReplacingVisitor(val loopLabelName: JsName?, val guardLabelName: J
     override fun visit(x: JsContinue, ctx: JsContext<JsNode>): Boolean {
         val target = x.label?.name
         val shouldReplace = if (target == null) loopNestingLevel == 0 else target == loopLabelName
+        assert(loopNestingLevel >= 0)
         if (shouldReplace) {
             ctx.replaceMe(JsBreak(guardLabelName.makeRef()))
         }
@@ -42,6 +43,7 @@ class ContinueReplacingVisitor(val loopLabelName: JsName?, val guardLabelName: J
 
     override fun endVisit(x: JsWhile, ctx: JsContext<JsNode>) {
         super.endVisit(x, ctx)
+        if (loopLabelName == null) return
         loopNestingLevel--
     }
 
@@ -54,6 +56,7 @@ class ContinueReplacingVisitor(val loopLabelName: JsName?, val guardLabelName: J
 
     override fun endVisit(x: JsDoWhile, ctx: JsContext<JsNode>) {
         super.endVisit(x, ctx)
+        if (loopLabelName == null) return
         loopNestingLevel--
     }
 
@@ -66,6 +69,7 @@ class ContinueReplacingVisitor(val loopLabelName: JsName?, val guardLabelName: J
 
     override fun endVisit(x: JsFor, ctx: JsContext<JsNode>) {
         super.endVisit(x, ctx)
+        if (loopLabelName == null) return
         loopNestingLevel--
     }
 
@@ -78,6 +82,7 @@ class ContinueReplacingVisitor(val loopLabelName: JsName?, val guardLabelName: J
 
     override fun endVisit(x: JsForIn, ctx: JsContext<JsNode>) {
         super.endVisit(x, ctx)
+        if (loopLabelName == null) return
         loopNestingLevel--
     }
 }

js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/BoxJsTestGenerated.java

@@ -3724,6 +3724,11 @@ public class BoxJsTestGenerated extends AbstractBoxJsTest {
             runTest("js/js.translator/testData/box/inline/classObject.kt");
         }
 
+        @TestMetadata("continueInLoopWithInlinableCondition.kt")
+        public void testContinueInLoopWithInlinableCondition() throws Exception {
+            runTest("js/js.translator/testData/box/inline/continueInLoopWithInlinableCondition.kt");
+        }
+
         @TestMetadata("dontInlineFunctionCall.kt")
         public void testDontInlineFunctionCall() throws Exception {
             runTest("js/js.translator/testData/box/inline/dontInlineFunctionCall.kt");

js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/IrBoxJsTestGenerated.java

@@ -3724,6 +3724,11 @@ public class IrBoxJsTestGenerated extends AbstractIrBoxJsTest {
             runTest("js/js.translator/testData/box/inline/classObject.kt");
         }
 
+        @TestMetadata("continueInLoopWithInlinableCondition.kt")
+        public void testContinueInLoopWithInlinableCondition() throws Exception {
+            runTest("js/js.translator/testData/box/inline/continueInLoopWithInlinableCondition.kt");
+        }
+
         @TestMetadata("dontInlineFunctionCall.kt")
         public void testDontInlineFunctionCall() throws Exception {
             runTest("js/js.translator/testData/box/inline/dontInlineFunctionCall.kt");

js/js.translator/testData/box/inline/continueInLoopWithInlinableCondition.kt

@@ -0,0 +1,24 @@
+// EXPECTED_REACHABLE_NODES: 1122
+/*
+Modified test case from KT-24777
+ */
+package foo
+
+inline fun condition() = false
+
+fun run(x: Boolean): String {
+    var y = 0
+    do {
+        if (y > 0)
+            return "NOT OK"
+        y += 1
+        do {
+        } while (false)
+        if (x) continue
+    } while (condition())
+    return "OK"
+}
+
+fun box(): String {
+    return run(true)
+}