[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/orig_name.i (no preprocessing)
tests/syntax/orig_name.i:10:[kernel] Variable x has been renamed to x_1
tests/syntax/orig_name.i:7:[kernel] Variable x has been renamed to x_0
/* Generated by Frama-C */
int x = 1;
int f(int x_0)
{
  int y;
  y = 0;
  if (x_0 == 0) {
    int x_1;
    int tmp;
    x_1 = 3;
    { /* sequence */
      tmp = x_1;
      x_1 ++;
      y = tmp;
    }
  }
  y += x_0;
  return y;
}


