assert.h source code [include/assert.h]

1	/* Copyright (C) 1991-2016 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, see
16	<http://www.gnu.org/licenses/>. */
17
18	/*
19	* ISO C99 Standard: 7.2 Diagnostics <assert.h>
20	*/
21
22	#ifdef _ASSERT_H
23
24	# undef _ASSERT_H
25	# undef assert
26	# undef __ASSERT_VOID_CAST
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	#if defined __cplusplus && __GNUC_PREREQ (2,95)
38	# define __ASSERT_VOID_CAST static_cast<void>
39	#else
40	# define __ASSERT_VOID_CAST (void)
41	#endif
42
43	/* void assert (int expression);
44
45	If NDEBUG is defined, do nothing.
46	If not, and EXPRESSION is zero, print an error message and abort. */
47
48	#ifdef NDEBUG
49
50	# define assert(expr) (__ASSERT_VOID_CAST (0))
51
52	/* void assert_perror (int errnum);
53
54	If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an
55	error message with the error text for ERRNUM and abort.
56	(This is a GNU extension.) */
57
58	# ifdef __USE_GNU
59	# define assert_perror(errnum) (__ASSERT_VOID_CAST (0))
60	# endif
61
62	#else /* Not NDEBUG. */
63
64	#ifndef _ASSERT_H_DECLS
65	#define _ASSERT_H_DECLS
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, 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	#endif /* Not _ASSERT_H_DECLS */
87
88	# define assert(expr) \
89	((expr) \
90	? __ASSERT_VOID_CAST (0) \
91	: __assert_fail (#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	#if defined __USE_ISOC11 && !defined __cplusplus
119	# undef static_assert
120	# define static_assert _Static_assert
121	#endif
122

Clang Project