1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
/* run.config*
STDOPT: #"-float-normal"
STDOPT: #"-float-normal -simplify-cfg"
*/
int result1, result3, result4;
int result2=7;
double d2;
int main (int c, int d, int e, int f, double d1, long l) {
switch (d)
{
case 1:
result1 = 1;
break;
case 2:
result1 = 2;
break;
case 3:
result1 = 3;
case 4:
result1 = 4;
break;
}
switch(c)
{
case 0: Frama_C_show_each_F(c); return c;
case 2: return c;
}
switch (e)
{
case 0: result2 = e;
}
f = f ? 14 : 42;
switch (f==14)
{
case 0: result3 = f;
}
switch(d1>=0.0)
{
case 0: d2=-d1;break;
default: d2=d1; break;
}
switch(l)
{
case 0x0FFFFFFF: result4 = 1; break;
case 0xFFFFFFFF: result4 = 2; break;
}
return 77;
}
|
