aboutsummaryrefslogtreecommitdiffstats
path: root/include/assert.h
blob: 5330df9c15afb3e64027d022eb3ce6fba483d1ad (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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
/**
 * slibc — Yet another C library
 * Copyright © 2015  Mattias Andrée (maandree@member.fsf.org)
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
#include <slibc/version.h>
#include <slibc/features.h>



/* The `assert` macro shall be redefined according to the the
 * current state of `NDEBUF` each time <assert.h> is included. */
#ifdef assert
# undef assert
#endif


/**
 * Unless `NDEBUG` is defined, print an error message
 * and abort the process, if the expression evaluates to
 * non-zero.
 * 
 * POSIX specifies that `assert` shall not evaluate the
 * expression if `NDEBUG` is defined. This is probably
 * to save CPU-cycles.
 * 
 * @etymology  (Assert)ion.
 * 
 * @since  Always.
 */
#ifdef NDEBUG
# define assert(expression)   ((void)0)
#elif defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L)
# define assert(expression)  \
  ((void)((expression) ? 0 : (__assert_fail(#expression, 0, __FILE__, __LINE__, __func__), 0)))
#else
# define assert(expression)  \
  ((void)((expression) ? 0 : (__assert_fail(#expression, 0, __FILE__, __LINE__, NULL), 0)))
#endif


#if defined(__SLIBC_SOURCE) || defined(__GNU_SOURCE)
/**
 * Unless `NDEBUG` is defined, print an error message
 * and abort the process, if `errnum` is non-zero.
 * 
 * `assert_perror` is a GNU-compliant slibc extension.
 * 
 * @etymology  (`assert`) version of (`perror`).
 * 
 * @param  errnum:int  The error code, describing the error that occurred.
 * 
 * @since  Always.
 */
# ifdef assert_perror
#  undef assert_perror
# endif
# ifdef NDEBUG
#  define assert_perror(errnum)  ((void)0)
#elif defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L)
#  define assert_perror(errnum)  \
  ((void)((errnum == 0) ? 0 : (__assert_fail(NULL, errnum, __FILE__, __LINE__, __func__), 0)))
# else
#  define assert_perror(errnum)  \
  ((void)((errnum == 0) ? 0 : (__assert_fail(NULL, errnum, __FILE__, __LINE__, NULL), 0)))
# endif
#endif



/* The definitions above shall be redefined at any time this header file
 * is included. The definitions below are static, and thus guarded. */
#ifndef _ASSERT_H
#define _ASSERT_H



#if defined(__C11__)
/**
 * A compile-time error should occur if the expression
 * evaluates to zero.
 * 
 * @etymology  (Static) (assert)tion.
 * 
 * @param  expression:scalar    The expression to evaluate.
 * @param  message:const char*  The message to print on error.
 * 
 * @since  Always.
 */
# define static_assert _Static_assert
#endif


/**
 * The function that is called if an assertion fails.
 * 
 * @param  expression  The expression that failed, `NULL` if `assert_perror` failed.
 * @param  errnum      The code of the fatal error, 0 if `assert` failed.
 * @param  file        The filename of the source cose whence the assertion was made.
 * @param  line        The line in the source code whence the assertion was made.
 * @param  func        The function in the source code whence the assertion was made,
 *                     `NULL` if unknown (C99 is required.)
 * 
 * @since  Always.
 */
__noreturn void __assert_fail(const char*, int, const char*, int, const char*)
  __GCC_ONLY(__attribute__((__nonnull__(3, 5))));



#endif