[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/dowhilezero.c (with preprocessing)
/* Generated by Frama-C */
void f1(void)
{
  /*@ loop invariant \true; */
  while (1) {
    {
      int x;
      int y;
      x = 1;
      y = 2;
    }
    break;
  }
  return;
}

void f2(void)
{
  while (1) {
    {
      int x;
      int y;
      x = 1;
      y = 2;
      break;
    }
    break;
  }
  return;
}

void f3(void)
{
  while (1) {
    {
      int x;
      int y;
      x = 1;
      y = 2;
      goto __Cont;
    }
    __Cont: break;
  }
  return;
}

void f4(int c)
{
  while (1) {
    {
      int x;
      int y;
      x = 1;
      y = 2;
    }
    if (! c) break;
  }
  return;
}

void f5(void)
{
  int x;
  int y;
  x = 1;
  y = 2;
  return;
}

void f6(void)
{
  int x;
  int y;
  x = 1;
  y = 2;
  while (1) {
    continue;
    break;
  }
  return;
}

void f7(void)
{
  int x;
  int y;
  x = 1;
  y = 2;
  return;
}

void f8(int v)
{
  if (v == 0) ;
  return;
}


