1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
[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 - 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];
|
