[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/cil/bts882.i (no preprocessing)
tests/cil/bts882.i:8:[kernel] warning: Calling undeclared function f. Old style K&R code?
/* Generated by Frama-C */
extern int ( /* missing proto */ f)(int x_0);

void main(void)
{
  int r;
  switch (1) {
    case 2: r = f(1);
    break;
    default: ;
    break;
  }
  return;
}


