1 /* Copyright (C) 1991,1992,1994-2001,2003,2004,2007 2 Free Software Foundation, Inc. 3 This file is part of the GNU C Library. 4 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. 9 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. 14 15 You should have received a copy of the GNU Lesser General Public 16 License along with the GNU C Library; if not, write to the Free 17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 18 02111-1307 USA. */ 19 20 /* 21 * ISO C99 Standard: 7.2 Diagnostics <assert.h> 22 */ 23 24 #ifdef _ASSERT_H 25 26 # undef _ASSERT_H 27 # undef assert 28 # undef __ASSERT_VOID_CAST 29 30 # ifdef __USE_GNU 31 # undef assert_perror 32 # endif 33 34 #endif /* assert.h */ 35 36 #define _ASSERT_H 1 37 #include <features.h> 38 39 #if defined __cplusplus && __GNUC_PREREQ (2,95) 40 # define __ASSERT_VOID_CAST static_cast<void> 41 #else 42 # define __ASSERT_VOID_CAST (void) 43 #endif 44 45 /* void assert (int expression); 46 47 If NDEBUG is defined, do nothing. 48 If not, and EXPRESSION is zero, print an error message and abort. */ 49 50 #ifdef NDEBUG 51 52 # define assert(expr) (__ASSERT_VOID_CAST (0)) 53 54 /* void assert_perror (int errnum); 55 56 If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an 57 error message with the error text for ERRNUM and abort. 58 (This is a GNU extension.) */ 59 60 # ifdef __USE_GNU 61 # define assert_perror(errnum) (__ASSERT_VOID_CAST (0)) 62 # endif 63 64 #else /* Not NDEBUG. */ 65 66 #ifndef _ASSERT_H_DECLS 67 #define _ASSERT_H_DECLS 68 __BEGIN_DECLS 69 70 /* This prints an "Assertion failed" message and aborts. */ 71 extern void __assert_fail (__const char *__assertion, __const char *__file, 72 unsigned int __line, __const char *__function) 73 __THROW __attribute__ ((__noreturn__)); 74 75 /* Likewise, but prints the error text for ERRNUM. */ 76 extern void __assert_perror_fail (int __errnum, __const char *__file, 77 unsigned int __line, 78 __const char *__function) 79 __THROW __attribute__ ((__noreturn__)); 80 81 82 /* The following is not at all used here but needed for standard 83 compliance. */ 84 extern void __assert (const char *__assertion, const char *__file, int __line) 85 __THROW __attribute__ ((__noreturn__)); 86 87 88 __END_DECLS 89 #endif /* Not _ASSERT_H_DECLS */ 90 91 # define assert(expr) \ 92 ((expr) \ 93 ? __ASSERT_VOID_CAST (0) \ 94 : __assert_fail (__STRING(expr), __FILE__, __LINE__, __ASSERT_FUNCTION)) 95 96 # ifdef __USE_GNU 97 # define assert_perror(errnum) \ 98 (!(errnum) \ 99 ? __ASSERT_VOID_CAST (0) \ 100 : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION)) 101 # endif 102 103 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__' 104 which contains the name of the function currently being defined. 105 This is broken in G++ before version 2.6. 106 C9x has a similar variable called __func__, but prefer the GCC one since 107 it demangles C++ function names. */ 108 # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4) 109 # define __ASSERT_FUNCTION __PRETTY_FUNCTION__ 110 # else 111 # if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L 112 # define __ASSERT_FUNCTION __func__ 113 # else 114 # define __ASSERT_FUNCTION ((__const char *) 0) 115 # endif 116 # endif 117 118 #endif /* NDEBUG. */ 119
