summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-11-25 18:19:29 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-12-17 21:56:32 +0100
commitaf4d1b73c7f935eeb883eada6823758f78d7ed21 (patch)
treec9933a61ccb7a8faf72f650db7b16fa2c4243b01
parentfc68f0d6103705f8988d7e94e815ec2260de7017 (diff)
downloadsparse-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.c5
-rw-r--r--validation/preprocessor/predef.c4
2 files changed, 9 insertions, 0 deletions
diff --git a/lib.c b/lib.c
index 9ff3bcdb..58b47713 100644
--- a/lib.c
+++ b/lib.c
@@ -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__);