assert.h

Go to the documentation of this file.

 
#pragma once
 
#include <assert.h>
 
#include <cstdio>
#include <cstdlib>
#include <exception>
#include <string>
#include <utility>
 
#include <rex/platform.h>
 
namespace rex::detail {

inline std::string FormatAssertFailure(const char* file, int line, const char* expr,
                                       const char* message) {
  std::string text = std::string("Assertion failed: ") + expr + "\n";
  if (message[0] != '\0') {
    text += std::string("  Message: ") + message + "\n";
  }
  text += std::string("  Location: ") + file + ":" + std::to_string(line) + "\n";
  return text;
}

[[noreturn]] inline void AssertFail(const char* file, int line, const char* expr,
                                    const char* message) noexcept {
  try {
    std::fputs(FormatAssertFailure(file, line, expr, message).c_str(), stderr);
  } catch (const std::exception&) {
    std::fprintf(stderr, "Assertion failed: %s\n  Location: %s:%d\n", expr, file, line);
  }
  std::fflush(stderr);
  std::abort();
}

constexpr const char* AssertMessage() {
  return "";
}
 
constexpr const char* AssertMessage(const char* message) {
  return message;
}
 
}  // namespace rex::detail

#ifdef NDEBUG
#define REX_ASSERT(cond, ...)       \
  ((void)sizeof(decltype(!(cond))), \
   (void)sizeof(decltype(::rex::detail::AssertMessage(__VA_ARGS__))))
#else
#define REX_ASSERT(cond, ...)                                    \
  ((cond) ? (void)0                                              \
          : ::rex::detail::AssertFail(__FILE__, __LINE__, #cond, \
                                      ::rex::detail::AssertMessage(__VA_ARGS__)))
#endif

#ifdef NDEBUG
#define REX_ASSERT_ALWAYS(...) ((void)sizeof(decltype(::rex::detail::AssertMessage(__VA_ARGS__))))
#else
#define REX_ASSERT_ALWAYS(...)                                 \
  ::rex::detail::AssertFail(__FILE__, __LINE__, "unreachable", \
                            ::rex::detail::AssertMessage(__VA_ARGS__))
#endif

#ifdef NDEBUG
#define REX_UNHANDLED_CASE(var) ((void)0)
#else
#define REX_UNHANDLED_CASE(var) \
  ::rex::detail::AssertFail(__FILE__, __LINE__, "unhandled case: " #var, "")
#endif

#define REX_STATIC_ASSERT_SIZE(type, size) \
  static_assert(sizeof(type) == (size), "bad definition for " #type ": must be " #size " bytes")