src/relooper/test4.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

 //19
 L1: do {
  switch (the_var) {
   1  {
   //20
   switch (the_var) {
    1  {
    break;
   }
   default: {
    label = 4;
    break L1;
   }
   }
   //21
   switch (the_var) {
   default: {
   }
   }
   break;
  }
  default: {
   label = 4;
  }
  }
 } while(0);
 if (label == 4) {
  //22
  switch (the_var) {
  default: {
  }
  }
 }
 //23
 switch (the_var) {
  1  {
  //24
  break;
 }
 default: {
  //28
 }
 }