[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/cil/branch.c (with preprocessing)
/* Generated by Frama-C */
int f(int a, int b)
{
  int __retres;
  if (a < b) {
    int tmp;
    { /* sequence */
      tmp = a;
      a ++;
      ;
    }
    __retres = tmp;
    goto return_label;
  }
  else {
    int tmp_0;
    { /* sequence */
      tmp_0 = b;
      b --;
      ;
    }
    __retres = tmp_0;
    goto return_label;
  }
  return_label: return __retres;
}


