free_strict: silence some kfree_skb() false positives
[smatch.git] / validation / abi-integer.c
blob441b2094506b839649efe4f4158060a2758c7d2c
1 #define TEST(T, S, A) \
2 _Static_assert(sizeof(T) == S && _Alignof(T) == A, #T)
4 int main(void)
6 TEST(int, 4, 4);
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
26 return 0;
30 * check-name: abi-integer