1/* Copyright (C) 1991-2024 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 <https://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. */
69extern 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. */
74extern 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. */
81extern 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/* When possible, define assert so that it does not add extra
89 parentheses around EXPR. Otherwise, those added parentheses would
90 suppress warnings we'd expect to be detected by gcc's -Wparentheses. */
91# if defined __cplusplus
92# if defined __has_builtin
93# if __has_builtin (__builtin_FILE)
94# define __ASSERT_FILE __builtin_FILE ()
95# define __ASSERT_LINE __builtin_LINE ()
96# endif
97# endif
98# if !defined __ASSERT_FILE
99# define __ASSERT_FILE __FILE__
100# define __ASSERT_LINE __LINE__
101# endif
102# define assert(expr) \
103 (static_cast <bool> (expr) \
104 ? void (0) \
105 : __assert_fail (#expr, __ASSERT_FILE, __ASSERT_LINE, \
106 __ASSERT_FUNCTION))
107# elif !defined __GNUC__ || defined __STRICT_ANSI__
108# define assert(expr) \
109 ((expr) \
110 ? __ASSERT_VOID_CAST (0) \
111 : __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))
112# else
113/* The first occurrence of EXPR is not evaluated due to the sizeof,
114 but will trigger any pedantic warnings masked by the __extension__
115 for the second occurrence. The ternary operator is required to
116 support function pointers and bit fields in this context, and to
117 suppress the evaluation of variable length arrays. */
118# define assert(expr) \
119 ((void) sizeof ((expr) ? 1 : 0), __extension__ ({ \
120 if (expr) \
121 ; /* empty */ \
122 else \
123 __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION); \
124 }))
125# endif
126
127# ifdef __USE_GNU
128# define assert_perror(errnum) \
129 (!(errnum) \
130 ? __ASSERT_VOID_CAST (0) \
131 : __assert_perror_fail ((errnum), __FILE__, __LINE__, __ASSERT_FUNCTION))
132# endif
133
134/* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
135 which contains the name of the function currently being defined.
136 This is broken in G++ before version 2.6.
137 C9x has a similar variable called __func__, but prefer the GCC one since
138 it demangles C++ function names. */
139# if defined __cplusplus ? __GNUC_PREREQ (2, 6) : __GNUC_PREREQ (2, 4)
140# define __ASSERT_FUNCTION __extension__ __PRETTY_FUNCTION__
141# else
142# if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
143# define __ASSERT_FUNCTION __func__
144# else
145# define __ASSERT_FUNCTION ((const char *) 0)
146# endif
147# endif
148
149#endif /* NDEBUG. */
150
151
152#if (defined __USE_ISOC11 \
153 && (!defined __STDC_VERSION__ \
154 || __STDC_VERSION__ <= 201710L \
155 || !__GNUC_PREREQ (13, 0)) \
156 && !defined __cplusplus)
157# undef static_assert
158# define static_assert _Static_assert
159#endif
160