[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/variadic.i (no preprocessing)
tests/syntax/variadic.i:20:[kernel] warning: Calling undeclared function f. Old style K&R code?
/* Generated by Frama-C */
typedef char tt;
struct T {
   int a ;
};
extern int normal(int n);

extern int vf(int x , ...);

struct T st;
tt abstract;
unsigned char uchar;
signed char chr;
unsigned short ushort;
unsigned long long ll;
long double ld;
double d;
extern void h(int x_0, int x_1);

extern int ( /* missing proto */ f)(int x_0, int x_1);

void g(void)
{
  vf(1,1u,(int)uchar,(double)3.0f,(int)ushort,ll,(int)abstract,st,ld,d);
  f(1,(int)uchar);
  h(1,(int)uchar);
  normal((int)uchar);
  return;
}


