Branch data     Line data    Source code

       1                 :             : // Copyright (c) 2020-2022 The Bitcoin Core developers
       2                 :             : // Distributed under the MIT software license, see the accompanying
       3                 :             : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :             : 
       5                 :             : #include <test/fuzz/FuzzedDataProvider.h>
       6                 :             : #include <test/fuzz/fuzz.h>
       7                 :             : #include <test/fuzz/util.h>
       8                 :             : #include <util/overflow.h>
       9                 :             : 
      10                 :             : #include <cstdint>
      11                 :             : #include <string>
      12                 :             : #include <vector>
      13                 :             : 
      14                 :             : namespace {
      15                 :             : template <typename T>
      16                 :         846 : void TestAdditionOverflow(FuzzedDataProvider& fuzzed_data_provider)
      17                 :             : {
      18                 :         846 :     const T i = fuzzed_data_provider.ConsumeIntegral<T>();
      19                 :         846 :     const T j = fuzzed_data_provider.ConsumeIntegral<T>();
      20                 :         846 :     const bool is_addition_overflow_custom = AdditionOverflow(i, j);
      21                 :         846 :     const auto maybe_add{CheckedAdd(i, j)};
      22         [ -  + ]:         846 :     const auto sat_add{SaturatingAdd(i, j)};
      23         [ -  + ]:         846 :     assert(is_addition_overflow_custom == !maybe_add.has_value());
      24         [ -  + ]:         846 :     assert(is_addition_overflow_custom == AdditionOverflow(j, i));
      25         [ +  - ]:         846 :     assert(maybe_add == CheckedAdd(j, i));
      26         [ -  + ]:         846 :     assert(sat_add == SaturatingAdd(j, i));
      27                 :             : #ifndef _MSC_VER
      28                 :             :     T result_builtin;
      29                 :         846 :     const bool is_addition_overflow_builtin = __builtin_add_overflow(i, j, &result_builtin);
      30         [ -  + ]:         846 :     assert(is_addition_overflow_custom == is_addition_overflow_builtin);
      31         [ +  + ]:         846 :     if (!is_addition_overflow_custom) {
      32         [ -  + ]:         425 :         assert(i + j == result_builtin);
      33                 :             :     }
      34                 :             : #endif
      35                 :             :     if (is_addition_overflow_custom) {
      36         [ -  + ]:         421 :         assert(sat_add == std::numeric_limits<T>::min() || sat_add == std::numeric_limits<T>::max());
      37                 :             :     } else {
      38         [ +  - ]:         425 :         const auto add{i + j};
      39         [ -  + ]:         425 :         assert(add == maybe_add.value());
      40         [ -  + ]:         425 :         assert(add == sat_add);
      41                 :             :     }
      42                 :         846 : }
      43                 :             : } // namespace
      44                 :             : 
      45         [ +  - ]:         506 : FUZZ_TARGET(addition_overflow)
      46                 :             : {
      47                 :          94 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      48                 :          94 :     TestAdditionOverflow<int64_t>(fuzzed_data_provider);
      49                 :          94 :     TestAdditionOverflow<uint64_t>(fuzzed_data_provider);
      50                 :          94 :     TestAdditionOverflow<int32_t>(fuzzed_data_provider);
      51                 :          94 :     TestAdditionOverflow<uint32_t>(fuzzed_data_provider);
      52                 :          94 :     TestAdditionOverflow<int16_t>(fuzzed_data_provider);
      53                 :          94 :     TestAdditionOverflow<uint16_t>(fuzzed_data_provider);
      54                 :          94 :     TestAdditionOverflow<char>(fuzzed_data_provider);
      55                 :          94 :     TestAdditionOverflow<unsigned char>(fuzzed_data_provider);
      56                 :          94 :     TestAdditionOverflow<signed char>(fuzzed_data_provider);
      57                 :          94 : }