summaryrefslogtreecommitdiffhomepage
path: root/compat/assert.hpp
blob: 0d3efd099715613b2868adef2fd4bcd204dcda88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
#pragma once
#include "defs.hpp"
#include <cstdlib>
#include <cstdio>
#include <type_traits>

#ifdef __GNUG__
#   pragma GCC diagnostic push
#   pragma GCC diagnostic ignored "-Wunused-macros"
#endif

#define emit_debug(pfx, ...)                    \
    do {                                        \
        if (!std::is_constant_evaluated()) {    \
            if constexpr (sizeof(pfx) > 1)      \
                std::fputs((pfx), stderr);      \
            std::fprintf(stderr, __VA_ARGS__);  \
            std::fputc('\n', stderr);           \
            std::fflush(stderr);                \
        }                                       \
    } while (false)

#define ABORT(...) do { emit_debug("fatal: ", __VA_ARGS__); std::abort(); } while (false)

#define ASSERT(...)                                                     \
    do {                                                                \
        if (!(__VA_ARGS__)) {                                           \
            emit_debug("", "assertion failed: '%s' in %s:%d",           \
                       #__VA_ARGS__, __FILE__, __LINE__);               \
            std::abort();                                               \
        }                                                               \
    } while(false)

#define ASSERT_EXPR(var, expr, cond)                                    \
    ([&] {                                                              \
        decltype(auto) var = (expr);                                    \
        ASSERT(cond);                                                   \
        return (var);                                                   \
    })()

#define WARN(...)       emit_debug("warning: ", __VA_ARGS__)
#define ERR(...)        emit_debug("error: ", __VA_ARGS__)
#define MESSAGE(...)    emit_debug("", __VA_ARGS__)
#define DEBUG(...)      emit_debug("", __VA_ARGS__)

namespace floormat {

template<bool>
struct static_warning_ final {
    [[deprecated]] constexpr static_warning_() = default;
};

template<>
struct static_warning_<true> final {
    constexpr static_warning_() = default;
};

#define static_warning(...) do { (void)static_warning_<(__VA_ARGS__)>{};  } while(false)

} // namespace floormat

#ifdef __GNUG__
#   pragma GCC diagnostic pop
#endif