[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/bts0442-2.i (no preprocessing)
[kernel] Parsing tests/syntax/bts0442.i (no preprocessing)
[kernel] warning: merging definitions of enum E using int type
                  (different names for enumeration items); items {E1=1, E2=2} and {E0=0, E1=1}
/* Generated by Frama-C */
int ve1 = 1;
void f(void)
{
  ve1 = 0;
  return;
}

int ve2 = 2;

