aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorDavid Oberhollenzer <david.oberhollenzer@sigma-star.at>2019-08-23 01:28:25 +0200
committerDavid Oberhollenzer <david.oberhollenzer@sigma-star.at>2019-08-23 01:28:25 +0200
commit8c8467a824c950fd1094e46a74c1f57048e5f099 (patch)
treea2510527550ba3e15add02d86f199bac6dcf3351 /include
parent8b16efb80d9a863641a0a7395204df038feeb56c (diff)
Add primitives for unsigned addition/multiplication with overflow
Signed-off-by: David Oberhollenzer <david.oberhollenzer@sigma-star.at>
Diffstat (limited to 'include')
-rw-r--r--include/util.h27
1 files changed, 27 insertions, 0 deletions
diff --git a/include/util.h b/include/util.h
index 99418f9..ae8c43c 100644
--- a/include/util.h
+++ b/include/util.h
@@ -11,6 +11,33 @@
#include <sys/types.h>
#include <stdint.h>
+#include <stddef.h>
+
+#if defined(__GNUC__) || defined(__clang__)
+#define UI_ADD_OV __builtin_uadd_overflow
+#define UL_ADD_OV __builtin_uaddl_overflow
+#define ULL_ADD_OV __builtin_uaddll_overflow
+
+#define UI_MUL_OV __builtin_umul_overflow
+#define UL_MUL_OV __builtin_umull_overflow
+#define ULL_MUL_OV __builtin_umulll_overflow
+#else
+#error Sorry, I do not know how to trap integer overflows with this compiler
+#endif
+
+#if SIZEOF_SIZE_T <= SIZEOF_INT
+#define SZ_ADD_OV UI_ADD_OV
+#define SZ_MUL_OV UI_MUL_OV
+#elif SIZEOF_SIZE_T == SIZEOF_LONG
+#define SZ_ADD_OV UL_ADD_OV
+#define SZ_MUL_OV UL_MUL_OV
+#elif SIZEOF_SIZE_T == SIZEOF_LONG_LONG
+#define SZ_ADD_OV ULL_ADD_OV
+#define SZ_MUL_OV ULL_MUL_OV
+#else
+#error Cannot determine maximum value of size_t
+#endif
+
/* layout structure for sparse files, indicating where the actual data is */
typedef struct sparse_map_t {