check.h

Go to the documentation of this file.

// Copyright (c) 2019 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
 
#if defined(HAVE_CONFIG_H)
#include <config/bitcoin-config.h>
#endif
 
#include <tinyformat.h>
 
#include <stdexcept>
 
class NonFatalCheckError : public std::runtime_error {
    using std::runtime_error::runtime_error;
};
 
#define format_internal_error(msg, file, line, func, report)                   \
    strprintf("Internal bug detected: \"%s\"\n%s:%d (%s)\nPlease report this " \
              "issue here: %s\n",                                              \
              msg, file, line, func, report)
 
template <typename T>
T &&inline_check_non_fatal(T &&val, const char *file, int line,
                           const char *func, const char *assertion) {
    if (!(val)) {
        throw NonFatalCheckError(format_internal_error(
            assertion, file, line, func, PACKAGE_BUGREPORT));
    }
 
    return std::forward<T>(val);
}
 
#define CHECK_NONFATAL(condition)                                              \
    inline_check_non_fatal(condition, __FILE__, __LINE__, __func__, #condition)
 
#if defined(NDEBUG)
#error "Cannot compile without assertions!"
#endif
 
template <typename T> T get_pure_r_value(T &&val) {
    return std::forward<T>(val);
}
 
#define Assert(val)                                                            \
    ([&]() -> decltype(get_pure_r_value(val)) {                                \
        auto &&check = (val);                                                  \
        assert(#val &&check);                                                  \
        return std::forward<decltype(get_pure_r_value(val))>(check);           \
    }())
 
#ifdef ABORT_ON_FAILED_ASSUME
#define Assume(val) Assert(val)
#else
#define Assume(val)                                                            \
    ([&]() -> decltype(get_pure_r_value(val)) {                                \
        auto &&check = (val);                                                  \
        return std::forward<decltype(get_pure_r_value(val))>(check);           \
    }())
#endif
 
#define NONFATAL_UNREACHABLE()                                                 \
    throw NonFatalCheckError(format_internal_error(                            \
        "Unreachable code reached (non-fatal)", __FILE__, __LINE__, __func__,  \
        PACKAGE_BUGREPORT))
 
#endif // BITCOIN_UTIL_CHECK_H