xref: /illumos-gate/usr/src/tools/smatch/src/validation/abi-integer.c (revision 37e2cd25d56b334a2403f2540a0b0a1e6a40bcd1)
1 #define TEST(T, S, A)	\
2 	_Static_assert(sizeof(T) == S && _Alignof(T) == A, #T)
3 
4 int main(void)
5 {
6 	TEST(int,    4, 4);
7 
8 #if defined(__LP64__)
9 	TEST(long,      8, 8);
10 	TEST(void *,    8, 8);
11 	TEST(long long, 8, 8);
12 #elif defined(__LLP64__)
13 	TEST(long,      4, 4);
14 	TEST(void *,    8, 8);
15 	TEST(long long, 8, 8);
16 #elif defined(__x86_64__)
17 	TEST(long,      4, 4);
18 	TEST(void *,    4, 4);
19 	TEST(long long, 8, 8);
20 #else
21 	TEST(long,      4, 4);
22 	TEST(void *,    4, 4);
23 	TEST(long long, 8, 4);
24 #endif
25 
26 	return 0;
27 }
28 
29 /*
30  * check-name: abi-integer
31  */
32