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