[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/built.i (no preprocessing)
tests/syntax/built.i:21:[kernel] Case label -1 exceeds range of unsigned int for switch expression. Nothing to worry.
/* Generated by Frama-C */
char ___assert_task_state[1];
int X;
void main(int z)
{
  switch (sizeof(z)) {
    case (unsigned int)1: X ++;
    break;
    case (unsigned int)2: ___assert_task_state[0] = (char)1;
    break;
    case (unsigned int)(-1): X ++;
    break;
  }
  return;
}

int T[1];

