1 /*        $NetBSD: assert.h,v 1.27 2025/03/29 01:43:38 riastradh Exp $          */
2 
3 /*-
4  * Copyright (c) 1992, 1993
5  *        The Regents of the University of California.  All rights reserved.
6  * (c) UNIX System Laboratories, Inc.
7  * All or some portions of this file are derived from material licensed
8  * to the University of California by American Telephone and Telegraph
9  * Co. or Unix System Laboratories, Inc. and are reproduced herein with
10  * the permission of UNIX System Laboratories, Inc.
11  *
12  * Redistribution and use in source and binary forms, with or without
13  * modification, are permitted provided that the following conditions
14  * are met:
15  * 1. Redistributions of source code must retain the above copyright
16  *    notice, this list of conditions and the following disclaimer.
17  * 2. Redistributions in binary form must reproduce the above copyright
18  *    notice, this list of conditions and the following disclaimer in the
19  *    documentation and/or other materials provided with the distribution.
20  * 3. Neither the name of the University nor the names of its contributors
21  *    may be used to endorse or promote products derived from this software
22  *    without specific prior written permission.
23  *
24  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
25  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
26  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
27  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
28  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
29  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
30  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
31  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
32  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
33  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
34  * SUCH DAMAGE.
35  *
36  *        @(#)assert.h        8.2 (Berkeley) 1/21/94
37  */
38 
39 /*
40  * Unlike other ANSI header files, <assert.h> may usefully be included
41  * multiple times, with and without NDEBUG defined.
42  */
43 
44 #include <sys/cdefs.h>
45 #include <sys/featuretest.h>
46 #include <sys/null.h>
47 
48 #undef assert
49 
50 #ifdef NDEBUG
51 # define assert(e)  (__static_cast(void,0))
52 #else /* !NDEBUG */
53 # if __STDC__
54 #  define assert(e)                                                             \
55           (__predict_true(e) ? __static_cast(void,0)                            \
56               : __assert13(__FILE__, __LINE__, __assert_function__, #e))
57 # else    /* PCC */
58 #  define assert(e)                                                             \
59           (__predict_true(e) ? __static_cast(void,0)                            \
60               : __assert13(__FILE__, __LINE__, __assert_function__, "e"))
61 # endif /* !__STDC__ */
62 #endif /* NDEBUG */
63 
64 #undef _DIAGASSERT
65 #if !defined(_DIAGNOSTIC)
66 # define _DIAGASSERT(e) (__static_cast(void,0))
67 #else /* _DIAGNOSTIC */
68 # if __STDC__
69 #  define _DIAGASSERT(e)                                                        \
70           (__predict_true(e) ? __static_cast(void,0)                            \
71               : __diagassert13(__FILE__, __LINE__, __assert_function__, #e))
72 # else    /* !__STDC__ */
73 #  define _DIAGASSERT(e)                                                        \
74           (__predict_true(e) ? __static_cast(void,0)                            \
75               : __diagassert13(__FILE__, __LINE__, __assert_function__, "e"))
76 # endif
77 #endif /* _DIAGNOSTIC */
78 
79 
80 #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
81 #define   __assert_function__ __func__
82 #elif __GNUC_PREREQ__(2, 6)
83 #define   __assert_function__ __PRETTY_FUNCTION__
84 #else
85 #define   __assert_function__ (__static_cast(const void *,0))
86 #endif
87 
88 #ifndef __ASSERT_DECLARED
89 #define __ASSERT_DECLARED
90 __BEGIN_DECLS
91 __dead void __assert(const char *, int, const char *);
92 __dead void __assert13(const char *, int, const char *, const char *);
93 void __diagassert(const char *, int, const char *);
94 void __diagassert13(const char *, int, const char *, const char *);
95 __END_DECLS
96 #endif /* __ASSERT_DECLARED */
97 
98 #if defined(_ISOC11_SOURCE) || (__STDC_VERSION__ - 0) >= 201101L
99 #ifndef static_assert
100 #define static_assert _Static_assert
101 #endif /* static_assert */
102 #endif
103