built.res.oracle

[kernel] Parsing tests/syntax/built.i (no preprocessing)
[kernel] tests/syntax/built.i:21: 
  Case label -1 exceeds range of unsigned int for switch expression. Nothing to worry.
/* Generated by Frama-C */
__inline static  _Noreturn int dummy_f__fc_inline(void);
__inline static int dummy_f__fc_inline(void)
{
  int __retres;
  while (1) ;
  return __retres;
}

char ___assert_task_state[1 - 2 * ! (! 0)];
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 + 0];