aboutsummaryrefslogtreecommitdiff
path: root/src/test/fuzz/addition_overflow.cpp
diff options
context:
space:
mode:
authorMarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>2024-01-09 16:47:36 +0100
committerMarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>2024-01-09 16:46:58 +0100
commitaaaace2fd1299939c755c281b787df0bbf1747a0 (patch)
treecfb2b439fa08d79f7b99002eca4f6f37a39fd3c7 /src/test/fuzz/addition_overflow.cpp
parentfa223ba5eb764fe822229a58d4d44d3ea83d0793 (diff)
downloadbitcoin-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.cpp10
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 {