/* Running with --domakeCFG, the input file:

int main() {
  while (0);
  return 0;
}

gets transformed into this file. Running this file with --domakeCFG
triggers an error in CIL 1.3.7.
*/

/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1
int main(void) 
{ 

  {
  {
#line 2
  while (1) {
    while_0_continue: /* CIL Label */ ;
    goto while_0_break;
  }
  while_0_break: /* CIL Label */ ;
  }
#line 3
  return (0);
}
}