aboutsummaryrefslogtreecommitdiffstats
path: root/library/cpp/yt/assert/assert.h
blob: 40f1d5d829add19b7ff2fe36ada369a0f82dd4e6 (plain) (blame)
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
65
66
67
68
69
70
71
72
73
74
75
76
#pragma once 
 
#include <util/system/compiler.h> 
#include <util/system/src_root.h> 
 
#include <util/generic/strbuf.h> 
 
namespace NYT { 
 
//////////////////////////////////////////////////////////////////////////////// 
 
namespace NDetail { 
 
[[noreturn]] 
void AssertTrapImpl( 
    TStringBuf trapType, 
    TStringBuf expr, 
    TStringBuf file, 
    int line, 
    TStringBuf function); 
 
} // namespace NDetail 
 
#ifdef __GNUC__ 
    #define YT_BUILTIN_TRAP()  __builtin_trap() 
#else 
    #define YT_BUILTIN_TRAP()  std::terminate() 
#endif 
 
#define YT_ASSERT_TRAP(trapType, expr) \ 
    ::NYT::NDetail::AssertTrapImpl(TStringBuf(trapType), TStringBuf(expr), __SOURCE_FILE_IMPL__.As<TStringBuf>(), __LINE__, TStringBuf(__FUNCTION__)); \ 
    Y_UNREACHABLE() \ 
 
#ifdef NDEBUG 
    #define YT_ASSERT(expr) \ 
        do { \ 
            if (false) { \ 
                (void) (expr); \ 
            } \ 
        } while (false) 
#else 
    #define YT_ASSERT(expr) \ 
        do { \ 
            if (Y_UNLIKELY(!(expr))) { \ 
                YT_ASSERT_TRAP("YT_ASSERT", #expr); \ 
            } \ 
        } while (false) 
#endif 
 
//! Same as |YT_ASSERT| but evaluates and checks the expression in both release and debug mode. 
#define YT_VERIFY(expr) \ 
    do { \ 
        if (Y_UNLIKELY(!(expr))) { \ 
            YT_ASSERT_TRAP("YT_VERIFY", #expr); \ 
        } \ 
    } while (false) 
 
//! Fatal error code marker. Abnormally terminates the current process. 
#ifdef YT_COMPILING_UDF 
    #define YT_ABORT() __YT_BUILTIN_ABORT() 
#else 
    #define YT_ABORT() \ 
        do { \ 
            YT_ASSERT_TRAP("YT_ABORT", ""); \ 
        } while (false) 
#endif 
 
//! Unimplemented code marker. Abnormally terminates the current process. 
#define YT_UNIMPLEMENTED() \ 
    do { \ 
        YT_ASSERT_TRAP("YT_UNIMPLEMENTED", ""); \ 
    } while (false) 
 
//////////////////////////////////////////////////////////////////////////////// 
 
} // namespace NYT