diff options
| -rw-r--r-- | lib.c | 10 | ||||
| -rw-r--r-- | validation/preprocessor/predef-sizeof.c | 25 |
2 files changed, 35 insertions, 0 deletions
@@ -844,11 +844,21 @@ static void predefined_macros(void) { add_pre_buffer("#define __CHECKER__ 1\n"); + predefined_sizeof("SHORT", bits_in_short); + predefined_type_size("INT", "", bits_in_int); predefined_type_size("LONG", "L", bits_in_long); predefined_type_size("LONG_LONG", "LL", bits_in_longlong); + predefined_sizeof("INT128", 128); + + predefined_sizeof("SIZE_T", bits_in_pointer); + predefined_sizeof("PTRDIFF_T", bits_in_pointer); predefined_sizeof("POINTER", bits_in_pointer); + + predefined_sizeof("FLOAT", bits_in_float); + predefined_sizeof("DOUBLE", bits_in_double); + predefined_sizeof("LONG_DOUBLE", bits_in_longdouble); } void declare_builtin_functions(void) diff --git a/validation/preprocessor/predef-sizeof.c b/validation/preprocessor/predef-sizeof.c new file mode 100644 index 00000000..12be2dd1 --- /dev/null +++ b/validation/preprocessor/predef-sizeof.c @@ -0,0 +1,25 @@ +#define TEST(X, T) if (__SIZEOF_ ## X ## __ != sizeof(T)) return 1 + +int test_sizeof(void) +{ + TEST(SHORT, short); + TEST(INT, int); + TEST(LONG, long); + TEST(LONG_LONG, long long); + TEST(INT128, __int128); + TEST(SIZE_T, __SIZE_TYPE__); + TEST(POINTER, void*); + TEST(FLOAT, float); + TEST(DOUBLE, double); + TEST(LONG_DOUBLE, long double); + + return 0; +} + +/* + * check-name: predefined __SIZEOF_<type>__ + * check-command: test-linearize -Wno-decl $file + * check-output-ignore + * + * check-output-contains: ret\\..*\\$0 + */ |