macros.hpp

Go to the documentation of this file.

 
#pragma once
 
#include "irsol/assert.hpp"
#include "irsol/traits.hpp"
 
#if defined(__cplusplus) && __cplusplus >= 201703L
#define IRSOL_MAYBE_UNUSED [[maybe_unused]]
#elif defined(__GNUC__) || defined(__clang__)
#define IRSOL_MAYBE_UNUSED __attribute__((unused))
#elif defined(_MSC_VER)
#define IRSOL_MAYBE_UNUSED
#else
#define IRSOL_MAYBE_UNUSED
#endif
 
#if defined(__GNUC__) || defined(__clang__)
#ifndef IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_START
#define IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_START \
  _Pragma("GCC diagnostic push") _Pragma("GCC diagnostic ignored \"-Wunused-variable\"")
#endif
#ifndef IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_END
#define IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_END _Pragma("GCC diagnostic pop")
#endif
#else
#define IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_START
#define IRSOL_SUPPRESS_UNUSED_STRUCTURED_BINDING_END
#endif
 
#if defined(__GNUC__) || defined(__clang__)
#define _IRSOL_UNREACHABLE_IMPL() __builtin_unreachable()
#elif defined(_MSC_VER)
#define _IRSOL_UNREACHABLE_IMPL() __assume(false)
#else
#define _IRSOL_UNREACHABLE_IMPL() \
  do {                            \
  } while(0)
#endif
 
#define IRSOL_UNREACHABLE() _IRSOL_UNREACHABLE_IMPL()
 
#ifndef IRSOL_STATIC_UNREACHABLE
#define IRSOL_STATIC_UNREACHABLE(messageLiteral)                          \
  IRSOL_STATIC_ASSERT(                                                    \
    (irsol::traits::always_false<struct _irsol_dependent_false_>::value), \
    "Unreachable constexpr code triggered: " messageLiteral);             \
  _IRSOL_UNREACHABLE_IMPL()
#endif
 
#ifndef _IRSOL_STATIC_ASSERT_MISSING_TEMPLATE_SPECIALIZATION
#define _IRSOL_STATIC_ASSERT_MISSING_TEMPLATE_SPECIALIZATION(T, messageLiteral) \
  IRSOL_STATIC_ASSERT((irsol::traits::always_false<T>::value), messageLiteral)
#endif
 
#ifndef IRSOL_MISSING_TEMPLATE_SPECIALIZATION
#define IRSOL_MISSING_TEMPLATE_SPECIALIZATION(T, funcNameLiteral)                    \
  _IRSOL_STATIC_ASSERT_MISSING_TEMPLATE_SPECIALIZATION(                              \
    T,                                                                               \
    "Function '" funcNameLiteral "' lacks a template specialization for this type. " \
    "Please ensure you handle all required template types explicitly.")
#endif