xref: /illumos-gate/usr/src/head/assert.h (revision ddb365bfc9e868ad24ccdcb0dc91af18b10df082)
1 /*
2  * CDDL HEADER START
3  *
4  * The contents of this file are subject to the terms of the
5  * Common Development and Distribution License, Version 1.0 only
6  * (the "License").  You may not use this file except in compliance
7  * with the License.
8  *
9  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
10  * or http://www.opensolaris.org/os/licensing.
11  * See the License for the specific language governing permissions
12  * and limitations under the License.
13  *
14  * When distributing Covered Code, include this CDDL HEADER in each
15  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
16  * If applicable, add the following below this CDDL HEADER, with the
17  * fields enclosed by brackets "[]" replaced with your own identifying
18  * information: Portions Copyright [yyyy] [name of copyright owner]
19  *
20  * CDDL HEADER END
21  */
22 /*	Copyright (c) 1988 AT&T	*/
23 /*	  All Rights Reserved	*/
24 
25 /*
26  * Copyright 2014 Garrett D'Amore <garrett@damore.org>
27  * Copyright 2016 Joyent, Inc.
28  * Copyright 2018 OmniOS Community Edition (OmniOSce) Association.
29  * Copyright 2023 Oxide Computer Company
30  *
31  * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
32  * Use is subject to license terms.
33  */
34 
35 #ifndef	_ASSERT_H
36 #define	_ASSERT_H
37 
38 #include <sys/feature_tests.h>
39 
40 #ifdef	__cplusplus
41 extern "C" {
42 #endif
43 
44 #if __STDC_VERSION__ - 0 >= 199901L
45 extern _NORETURN_KYWD void __assert_c99(const char *, const char *, int,
46     const char *) __NORETURN;
47 #else
48 extern _NORETURN_KYWD void __assert(const char *, const char *, int) __NORETURN;
49 #endif /* __STDC_VERSION__ - 0 >= 199901L */
50 
51 /*
52  * In C11 the static_assert macro is always defined, unlike the assert macro.
53  */
54 #if __STDC_VERSION__ - 0 >= 201112L && !defined(__cplusplus)
55 #define	static_assert	_Static_assert
56 #endif /* __STDC_VERSION - 0 >= 201112L && !defined(__cplusplus) */
57 
58 #ifdef	__cplusplus
59 }
60 #endif
61 
62 #endif	/* _ASSERT_H */
63 
64 /*
65  * Note that the ANSI C Standard requires all headers to be idempotent except
66  * <assert.h> which is explicitly required not to be idempotent (section 4.1.2).
67  * Therefore, it is by intent that the header guards (#ifndef _ASSERT_H) do
68  * not span this entire file.
69  */
70 
71 #undef	assert
72 
73 #ifdef	NDEBUG
74 
75 #define	assert(EX) ((void)0)
76 
77 #else
78 
79 #if __STDC_VERSION__ - 0 >= 199901L
80 #define	assert(EX) (void)((EX) || \
81 	(__assert_c99(#EX, __FILE__, __LINE__, __func__), 0))
82 #else
83 #define	assert(EX) (void)((EX) || (__assert(#EX, __FILE__, __LINE__), 0))
84 #endif /* __STDC_VERSION__ - 0 >= 199901L */
85 
86 #endif	/* NDEBUG */
87