xref: /illumos-gate/usr/src/head/assert.h (revision 8dc6d85a)
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  *
30  * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
31  * Use is subject to license terms.
32  */
33 
34 #ifndef	_ASSERT_H
35 #define	_ASSERT_H
36 
37 #ifdef	__cplusplus
38 extern "C" {
39 #endif
40 
41 #if __STDC_VERSION__ - 0 >= 199901L
42 extern void __assert_c99(const char *, const char *, int, const char *);
43 #else
44 extern void __assert(const char *, const char *, int);
45 #endif /* __STDC_VERSION__ - 0 >= 199901L */
46 
47 /*
48  * In C11 the static_assert macro is always defined, unlike the assert macro.
49  */
50 #if __STDC_VERSION__ - 0 >= 201112L && !defined(__cplusplus)
51 #define	static_assert	_Static_assert
52 #endif /* __STDC_VERSION - 0 >= 201112L && !defined(__cplusplus) */
53 
54 #ifdef	__cplusplus
55 }
56 #endif
57 
58 #endif	/* _ASSERT_H */
59 
60 /*
61  * Note that the ANSI C Standard requires all headers to be idempotent except
62  * <assert.h> which is explicitly required not to be idempotent (section 4.1.2).
63  * Therefore, it is by intent that the header guards (#ifndef _ASSERT_H) do
64  * not span this entire file.
65  */
66 
67 #undef	assert
68 
69 #ifdef	NDEBUG
70 
71 #define	assert(EX) ((void)0)
72 
73 #else
74 
75 #if __STDC_VERSION__ - 0 >= 199901L
76 #define	assert(EX) (void)((EX) || \
77 	(__assert_c99(#EX, __FILE__, __LINE__, __func__), 0))
78 #else
79 #define	assert(EX) (void)((EX) || (__assert(#EX, __FILE__, __LINE__), 0))
80 #endif /* __STDC_VERSION__ - 0 >= 199901L */
81 
82 #endif	/* NDEBUG */
83