extra/untracked_param: mark lost parameters
[smatch.git] / validation / preprocessor / predef-sizeof.c
blob12be2dd1ddafb82f256c61d489ccf0a9d9198fbe
1 #define TEST(X, T) if (__SIZEOF_ ## X ## __ != sizeof(T)) return 1
3 int test_sizeof(void)
5 TEST(SHORT, short);
6 TEST(INT, int);
7 TEST(LONG, long);
8 TEST(LONG_LONG, long long);
9 TEST(INT128, __int128);
10 TEST(SIZE_T, __SIZE_TYPE__);
11 TEST(POINTER, void*);
12 TEST(FLOAT, float);
13 TEST(DOUBLE, double);
14 TEST(LONG_DOUBLE, long double);
16 return 0;
20 * check-name: predefined __SIZEOF_<type>__
21 * check-command: test-linearize -Wno-decl $file
22 * check-output-ignore
24 * check-output-contains: ret\\..*\\$0