1 /* Copyright (C) 1991,1992,1994-2001,2003,2004,2007,2011,2012
2 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <http://www.gnu.org/licenses/>. */
20 * ISO C99 Standard: 7.2 Diagnostics <assert.h>
27 # undef __ASSERT_VOID_CAST
38 #if defined __cplusplus && __GNUC_PREREQ (2,95)
39 # define __ASSERT_VOID_CAST static_cast<void>
41 # define __ASSERT_VOID_CAST (void)
44 /* void assert (int expression);
46 If NDEBUG is defined, do nothing.
47 If not, and EXPRESSION is zero, print an error message and abort. */
51 # define assert(expr) (__ASSERT_VOID_CAST (0))
53 /* void assert_perror (int errnum);
55 If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an
56 error message with the error text for ERRNUM and abort.
57 (This is a GNU extension.) */
60 # define assert_perror(errnum) (__ASSERT_VOID_CAST (0))
63 #else /* Not NDEBUG. */
67 /* This prints an "Assertion failed" message and aborts. */
68 extern void __assert_fail (const char *__assertion, const char *__file,
69 unsigned int __line, const char *__function)
70 __THROW __attribute__ ((__noreturn__));
72 /* Likewise, but prints the error text for ERRNUM. */
73 extern void __assert_perror_fail (int __errnum, const char *__file,
74 unsigned int __line, const char *__function)
75 __THROW __attribute__ ((__noreturn__));
78 /* The following is not at all used here but needed for standard
80 extern void __assert (const char *__assertion, const char *__file, int __line)
81 __THROW __attribute__ ((__noreturn__));
86 # define assert(expr) \
88 ? __ASSERT_VOID_CAST (0) \
89 : __assert_fail (__STRING(expr), __FILE__, __LINE__, __ASSERT_FUNCTION))
92 # define assert_perror(errnum) \
94 ? __ASSERT_VOID_CAST (0) \
95 : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
98 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
99 which contains the name of the function currently being defined.
100 This is broken in G++ before version 2.6.
101 C9x has a similar variable called __func__, but prefer the GCC one since
102 it demangles C++ function names. */
103 # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
104 # define __ASSERT_FUNCTION __PRETTY_FUNCTION__
106 # if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
107 # define __ASSERT_FUNCTION __func__
109 # define __ASSERT_FUNCTION ((const char *) 0)
116 #if defined __USE_ISOC11 && !defined __cplusplus
117 /* Static assertion. Requires support in the compiler. */
118 # undef static_assert
119 # define static_assert _Static_assert