[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/cil/duplicate-labels.c (with preprocessing)
/* Generated by Frama-C */
int foo18(int a)
{
  int x;
  int y;
  x = 0;
  y = 1;
  { /* sequence */
    goto l;
    l: ;
    x = 3;
  }
  goto l;
  return x;
}

void foo(int z)
{
  int i;
  i = 0;
  while (i < 10) {
    __Cont: z ++;
    if (z < 5) goto __Cont_0; else goto __Cont;
    __Cont_0: i ++;
  }
  return;
}

void f(void)
{
  int i;
  i = 0;
  while_1_break: while (i < 10) i ++;
  goto while_1_break;
  return;
}


