23 assert(is_addition_overflow_custom == !maybe_add.has_value());
28 const bool is_addition_overflow_builtin = __builtin_add_overflow(i, j, &result_builtin);
29 assert(is_addition_overflow_custom == is_addition_overflow_builtin);
30 if (!is_addition_overflow_custom) {
31 assert(i + j == result_builtin);
33 if (is_addition_overflow_custom) {
34 assert(sat_add == std::numeric_limits<T>::min() || sat_add == std::numeric_limits<T>::max());
36 const auto add{i + j};
37 assert(add == maybe_add.value());
46 TestAdditionOverflow<int64_t>(fuzzed_data_provider);
47 TestAdditionOverflow<uint64_t>(fuzzed_data_provider);
48 TestAdditionOverflow<int32_t>(fuzzed_data_provider);
49 TestAdditionOverflow<uint32_t>(fuzzed_data_provider);
50 TestAdditionOverflow<int16_t>(fuzzed_data_provider);
51 TestAdditionOverflow<uint16_t>(fuzzed_data_provider);
52 TestAdditionOverflow<char>(fuzzed_data_provider);
53 TestAdditionOverflow<unsigned char>(fuzzed_data_provider);
54 TestAdditionOverflow<signed char>(fuzzed_data_provider);
FUZZ_TARGET(addition_overflow)
#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