always use labels in multiple blocks; emit no more one-time loops but rather labeled ifs1.2.4

1 files changed, 10 insertions, 11 deletions

diff --git a/src/relooper/test4.txt b/src/relooper/test4.txt
index f0bfb972..2ab3265a 100644
--- a/src/relooper/test4.txt
+++ b/src/relooper/test4.txt
@@ -1,17 +1,16 @@
 //19
-do {
-  if ( 1 ) {
-    //20
-    if (!( 1 )) {
-      label = 4;
-      break;
-    }
-    //21
-    break;
-  } else {
+L1: 
+if ( 1 ) {
+  //20
+  if (!( 1 )) {
     label = 4;
+    break L1;
   }
-} while(0);
+  //21
+  break L1;
+} else {
+  label = 4;
+}
 if (label == 4) {
   //22
 }