1 /* Copyright (C) 1991-2017 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
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.
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.
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 <http://www.gnu.org/licenses/>. */
19 * ISO C99 Standard: 7.2 Diagnostics <assert.h>
26 # undef __ASSERT_VOID_CAST
37 #if defined __cplusplus && __GNUC_PREREQ (2,95)
38 # define __ASSERT_VOID_CAST static_cast<void>
40 # define __ASSERT_VOID_CAST (void)
43 /* void assert (int expression);
45 If NDEBUG is defined, do nothing.
46 If not, and EXPRESSION is zero, print an error message and abort. */
50 # define assert(expr) (__ASSERT_VOID_CAST (0))
52 /* void assert_perror (int errnum);
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.) */
59 # define assert_perror(errnum) (__ASSERT_VOID_CAST (0))
62 #else /* Not NDEBUG. */
66 /* This prints an "Assertion failed" message and aborts. */
67 extern void __assert_fail (const char *__assertion
, const char *__file
,
68 unsigned int __line
, const char *__function
)
69 __THROW
__attribute__ ((__noreturn__
));
71 /* Likewise, but prints the error text for ERRNUM. */
72 extern void __assert_perror_fail (int __errnum
, const char *__file
,
73 unsigned int __line
, const char *__function
)
74 __THROW
__attribute__ ((__noreturn__
));
77 /* The following is not at all used here but needed for standard
79 extern void __assert (const char *__assertion
, const char *__file
, int __line
)
80 __THROW
__attribute__ ((__noreturn__
));
85 /* When possible, define assert so that it does not add extra
86 parentheses around EXPR. Otherwise, those added parentheses would
87 suppress warnings we'd expect to be detected by gcc's -Wparentheses. */
88 # if !defined __GNUC__ || defined __STRICT_ANSI__
89 # define assert(expr) \
91 ? __ASSERT_VOID_CAST (0) \
92 : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))
94 /* The first occurrence of EXPR is not evaluated due to the sizeof,
95 but will trigger any pedantic warnings masked by the __extension__
96 for the second occurrence. The explicit comparison against zero is
97 required to support function pointers and bit fields in this
98 context, and to suppress the evaluation of variable length
100 # define assert(expr) \
101 ((void) sizeof ((expr) == 0), __extension__ ({ \
105 __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION); \
110 # define assert_perror(errnum) \
112 ? __ASSERT_VOID_CAST (0) \
113 : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
116 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
117 which contains the name of the function currently being defined.
118 This is broken in G++ before version 2.6.
119 C9x has a similar variable called __func__, but prefer the GCC one since
120 it demangles C++ function names. */
121 # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
122 # define __ASSERT_FUNCTION __extension__ __PRETTY_FUNCTION__
124 # if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
125 # define __ASSERT_FUNCTION __func__
127 # define __ASSERT_FUNCTION ((const char *) 0)
134 #if defined __USE_ISOC11 && !defined __cplusplus
135 # undef static_assert
136 # define static_assert _Static_assert