[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/decay.i (no preprocessing)
/* Generated by Frama-C */
struct P {
   int val[2][2] ;
};
struct __anonstruct_A_1 {
   int A[8U] ;
   int i ;
};
struct __anonstruct_S_2 {
   int A[4U] ;
   int i ;
};
struct __anonstruct_V_3 {
   int A[4U] ;
   int i ;
};
void multi_dim_array_decay(void)
{
  struct P *pp;
  struct P p;
  pp = & p;
  if (pp->val[0]) ;
  if (p.val[0]) ;
  return;
}

char t[8];
struct __anonstruct_A_1 A = {.A = {1, 2, 3, 4, 5, 6, 7, 8}, .i = 9};
struct __anonstruct_S_2 S = {.A = {1, 2, 3, 4}, .i = 5};
struct __anonstruct_V_3 V = {.A = {1, 2, 3, 4}, .i = 5};

