[kernel] Do not keep unused static functions
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/keep_entry_point.i (no preprocessing)
/* Generated by Frama-C */
static int f(void);

static int x;
static int f(void)
{
  int tmp;
  { /* sequence */
    tmp = x;
    x ++;
    ;
  }
  return tmp;
}


