| 1 | /* Copyright (C) 1991-2020 Free Software Foundation, Inc.  |
| 2 | This file is part of the GNU C Library.  |
| 3 |   |
| 4 | The GNU C Library is free software; you can redistribute it and/or  |
| 5 | modify it under the terms of the GNU Lesser General Public  |
| 6 | License as published by the Free Software Foundation; either  |
| 7 | version 2.1 of the License, or (at your option) any later version.  |
| 8 |   |
| 9 | The GNU C Library is distributed in the hope that it will be useful,  |
| 10 | but WITHOUT ANY WARRANTY; without even the implied warranty of  |
| 11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU  |
| 12 | Lesser General Public License for more details.  |
| 13 |   |
| 14 | You should have received a copy of the GNU Lesser General Public  |
| 15 | License along with the GNU C Library; if not, see  |
| 16 | <https://www.gnu.org/licenses/>. */  |
| 17 |   |
| 18 | /*  |
| 19 | * ISO C99 Standard: 7.2 Diagnostics <assert.h>  |
| 20 | */  |
| 21 |   |
| 22 | #ifdef _ASSERT_H  |
| 23 |   |
| 24 | # undef _ASSERT_H  |
| 25 | # undef assert  |
| 26 | # undef __ASSERT_VOID_CAST  |
| 27 |   |
| 28 | # ifdef __USE_GNU  |
| 29 | # undef assert_perror  |
| 30 | # endif  |
| 31 |   |
| 32 | #endif /* assert.h */  |
| 33 |   |
| 34 | #define _ASSERT_H 1  |
| 35 | #include <features.h>  |
| 36 |   |
| 37 | #if defined __cplusplus && __GNUC_PREREQ (2,95)  |
| 38 | # define __ASSERT_VOID_CAST static_cast<void>  |
| 39 | #else  |
| 40 | # define __ASSERT_VOID_CAST (void)  |
| 41 | #endif  |
| 42 |   |
| 43 | /* void assert (int expression);  |
| 44 |   |
| 45 | If NDEBUG is defined, do nothing.  |
| 46 | If not, and EXPRESSION is zero, print an error message and abort. */  |
| 47 |   |
| 48 | #ifdef NDEBUG  |
| 49 |   |
| 50 | # define assert(expr) (__ASSERT_VOID_CAST (0))  |
| 51 |   |
| 52 | /* void assert_perror (int errnum);  |
| 53 |   |
| 54 | If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an  |
| 55 | error message with the error text for ERRNUM and abort.  |
| 56 | (This is a GNU extension.) */  |
| 57 |   |
| 58 | # ifdef __USE_GNU  |
| 59 | # define assert_perror(errnum) (__ASSERT_VOID_CAST (0))  |
| 60 | # endif  |
| 61 |   |
| 62 | #else /* Not NDEBUG. */  |
| 63 |   |
| 64 | #ifndef _ASSERT_H_DECLS  |
| 65 | #define _ASSERT_H_DECLS  |
| 66 | __BEGIN_DECLS  |
| 67 |   |
| 68 | /* This prints an "Assertion failed" message and aborts. */  |
| 69 | extern void __assert_fail (const char *__assertion, const char *__file,  |
| 70 | unsigned int __line, const char *__function)  |
| 71 | __THROW __attribute__ ((__noreturn__));  |
| 72 |   |
| 73 | /* Likewise, but prints the error text for ERRNUM. */  |
| 74 | extern void __assert_perror_fail (int __errnum, const char *__file,  |
| 75 | unsigned int __line, const char *__function)  |
| 76 | __THROW __attribute__ ((__noreturn__));  |
| 77 |   |
| 78 |   |
| 79 | /* The following is not at all used here but needed for standard  |
| 80 | compliance. */  |
| 81 | extern void __assert (const char *__assertion, const char *__file, int __line)  |
| 82 | __THROW __attribute__ ((__noreturn__));  |
| 83 |   |
| 84 |   |
| 85 | __END_DECLS  |
| 86 | #endif /* Not _ASSERT_H_DECLS */  |
| 87 |   |
| 88 | /* When possible, define assert so that it does not add extra  |
| 89 | parentheses around EXPR. Otherwise, those added parentheses would  |
| 90 | suppress warnings we'd expect to be detected by gcc's -Wparentheses. */  |
| 91 | # if defined __cplusplus  |
| 92 | # define assert(expr) \  |
| 93 | (static_cast <bool> (expr) \  |
| 94 | ? void (0) \  |
| 95 | : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))  |
| 96 | # elif !defined __GNUC__ || defined __STRICT_ANSI__  |
| 97 | # define assert(expr) \  |
| 98 | ((expr) \  |
| 99 | ? __ASSERT_VOID_CAST (0) \  |
| 100 | : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))  |
| 101 | # else  |
| 102 | /* The first occurrence of EXPR is not evaluated due to the sizeof,  |
| 103 | but will trigger any pedantic warnings masked by the __extension__  |
| 104 | for the second occurrence. The ternary operator is required to  |
| 105 | support function pointers and bit fields in this context, and to  |
| 106 | suppress the evaluation of variable length arrays. */  |
| 107 | # define assert(expr) \  |
| 108 | ((void) sizeof ((expr) ? 1 : 0), __extension__ ({ \  |
| 109 | if (expr) \  |
| 110 | ; /* empty */ \  |
| 111 | else \  |
| 112 | __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION); \  |
| 113 | }))  |
| 114 | # endif  |
| 115 |   |
| 116 | # ifdef __USE_GNU  |
| 117 | # define assert_perror(errnum) \  |
| 118 | (!(errnum) \  |
| 119 | ? __ASSERT_VOID_CAST (0) \  |
| 120 | : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))  |
| 121 | # endif  |
| 122 |   |
| 123 | /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'  |
| 124 | which contains the name of the function currently being defined.  |
| 125 | This is broken in G++ before version 2.6.  |
| 126 | C9x has a similar variable called __func__, but prefer the GCC one since  |
| 127 | it demangles C++ function names. */  |
| 128 | # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)  |
| 129 | # define __ASSERT_FUNCTION __extension__ __PRETTY_FUNCTION__  |
| 130 | # else  |
| 131 | # if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L  |
| 132 | # define __ASSERT_FUNCTION __func__  |
| 133 | # else  |
| 134 | # define __ASSERT_FUNCTION ((const char *) 0)  |
| 135 | # endif  |
| 136 | # endif  |
| 137 |   |
| 138 | #endif /* NDEBUG. */  |
| 139 |   |
| 140 |   |
| 141 | #if defined __USE_ISOC11 && !defined __cplusplus  |
| 142 | # undef static_assert  |
| 143 | # define static_assert _Static_assert  |
| 144 | #endif  |
| 145 | |