check.h

Go to the documentation of this file.

// Copyright (c) 2019-present The Bitcoin Core developers
// Distributed under the MIT software license, see the accompanying
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
 
#ifndef BITCOIN_UTIL_CHECK_H
#define BITCOIN_UTIL_CHECK_H
 
#include <attributes.h>
 
#include <atomic>
// We use `util/check.h` to provide the `assert()` macro
// to ensure that `NDEBUG` is not defined.
#include <cassert> // IWYU pragma: export
#include <source_location>
#include <stdexcept>
#include <string>
#include <string_view>
#include <type_traits>
#include <utility>
 
inline constexpr bool G_FUZZING_BUILD{
#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
    true
#else
    false
#endif
};
inline constexpr bool G_ABORT_ON_FAILED_ASSUME{G_FUZZING_BUILD ||
#ifdef ABORT_ON_FAILED_ASSUME
    true
#else
    false
#endif
};
 
extern std::atomic<bool> g_enable_dynamic_fuzz_determinism;
 
inline bool EnableFuzzDeterminism()
{
    if constexpr (G_FUZZING_BUILD) {
        return true;
    } else if constexpr (!G_ABORT_ON_FAILED_ASSUME) {
        // Running fuzz tests is always disabled if Assume() doesn't abort
        // (ie, non-fuzz non-debug builds), as otherwise tests which
        // should fail due to a failing Assume may still pass. As such,
        // we also statically disable fuzz determinism in that case.
        return false;
    } else {
        return g_enable_dynamic_fuzz_determinism;
    }
}
 
extern bool g_detail_test_only_CheckFailuresAreExceptionsNotAborts;
struct test_only_CheckFailuresAreExceptionsNotAborts {
    test_only_CheckFailuresAreExceptionsNotAborts() { g_detail_test_only_CheckFailuresAreExceptionsNotAborts = true; };
    ~test_only_CheckFailuresAreExceptionsNotAborts() { g_detail_test_only_CheckFailuresAreExceptionsNotAborts = false; };
};
 
std::string StrFormatInternalBug(std::string_view msg, const std::source_location& loc);
std::string StrFormatFailedCheck(std::string_view assertion);
 
class NonFatalCheckError : public std::runtime_error
{
public:
    NonFatalCheckError(std::string_view msg, const std::source_location& loc);
};
 
[[noreturn]] void internal_abort_helper(const std::source_location& loc, std::string_view error_msg);
 
[[noreturn]] void internal_non_fatal_helper(const std::source_location& loc, std::string_view error_msg);
 
template <typename T>
T&& inline_check_non_fatal(LIFETIMEBOUND T&& val, const std::source_location& loc, std::string_view assertion)
{
    if (!val) {
        internal_non_fatal_helper(loc, StrFormatFailedCheck(assertion));
    }
    return std::forward<T>(val);
}
 
#if defined(NDEBUG)
#error "Cannot compile without assertions!"
#endif
 
template <bool IS_ASSERT, typename T>
constexpr T&& inline_assertion_check(LIFETIMEBOUND T&& val, [[maybe_unused]] const std::source_location& loc, [[maybe_unused]] std::string_view assertion)
{
    if (IS_ASSERT || std::is_constant_evaluated() || G_ABORT_ON_FAILED_ASSUME) {
        if (!val) {
            internal_abort_helper(loc, StrFormatFailedCheck(assertion));
        }
    }
    return std::forward<T>(val);
}
 
#define STR_INTERNAL_BUG(msg) StrFormatInternalBug((msg), std::source_location::current())
 
#define CHECK_NONFATAL(condition) \
    inline_check_non_fatal(condition, std::source_location::current(), #condition)
 
#define Assert(val) inline_assertion_check<true>(val, std::source_location::current(), #val)
 
#define Assume(val) inline_assertion_check<false>(val, std::source_location::current(), #val)
 
#define NONFATAL_UNREACHABLE() \
    internal_non_fatal_helper(std::source_location::current(), "unreachable")
 
#if defined(__has_feature)
#    if __has_feature(address_sanitizer)
#       include <sanitizer/asan_interface.h>
#    endif
#endif
 
#ifndef ASAN_POISON_MEMORY_REGION
#   define ASAN_POISON_MEMORY_REGION(addr, size) ((void)(addr), (void)(size))
#   define ASAN_UNPOISON_MEMORY_REGION(addr, size) ((void)(addr), (void)(size))
#endif
 
#endif // BITCOIN_UTIL_CHECK_H