[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/copy_visitor_bts_1073.c (with preprocessing)
/* Generated by Frama-C */
int f(int x);

int f(int x)
{
  return x;
}

int f1(int x)
{
  return x;
}

int g(int y)
{
  int tmp;
  tmp = f1(2 * y);
  return tmp;
}

int g1(int y)
{
  int tmp;
  tmp = f1(2 * y);
  return tmp;
}

/*@ assigns \result;
    assigns \result \from \nothing; */
extern int printf(char const * , ...);

int main(int argc, char **argv)
{
  int __retres;
  int i;
  printf("Hello !\n");
  i = 0;
  while (i < argc) {
    printf("arg %d : %s\n",i,*(argv + i));
    i ++;
  }
  printf("Found %d arguments\n",i - 1);
  __retres = 0;
  return __retres;
}

int main1(int argc, char **argv)
{
  int __retres;
  int i;
  printf("Hello !\n");
  i = 0;
  while (i < argc) {
    printf("arg %d : %s\n",i,*(argv + i));
    i ++;
  }
  printf("Found %d arguments\n",i - 1);
  __retres = 0;
  return __retres;
}


