diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-11-25 18:19:29 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-17 21:56:32 +0100 |
commit | af4d1b73c7f935eeb883eada6823758f78d7ed21 (patch) | |
tree | c9933a61ccb7a8faf72f650db7b16fa2c4243b01 | |
parent | fc68f0d6103705f8988d7e94e815ec2260de7017 (diff) | |
download | sparse-af4d1b73c7f935eeb883eada6823758f78d7ed21.tar.gz |
add predefined macros for [u]int{8,16}_t
All LP64 & LP32 use [u]char and [u]short for these ones.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | lib.c | 5 | ||||
-rw-r--r-- | validation/preprocessor/predef.c | 4 |
2 files changed, 9 insertions, 0 deletions
@@ -1241,6 +1241,11 @@ static void predefined_macros(void) predefined_ctype("LONG", &long_ctype, PTYPE_ALL); predefined_ctype("LONG_LONG", &llong_ctype, PTYPE_ALL); + predefined_ctype("INT8", &schar_ctype, PTYPE_MAX|PTYPE_TYPE); + predefined_ctype("UINT8", &uchar_ctype, PTYPE_MAX|PTYPE_TYPE); + predefined_ctype("INT16", &short_ctype, PTYPE_MAX|PTYPE_TYPE); + predefined_ctype("UINT16", &ushort_ctype, PTYPE_MAX|PTYPE_TYPE); + predefined_sizeof("INT128", "", 128); predefined_ctype("INTMAX", intmax_ctype, PTYPE_MAX|PTYPE_TYPE|PTYPE_WIDTH); diff --git a/validation/preprocessor/predef.c b/validation/preprocessor/predef.c index 22e89bbc..7a7b575a 100644 --- a/validation/preprocessor/predef.c +++ b/validation/preprocessor/predef.c @@ -17,6 +17,10 @@ int test(void) TEST_SMAX(INT, int); TEST_SMAX(LONG, long); TEST_SMAX(LONG_LONG, long long); + TEST_MAX( INT8, 0x7f); + TEST_MAX(UINT8, 0xffU); + TEST_MAX( INT16, 0x7fff); + TEST_MAX(UINT16, 0xffffU); TEST_SMAX(INTMAX, __INTMAX_TYPE__); TEST_UMAX(UINTMAX, __UINTMAX_TYPE__); TEST_SMAX(INTPTR, __INTPTR_TYPE__); |