62 lines
2.6 KiB
C++
62 lines
2.6 KiB
C++
// This file is part of the mcl project.
|
|
// Copyright (c) 2022 merryhime
|
|
// SPDX-License-Identifier: MIT
|
|
|
|
#pragma once
|
|
|
|
#include <stdexcept>
|
|
#include <type_traits>
|
|
|
|
#include <fmt/format.h>
|
|
|
|
#include "mcl/hint/assume.hpp"
|
|
|
|
namespace mcl::detail {
|
|
|
|
[[noreturn]] void assert_terminate_impl(const char* expr_str, fmt::string_view msg, fmt::format_args args);
|
|
|
|
template<typename... Ts>
|
|
[[noreturn]] void assert_terminate(const char* expr_str, fmt::string_view msg, Ts... args)
|
|
{
|
|
assert_terminate_impl(expr_str, msg, fmt::make_format_args(args...));
|
|
}
|
|
|
|
} // namespace mcl::detail
|
|
|
|
#define UNREACHABLE() ASSERT_FALSE("Unreachable code!")
|
|
|
|
#define ASSERT(expr) \
|
|
[&] { \
|
|
if (std::is_constant_evaluated()) { \
|
|
if (!(expr)) { \
|
|
throw std::logic_error{"ASSERT failed at compile time"}; \
|
|
} \
|
|
} else { \
|
|
if (!(expr)) [[unlikely]] { \
|
|
::mcl::detail::assert_terminate(#expr, "(none)"); \
|
|
} \
|
|
} \
|
|
}()
|
|
|
|
#define ASSERT_MSG(expr, ...) \
|
|
[&] { \
|
|
if (std::is_constant_evaluated()) { \
|
|
if (!(expr)) { \
|
|
throw std::logic_error{"ASSERT_MSG failed at compile time"}; \
|
|
} \
|
|
} else { \
|
|
if (!(expr)) [[unlikely]] { \
|
|
::mcl::detail::assert_terminate(#expr, __VA_ARGS__); \
|
|
} \
|
|
} \
|
|
}()
|
|
|
|
#define ASSERT_FALSE(...) ::mcl::detail::assert_terminate("false", __VA_ARGS__)
|
|
|
|
#if defined(NDEBUG) || defined(MCL_IGNORE_ASSERTS)
|
|
# define DEBUG_ASSERT(expr) ASSUME(expr)
|
|
# define DEBUG_ASSERT_MSG(expr, ...) ASSUME(expr)
|
|
#else
|
|
# define DEBUG_ASSERT(expr) ASSERT(expr)
|
|
# define DEBUG_ASSERT_MSG(expr, ...) ASSERT_MSG(expr, __VA_ARGS__)
|
|
#endif
|