xref: /freebsd/include/assert.h (revision dd3603749cb7f20a628f04d595b105962b21a3d2)
1 /*-
2  * SPDX-License-Identifier: BSD-3-Clause
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 
37 #include <sys/cdefs.h>
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 #undef assert
45 #undef _assert
46 #undef __assert_unreachable
47 
48 #ifdef NDEBUG
49 #define	assert(e)	((void)0)
50 #define	_assert(e)	((void)0)
51 #if __BSD_VISIBLE
52 #define	__assert_unreachable()	__unreachable()
53 #endif	/* __BSD_VISIBLE */
54 #else
55 #define	_assert(e)	assert(e)
56 
57 #define	assert(e)	((e) ? (void)0 : __assert(__func__, __FILE__, \
58 			    __LINE__, #e))
59 #if __BSD_VISIBLE
60 #define	__assert_unreachable()	assert(0 && "unreachable segment reached")
61 #endif	/* __BSD_VISIBLE */
62 #endif /* NDEBUG */
63 
64 #ifndef _ASSERT_H_
65 #define _ASSERT_H_
66 
67 /*
68  * Static assertions.  In principle we could define static_assert for
69  * C++ older than C++11, but this breaks if _Static_assert is
70  * implemented as a macro.
71  *
72  * C++ template parameters may contain commas, even if not enclosed in
73  * parentheses, causing the _Static_assert macro to be invoked with more
74  * than two parameters.
75  */
76 #if __ISO_C_VISIBLE >= 2011 && !defined(__cplusplus)
77 #define	static_assert	_Static_assert
78 #endif
79 
80 __BEGIN_DECLS
81 void __assert(const char *, const char *, int, const char *) __dead2;
82 __END_DECLS
83 
84 #endif /* !_ASSERT_H_ */
85