[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/inserted_casts.c (with preprocessing)
[test] Inserting cast for expression a + 3 of type int to type unsigned int
[test] Inserting cast for expression a of type int to type unsigned int
[test] Inserting cast for expression (unsigned int)a * r of type unsigned int to type int
[test] Inserting cast for expression a of type int to type unsigned int
[test] Inserting cast for expression (unsigned int)a - r of type unsigned int to type int
/* Generated by Frama-C */
int f(int b)
{
  int r;
  if (b * b != 0) r = 0; else r = -1;
  return r;
}

int g(int a)
{
  int __retres;
  unsigned int r;
  r = (unsigned int)(a + 3);
  a = (int)((unsigned int)a * r);
  __retres = (int)((unsigned int)a - r);
  return __retres;
}


