Committed my changes (but there are several splintme errors currently).

[splint.git] / src / Headers / cprim.h

diff --git a/src/Headers/cprim.h b/src/Headers/cprim.h
index a0eb0d82a8bca53520477536e2760a19852de0fa..4720f9e5dc472780b214a475c5ad7d05fbc06fef 100644 (file)
--- a/src/Headers/cprim.h
+++ b/src/Headers/cprim.h
@@ -93,8 +93,13 @@ extern bool cprim_isAnyChar (/*@sef@*/ cprim p_c);
 extern bool cprim_isAnyInt (/*@sef@*/ cprim p_c);
 extern bool cprim_isAnyReal (/*@sef@*/ cprim p_c);
 
-# define cprim_isAnyInt(c) ((c) >= CTX_INT && (c) <= CTX_SIGNEDINTEGRAL)
-# define cprim_isAnyReal(c) ((c) >= CTX_FLOAT && (c) <= CTX_LDOUBLE)
+# define cprim_isAnyInt(c)         ((c) >= CTX_INT && (c) <= CTX_SIGNEDINTEGRAL)
+
+extern bool cprim_isAnyUnsignedInt (/*@sef@*/ cprim p_c);
+# define cprim_isAnyUnsignedInt(c) ((c) == CTX_UINT || (c) == CTX_USINT \
+                                   || (c) == CTX_ULINT || (c) == CTX_ULLINT \
+                                   || (c) == CTX_UNSIGNEDINTEGRAL)
+# define cprim_isAnyReal(c)        ((c) >= CTX_FLOAT && (c) <= CTX_LDOUBLE)
 
 /*@constant int CTX_LAST;@*/
 # define CTX_LAST CTX_LDOUBLE