5 #ifndef BITCOIN_UTIL_OVERFLOW_H
6 #define BITCOIN_UTIL_OVERFLOW_H
10 #include <type_traits>
15 static_assert(std::is_integral<T>::value,
"Integral required.");
16 if constexpr (std::numeric_limits<T>::is_signed) {
17 return (i > 0 && j > std::numeric_limits<T>::max() - i) ||
18 (i < 0 && j < std::numeric_limits<T>::min() - i);
20 return std::numeric_limits<T>::max() - i < j;
24 [[nodiscard]] std::optional<T>
CheckedAdd(
const T i,
const T j) noexcept
35 if constexpr (std::numeric_limits<T>::is_signed) {
36 if (i > 0 && j > std::numeric_limits<T>::max() - i) {
37 return std::numeric_limits<T>::max();
39 if (i < 0 && j < std::numeric_limits<T>::min() - i) {
40 return std::numeric_limits<T>::min();
43 if (std::numeric_limits<T>::max() - i < j) {
44 return std::numeric_limits<T>::max();
#define T(expected, seed, data)
bool AdditionOverflow(const T i, const T j) noexcept
std::optional< T > CheckedAdd(const T i, const T j) noexcept
T SaturatingAdd(const T i, const T j) noexcept