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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/enum1.c (with preprocessing)
[kernel] Parsing tests/syntax/enum2.c (with preprocessing)
[kernel] warning: merging definitions of enum f using int type
(different names for enumeration items); items {F21=0, F22=1} and {F11=0,
F12=1}
/* Generated by Frama-C */
enum e {
E1 = 0,
E2 = 1
};
enum __anonenum_1 {
K11 = 0,
K12 = 1
};
enum __anonenum_2 {
I1 = 0,
I2 = 1
};
enum Foo {
EN1 = 0,
EN2 = 1,
EN3 = 2
};
enum __anonenum_5 {
K21 = 0,
K22 = 1
};
int e1(void)
{
int __retres;
__retres = E1;
return __retres;
}
int f1(void)
{
int __retres;
__retres = 0;
return __retres;
}
int k1(void)
{
int __retres;
__retres = K11;
return __retres;
}
int i1(void)
{
int __retres;
__retres = I1;
return __retres;
}
int f(void)
{
int __retres;
__retres = ! EN1;
return __retres;
}
int g(void)
{
int __retres;
__retres = EN1;
return __retres;
}
int e2(void)
{
int __retres;
__retres = E2;
return __retres;
}
int f2(void)
{
int __retres;
__retres = 1;
return __retres;
}
int k2(void)
{
int __retres;
__retres = K22;
return __retres;
}
int i2(void)
{
int __retres;
__retres = I2;
return __retres;
}
|
