wip: handle empty loop body (#1040)

jadx-core/src/main/java/jadx/core/dex/visitors/regions/RegionMaker.java

@@ -224,7 +224,12 @@ public class RegionMaker {
 			}
 			stack.addExit(out);
 			BlockNode loopBody = condInfo.getThenBlock();
-			Region body = makeRegion(loopBody, stack);
+			Region body;
+			if (loopBody.contains(AFlag.LOOP_START)) {
+				body = new Region(loopRegion);
+			} else {
+				body = makeRegion(loopBody, stack);
+			}
 			// add blocks from loop start to first condition block
 			BlockNode conditionBlock = condInfo.getIfBlock();
 			if (loopStart != conditionBlock) {

jadx-core/src/test/java/jadx/tests/integration/trycatch/TestLoopInTryCatch.java

+package jadx.tests.integration.trycatch;
+
+import jadx.tests.api.SmaliTest;
+
+import org.junit.jupiter.api.Test;
+
+import static jadx.tests.api.utils.assertj.JadxAssertions.assertThat;
+
+public class TestLoopInTryCatch extends SmaliTest {
+	@Test
+	public void test() {
+		assertThat(getClassNodeFromSmali())
+				.code()
+				.containsOne("while (");
+	}
+}

jadx-core/src/test/smali/trycatch/TestLoopInTryCatch.smali

+.class public Ltrycatch/TestLoopInTryCatch;
+.super Ljava/lang/Object;
+.source "SourceFile"
+
+.method public static test()V
+    .registers 6
+
+    :try_start
+
+    :loop
+
+    const/4 v1, 0x0
+
+    const/4 v2, 0x1
+
+    if-eq v1, v2, :cond
+
+    const/4 v3, 0x2
+
+    if-eq v1, v3, :cond
+
+    goto :loop
+
+    :cond
+    if-eq v1, v2, :end
+
+    return-void
+
+    :try_end
+    .catch Ljava/io/IOException; {:try_start .. :try_end} :end
+
+    :end
+    return-void
+.end method