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.  */
71extern 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.  */
76extern 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.  */
84extern 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