assert/assert.h

   1 /* Copyright (C) 1991,1992,1994-2001,2003 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, write to the Free
  16    Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
  17    02111-1307 USA.  */
  18
  19 /*
  20  *      ISO C99 Standard: 7.2 Diagnostics       <assert.h>
  21  */
  22
  23 #ifdef  _ASSERT_H
  24
  25 # undef _ASSERT_H
  26 # undef assert
  27 # undef __ASSERT_VOID_CAST
  28
  29 # ifdef __USE_GNU
  30 #  undef assert_perror
  31 # endif
  32
  33 #endif /* assert.h      */
  34
  35 #define _ASSERT_H       1
  36 #include <features.h>
  37
  38 #if defined __cplusplus && __GNUC_PREREQ (2,95)
  39 # define __ASSERT_VOID_CAST static_cast<void>
  40 #else
  41 # define __ASSERT_VOID_CAST (void)
  42 #endif
  43
  44 /* void assert (int expression);
  45
  46    If NDEBUG is defined, do nothing.
  47    If not, and EXPRESSION is zero, print an error message and abort.  */
  48
  49 #ifdef  NDEBUG
  50
  51 # define assert(expr)           (__ASSERT_VOID_CAST (0))
  52
  53 /* void assert_perror (int errnum);
  54
  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.) */
  58
  59 # ifdef __USE_GNU
  60 #  define assert_perror(errnum) (__ASSERT_VOID_CAST (0))
  61 # endif
  62
  63 #else /* Not NDEBUG.  */
  64
  65 __BEGIN_DECLS
  66
  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__));
  71
  72 /* Likewise, but prints the error text for ERRNUM.  */
  73 extern void __assert_perror_fail (int __errnum, __const char *__file,
  74                                   unsigned int __line,
  75                                   __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
  87 /* For the macro definition we use gcc's __builtin_expect if possible
  88    to generate good code for the non-error case.  gcc 3.0 is a good
  89    enough estimate for when the feature became available.  */
  90 # if __GNUC_PREREQ (3, 0)
  91 #  define assert(expr) \
  92   (__ASSERT_VOID_CAST (__builtin_expect (!!(expr), 1) ? 0 :                   \
  93                        (__assert_fail (__STRING(expr), __FILE__, __LINE__,    \
  94                                        __ASSERT_FUNCTION), 0)))
  95 # else
  96 #  define assert(expr) \
  97   (__ASSERT_VOID_CAST ((expr) ? 0 :                                           \
  98                        (__assert_fail (__STRING(expr), __FILE__, __LINE__,    \
  99                                        __ASSERT_FUNCTION), 0)))
 100 # endif
 101
 102 # ifdef __USE_GNU
 103 #  if __GNUC_PREREQ (3, 0)
 104 #   define assert_perror(errnum) \
 105   (__ASSERT_VOID_CAST (__builtin_expect (!(errnum), 1) ? 0 :                  \
 106                        (__assert_perror_fail ((errnum), __FILE__, __LINE__,   \
 107                                               __ASSERT_FUNCTION), 0)))
 108 #  else
 109 #   define assert_perror(errnum) \
 110   (__ASSERT_VOID_CAST (!(errnum) ? 0 :                                        \
 111                        (__assert_perror_fail ((errnum), __FILE__, __LINE__,   \
 112                                               __ASSERT_FUNCTION), 0)))
 113 #  endif
 114 # endif
 115
 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    __PRETTY_FUNCTION__
 123 # else
 124 #  if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
 125 #   define __ASSERT_FUNCTION    __func__
 126 #  else
 127 #   define __ASSERT_FUNCTION    ((__const char *) 0)
 128 #  endif
 129 # endif
 130
 131 #endif /* NDEBUG.  */