xref: /illumos-gate/usr/src/tools/smatch/src/validation/enum-base-type.c (revision 1e56f352c1c208679012bca47d552e127f5b1072)
1 enum n {
2 	NA,
3 	NB = 1L,
4 	NC = 1UL,
5 	ND = 1LL,
6 	NE = 1ULL,
7 	NF = -1,
8 	NG = -1L,
9 	NH = -1LL,
10 };
11 _Static_assert(sizeof(enum n) == sizeof(int), "+-1");
12 
13 enum m {
14 	MA = 0L,
15 	MB = 1L,
16 	MG = -1L,
17 };
18 _Static_assert(sizeof(enum m) == sizeof(int), "+-1L");
19 
20 enum p {
21 	PA = 0UL,
22 	PB = 1UL,
23 };
24 _Static_assert(sizeof(enum p) == sizeof(int), "UL");
25 
26 /*
27  * check-name: enum-base-type
28  * check-command: sparse -m64 $file
29  */
30