Branch data     Line data    Source code

       1                 :             : // Copyright (c) 2022-present The Bitcoin Core developers
       2                 :             : // Distributed under the MIT software license, see the accompanying
       3                 :             : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :             : 
       5                 :             : #include <util/check.h>
       6                 :             : 
       7                 :             : #include <bitcoin-build-config.h> // IWYU pragma: keep
       8                 :             : 
       9                 :             : #include <clientversion.h>
      10                 :             : #include <tinyformat.h>
      11                 :             : 
      12                 :             : #include <cstdio>
      13                 :             : #include <cstdlib>
      14                 :             : #include <source_location>
      15                 :             : #include <string>
      16                 :             : #include <string_view>
      17                 :             : 
      18                 :          11 : std::string StrFormatInternalBug(std::string_view msg, const std::source_location& loc)
      19                 :             : {
      20                 :          11 :     return strprintf("Internal bug detected: %s\n%s:%d (%s)\n"
      21                 :             :                      "%s %s\n"
      22                 :             :                      "Please report this issue here: %s\n",
      23   [ +  -  +  - ]:          22 :                      msg, loc.file_name(), loc.line(), loc.function_name(),
      24   [ +  -  +  - ]:          33 :                      CLIENT_NAME, FormatFullVersion(), CLIENT_BUGREPORT);
      25                 :             : }
      26                 :             : 
      27                 :          11 : NonFatalCheckError::NonFatalCheckError(std::string_view msg, const std::source_location& loc)
      28         [ +  - ]:          11 :     : std::runtime_error{StrFormatInternalBug(msg, loc)}
      29                 :             : {
      30                 :          11 : }
      31                 :             : 
      32                 :             : bool g_detail_test_only_CheckFailuresAreExceptionsNotAborts{false};
      33                 :             : 
      34                 :           1 : void assertion_fail(const std::source_location& loc, std::string_view assertion)
      35                 :             : {
      36         [ +  - ]:           1 :     if (g_detail_test_only_CheckFailuresAreExceptionsNotAborts) {
      37         [ +  - ]:           1 :         throw NonFatalCheckError{assertion, loc};
      38                 :             :     }
      39   [ #  #  #  #  :           0 :     auto str = strprintf("%s:%s %s: Assertion `%s' failed.\n", loc.file_name(), loc.line(), loc.function_name(), assertion);
                   #  # ]
      40   [ #  #  #  # ]:           0 :     fwrite(str.data(), 1, str.size(), stderr);
      41                 :           0 :     std::abort();
      42                 :           0 : }
      43                 :             : 
      44                 :             : std::atomic<bool> g_enable_dynamic_fuzz_determinism{false};