.
[kopensolaris-gnu/glibc.git] / assert / assert.h
1 /* Copyright (C) 1991, 92, 94, 95, 96, 97, 98 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 Library General Public License as
6    published by the Free Software Foundation; either version 2 of the
7    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    Library General Public License for more details.
13
14    You should have received a copy of the GNU Library General Public
15    License along with the GNU C Library; see the file COPYING.LIB.  If not,
16    write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17    Boston, MA 02111-1307, USA.  */
18
19 /*
20  *      ISO C Standard: 4.2 DIAGNOSTICS <assert.h>
21  */
22
23 #ifdef  _ASSERT_H
24
25 # undef _ASSERT_H
26 # undef assert
27
28 # ifdef __USE_GNU
29 #  undef assert_perror
30 # endif
31
32 #endif /* assert.h      */
33
34 #define _ASSERT_H       1
35 #include <features.h>
36
37 /* void assert (int expression);
38
39    If NDEBUG is defined, do nothing.
40    If not, and EXPRESSION is zero, print an error message and abort.  */
41
42 #ifdef  NDEBUG
43
44 # define assert(expr)           ((void) 0)
45
46 /* void assert_perror (int errnum);
47
48    If NDEBUG is defined, do nothing.  If not, and ERRNUM is not zero, print an
49    error message with the error text for ERRNUM and abort.
50    (This is a GNU extension.) */
51
52 # ifdef __USE_GNU
53 #  define assert_perror(errnum) ((void) 0)
54 # endif
55
56 #else /* Not NDEBUG.  */
57
58 __BEGIN_DECLS
59
60 /* This prints an "Assertion failed" message and aborts.  */
61 extern void __assert_fail __P ((__const char *__assertion,
62                                 __const char *__file,
63                                 unsigned int __line,
64                                 __const char *__function))
65      __attribute__ ((__noreturn__));
66
67 /* Likewise, but prints the error text for ERRNUM.  */
68 extern void __assert_perror_fail __P ((int __errnum,
69                                        __const char *__file,
70                                        unsigned int __line,
71                                        __const char *__function))
72      __attribute__ ((__noreturn__));
73
74 __END_DECLS
75
76 # define assert(expr)                                                         \
77   ((void) ((expr) ? 0 :                                                       \
78            (__assert_fail (__STRING(expr),                                    \
79                            __FILE__, __LINE__, __ASSERT_FUNCTION), 0)))
80
81 # ifdef __USE_GNU
82 #  define assert_perror(errnum)                                               \
83   ((void) (!(errnum) ? 0 : (__assert_perror_fail ((errnum),                   \
84                                                   __FILE__, __LINE__,         \
85                                                   __ASSERT_FUNCTION), 0)))
86 # endif
87
88 /* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
89    which contains the name of the function currently being defined.
90    This is broken in G++ before version 2.6.  */
91 # if (!defined __GNUC__ || __GNUC__ < 2 || \
92      __GNUC_MINOR__ < (defined __cplusplus ? 6 : 4))
93 #  define __ASSERT_FUNCTION     ((__const char *) 0)
94 # else
95 #  define __ASSERT_FUNCTION     __PRETTY_FUNCTION__
96 # endif
97
98
99 #endif /* NDEBUG.  */