[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/sparecode/glob_decls.c (with preprocessing)
[sparecode] remove unused global declarations from project 'default'
[sparecode] removed unused global declarations in new project 'default (without unused globals)'
/* Generated by Frama-C */
struct __anonstruct_Ts_1 {
   int a ;
};
typedef struct __anonstruct_Ts_1 Ts;
struct __anonstruct_Ts2_2 {
   int a ;
   int b ;
};
typedef struct __anonstruct_Ts2_2 Ts2;
struct __anonstruct_Ts3_3 {
   int a ;
   int b ;
   int c ;
};
typedef struct __anonstruct_Ts3_3 Ts3;
typedef int Int;
typedef Int Tx;
Ts2 S2;
Ts3 S3;
int f(void)
{
  int __retres;
  __retres = (S3.a + S3.b) + S3.c;
  return __retres;
}

char Size;
Tx X = (int)sizeof(Size);
int Y;
int use_in_PX_init;
int *PX;

/*@ requires S2.a > S2.b; */
int main(int x, Ts s)
{
  int __retres;
  int y;
  /*@ slice pragma expr S2; */ ;
  y = 3;
  y += Y;
  y += *PX;
  /*@ assert X > 0; */ ;
  __retres = X + x;
  return __retres;
}

int *PX = & use_in_PX_init;

