xref: /freebsd/include/assert.h (revision 2774f206809b8fd3a4904fe945f029a414fbc642)
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$
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 #ifndef _ASSERT_H_
61 #define _ASSERT_H_
62 
63 /*
64  * Static assertions.  In principle we could define static_assert for
65  * C++ older than C++11, but this breaks if _Static_assert is
66  * implemented as a macro.
67  *
68  * C++ template parameters may contain commas, even if not enclosed in
69  * parentheses, causing the _Static_assert macro to be invoked with more
70  * than two parameters.
71  */
72 #if __ISO_C_VISIBLE >= 2011 && !defined(__cplusplus)
73 #define	static_assert	_Static_assert
74 #endif
75 
76 __BEGIN_DECLS
77 void __assert(const char *, const char *, int, const char *) __dead2;
78 __END_DECLS
79 
80 #endif /* !_ASSERT_H_ */
81