5#ifndef BITCOIN_UTIL_OVERFLOW_H
6#define BITCOIN_UTIL_OVERFLOW_H
17 static_assert(std::is_integral<T>::value,
"Integral required.");
18 if constexpr (std::numeric_limits<T>::is_signed) {
19 return (i > 0 && j > std::numeric_limits<T>::max() - i) ||
20 (i < 0 && j < std::numeric_limits<T>::min() - i);
22 return std::numeric_limits<T>::max() - i < j;
26[[nodiscard]] std::optional<T>
CheckedAdd(
const T i,
const T j)
noexcept
37 if constexpr (std::numeric_limits<T>::is_signed) {
38 if (i > 0 && j > std::numeric_limits<T>::max() - i) {
39 return std::numeric_limits<T>::max();
41 if (i < 0 && j < std::numeric_limits<T>::min() - i) {
42 return std::numeric_limits<T>::min();
45 if (std::numeric_limits<T>::max() - i < j) {
46 return std::numeric_limits<T>::max();
58template <std::
integral T>
61 if (shift == 0 || input == 0)
return input;
63 if (shift >=
sizeof(
T) * CHAR_BIT)
return std::nullopt;
65 if (input > (std::numeric_limits<T>::max() >> shift))
return std::nullopt;
66 if (input < (std::numeric_limits<T>::min() >> shift))
return std::nullopt;
67 return input << shift;
77template <std::
integral T>
83 return input < 0 ? std::numeric_limits<T>::min() : std::numeric_limits<T>::max();
#define T(expected, seed, data)
std::optional< T > CheckedAdd(const T i, const T j) noexcept
constexpr T SaturatingLeftShift(T input, unsigned shift) noexcept
Left bit shift with safe minimum and maximum values.
bool AdditionOverflow(const T i, const T j) noexcept
T SaturatingAdd(const T i, const T j) noexcept
constexpr std::optional< T > CheckedLeftShift(T input, unsigned shift) noexcept
Left bit shift with overflow checking.