diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-01-09 16:47:36 +0100 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-01-09 16:46:58 +0100 |
commit | aaaace2fd1299939c755c281b787df0bbf1747a0 (patch) | |
tree | cfb2b439fa08d79f7b99002eca4f6f37a39fd3c7 /src/test/fuzz/addition_overflow.cpp | |
parent | fa223ba5eb764fe822229a58d4d44d3ea83d0793 (diff) | |
download | bitcoin-aaaace2fd1299939c755c281b787df0bbf1747a0.tar.xz |
fuzz: Assume presence of __builtin_*_overflow, without checks
Diffstat (limited to 'src/test/fuzz/addition_overflow.cpp')
-rw-r--r-- | src/test/fuzz/addition_overflow.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/test/fuzz/addition_overflow.cpp b/src/test/fuzz/addition_overflow.cpp index 7b84bfda20..5100b6f438 100644 --- a/src/test/fuzz/addition_overflow.cpp +++ b/src/test/fuzz/addition_overflow.cpp @@ -11,14 +11,6 @@ #include <string> #include <vector> -#if defined(__has_builtin) -#if __has_builtin(__builtin_add_overflow) -#define HAVE_BUILTIN_ADD_OVERFLOW -#endif -#elif defined(__GNUC__) -#define HAVE_BUILTIN_ADD_OVERFLOW -#endif - namespace { template <typename T> void TestAdditionOverflow(FuzzedDataProvider& fuzzed_data_provider) @@ -32,14 +24,12 @@ void TestAdditionOverflow(FuzzedDataProvider& fuzzed_data_provider) assert(is_addition_overflow_custom == AdditionOverflow(j, i)); assert(maybe_add == CheckedAdd(j, i)); assert(sat_add == SaturatingAdd(j, i)); -#if defined(HAVE_BUILTIN_ADD_OVERFLOW) T result_builtin; const bool is_addition_overflow_builtin = __builtin_add_overflow(i, j, &result_builtin); assert(is_addition_overflow_custom == is_addition_overflow_builtin); if (!is_addition_overflow_custom) { assert(i + j == result_builtin); } -#endif if (is_addition_overflow_custom) { assert(sat_add == std::numeric_limits<T>::min() || sat_add == std::numeric_limits<T>::max()); } else { |