[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/mergestruct2.i (no preprocessing)
[kernel] Parsing tests/misc/mergestruct3.i (no preprocessing)
[kernel] Parsing tests/misc/mergestruct1.i (no preprocessing)
/* Generated by Frama-C */
struct s;
struct s {
   float a ;
};
struct s_0 {
   int a ;
};
struct s *p;
void g(void)
{
  p = (struct s *)0;
  return;
}

struct s s2;
void f(void)
{
  s2.a = (float)1.0;
  return;
}

struct s_0 s1;
int main(void)
{
  int __retres;
  s1.a = 1;
  f();
  __retres = 0;
  return __retres;
}


