assert/assert.h

   1 /* Copyright (C) 1991,1992,1994-2001,2003,2004,2007,2011
   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 __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,
  76                                   __const char *__function)
  77      __THROW __attribute__ ((__noreturn__));
  78
  79
  80 /* The following is not at all used here but needed for standard
  81    compliance.  */
  82 extern void __assert (const char *__assertion, const char *__file, int __line)
  83      __THROW __attribute__ ((__noreturn__));
  84
  85
  86 __END_DECLS
  87
  88 # define assert(expr)                                                   \
  89   ((expr)                                                               \
  90    ? __ASSERT_VOID_CAST (0)                                             \
  91    : __assert_fail (__STRING(expr), __FILE__, __LINE__, __ASSERT_FUNCTION))
  92
  93 # ifdef __USE_GNU
  94 #  define assert_perror(errnum)                                         \
  95   (!(errnum)                                                            \
  96    ? __ASSERT_VOID_CAST (0)                                             \
  97    : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
  98 # endif
  99
 100 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
 101    which contains the name of the function currently being defined.
 102    This is broken in G++ before version 2.6.
 103    C9x has a similar variable called __func__, but prefer the GCC one since
 104    it demangles C++ function names.  */
 105 # if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
 106 #   define __ASSERT_FUNCTION    __PRETTY_FUNCTION__
 107 # else
 108 #  if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
 109 #   define __ASSERT_FUNCTION    __func__
 110 #  else
 111 #   define __ASSERT_FUNCTION    ((__const char *) 0)
 112 #  endif
 113 # endif
 114
 115 #endif /* NDEBUG.  */
 116
 117
 118 #ifdef __USE_ISOC11
 119 /* Static assertion.  Requires support in the compiler.  */
 120 # undef static_assert
 121 # define static_assert _Static_assert
 122 #endif