mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-02-05 10:17:30 -05:00
f47dda2c58
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT- Commits of previous years: * 2020:fa0074e2d8* 2019:aaaaad6ac9
62 lines
2.6 KiB
C++
62 lines
2.6 KiB
C++
// Copyright (c) 2020-2021 The Bitcoin Core developers
|
|
// Distributed under the MIT software license, see the accompanying
|
|
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
|
|
|
#include <memusage.h>
|
|
#include <test/fuzz/FuzzedDataProvider.h>
|
|
#include <test/fuzz/fuzz.h>
|
|
#include <test/fuzz/util.h>
|
|
#include <util/serfloat.h>
|
|
#include <version.h>
|
|
|
|
#include <cassert>
|
|
#include <cmath>
|
|
#include <limits>
|
|
|
|
FUZZ_TARGET(float)
|
|
{
|
|
FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
|
|
|
|
{
|
|
const double d{[&] {
|
|
double tmp;
|
|
CallOneOf(
|
|
fuzzed_data_provider,
|
|
// an actual number
|
|
[&] { tmp = fuzzed_data_provider.ConsumeFloatingPoint<double>(); },
|
|
// special numbers and NANs
|
|
[&] { tmp = fuzzed_data_provider.PickValueInArray({
|
|
std::numeric_limits<double>::infinity(),
|
|
-std::numeric_limits<double>::infinity(),
|
|
std::numeric_limits<double>::min(),
|
|
-std::numeric_limits<double>::min(),
|
|
std::numeric_limits<double>::max(),
|
|
-std::numeric_limits<double>::max(),
|
|
std::numeric_limits<double>::lowest(),
|
|
-std::numeric_limits<double>::lowest(),
|
|
std::numeric_limits<double>::quiet_NaN(),
|
|
-std::numeric_limits<double>::quiet_NaN(),
|
|
std::numeric_limits<double>::signaling_NaN(),
|
|
-std::numeric_limits<double>::signaling_NaN(),
|
|
std::numeric_limits<double>::denorm_min(),
|
|
-std::numeric_limits<double>::denorm_min(),
|
|
}); },
|
|
// Anything from raw memory (also checks that DecodeDouble doesn't crash on any input)
|
|
[&] { tmp = DecodeDouble(fuzzed_data_provider.ConsumeIntegral<uint64_t>()); });
|
|
return tmp;
|
|
}()};
|
|
(void)memusage::DynamicUsage(d);
|
|
|
|
uint64_t encoded = EncodeDouble(d);
|
|
if constexpr (std::numeric_limits<double>::is_iec559) {
|
|
if (!std::isnan(d)) {
|
|
uint64_t encoded_in_memory;
|
|
std::copy((const unsigned char*)&d, (const unsigned char*)(&d + 1), (unsigned char*)&encoded_in_memory);
|
|
assert(encoded_in_memory == encoded);
|
|
}
|
|
}
|
|
double d_deserialized = DecodeDouble(encoded);
|
|
assert(std::isnan(d) == std::isnan(d_deserialized));
|
|
assert(std::isnan(d) || d == d_deserialized);
|
|
}
|
|
}
|