xref: /dragonfly/include/assert.h (revision 2c81fb9c)
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  *	@(#)assert.h	8.2 (Berkeley) 1/21/94
37  * $FreeBSD: head/include/assert.h 326024 2017-11-20 19:45:28Z pfg $
38  */
39 
40 #include <sys/cdefs.h>
41 
42 /*
43  * Unlike other ANSI header files, <assert.h> may usefully be included
44  * multiple times, with and without NDEBUG defined.
45  */
46 
47 #undef assert
48 #undef _assert
49 
50 #ifdef NDEBUG
51 #define	assert(e)	((void)0)
52 #define	_assert(e)	((void)0)
53 #else
54 #define	_assert(e)	assert(e)
55 
56 #define	assert(e)	((e) ? (void)0 : __assert(__func__, __FILE__, \
57 			    __LINE__, #e))
58 #endif /* NDEBUG */
59 
60 #undef _DIAGASSERT
61 #ifdef _DIAGNOSTIC
62 #define	_DIAGASSERT(e)	((e) ? (void)0 : __diagassert(__FILE__, __LINE__, \
63 			    __func__, #e))
64 #else
65 #define	_DIAGASSERT(e)	((void)0)
66 #endif
67 
68 #ifndef _ASSERT_H_
69 #define _ASSERT_H_
70 
71 /*
72  * Static assertions.  In principle we could define static_assert for
73  * C++ older than C++11, but this breaks if _Static_assert is
74  * implemented as a macro.
75  *
76  * C++ template parameters may contain commas, even if not enclosed in
77  * parentheses, causing the _Static_assert macro to be invoked with more
78  * than two parameters.
79  */
80 #if __ISO_C_VISIBLE >= 2011 && !defined(__cplusplus)
81 #define	static_assert	_Static_assert
82 #endif
83 
84 __BEGIN_DECLS
85 void	__assert(const char *, const char *, int, const char *) __dead2;
86 void	__diagassert(const char *, int, const char *, const char *);
87 __END_DECLS
88 
89 #endif /* !_ASSERT_H_ */
90