xref: /freebsd-13.1/include/assert.h (revision ffa01562)
159deaec5SRodney W. Grimes /*-
259deaec5SRodney W. Grimes  * Copyright (c) 1992, 1993
359deaec5SRodney W. Grimes  *	The Regents of the University of California.  All rights reserved.
459deaec5SRodney W. Grimes  * (c) UNIX System Laboratories, Inc.
559deaec5SRodney W. Grimes  * All or some portions of this file are derived from material licensed
659deaec5SRodney W. Grimes  * to the University of California by American Telephone and Telegraph
759deaec5SRodney W. Grimes  * Co. or Unix System Laboratories, Inc. and are reproduced herein with
859deaec5SRodney W. Grimes  * the permission of UNIX System Laboratories, Inc.
959deaec5SRodney W. Grimes  *
1059deaec5SRodney W. Grimes  * Redistribution and use in source and binary forms, with or without
1159deaec5SRodney W. Grimes  * modification, are permitted provided that the following conditions
1259deaec5SRodney W. Grimes  * are met:
1359deaec5SRodney W. Grimes  * 1. Redistributions of source code must retain the above copyright
1459deaec5SRodney W. Grimes  *    notice, this list of conditions and the following disclaimer.
1559deaec5SRodney W. Grimes  * 2. Redistributions in binary form must reproduce the above copyright
1659deaec5SRodney W. Grimes  *    notice, this list of conditions and the following disclaimer in the
1759deaec5SRodney W. Grimes  *    documentation and/or other materials provided with the distribution.
18f2556687SWarner Losh  * 3. Neither the name of the University nor the names of its contributors
1959deaec5SRodney W. Grimes  *    may be used to endorse or promote products derived from this software
2059deaec5SRodney W. Grimes  *    without specific prior written permission.
2159deaec5SRodney W. Grimes  *
2259deaec5SRodney W. Grimes  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
2359deaec5SRodney W. Grimes  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2459deaec5SRodney W. Grimes  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2559deaec5SRodney W. Grimes  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
2659deaec5SRodney W. Grimes  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2759deaec5SRodney W. Grimes  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2859deaec5SRodney W. Grimes  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2959deaec5SRodney W. Grimes  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
3059deaec5SRodney W. Grimes  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
3159deaec5SRodney W. Grimes  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
3259deaec5SRodney W. Grimes  * SUCH DAMAGE.
3359deaec5SRodney W. Grimes  *
3459deaec5SRodney W. Grimes  *	@(#)assert.h	8.2 (Berkeley) 1/21/94
358c825c1aSJeroen Ruigrok van der Werven  * $FreeBSD$
3659deaec5SRodney W. Grimes  */
3759deaec5SRodney W. Grimes 
38c44a2767SMike Barcroft #include <sys/cdefs.h>
39c44a2767SMike Barcroft 
4059deaec5SRodney W. Grimes /*
4159deaec5SRodney W. Grimes  * Unlike other ANSI header files, <assert.h> may usefully be included
4259deaec5SRodney W. Grimes  * multiple times, with and without NDEBUG defined.
4359deaec5SRodney W. Grimes  */
4459deaec5SRodney W. Grimes 
4559deaec5SRodney W. Grimes #undef assert
4659deaec5SRodney W. Grimes #undef _assert
4759deaec5SRodney W. Grimes 
4859deaec5SRodney W. Grimes #ifdef NDEBUG
4959deaec5SRodney W. Grimes #define	assert(e)	((void)0)
5059deaec5SRodney W. Grimes #define	_assert(e)	((void)0)
5159deaec5SRodney W. Grimes #else
5259deaec5SRodney W. Grimes #define	_assert(e)	assert(e)
53c44a2767SMike Barcroft 
548c825c1aSJeroen Ruigrok van der Werven #define	assert(e)	((e) ? (void)0 : __assert(__func__, __FILE__, \
558c825c1aSJeroen Ruigrok van der Werven 			    __LINE__, #e))
56c44a2767SMike Barcroft #endif /* NDEBUG */
5759deaec5SRodney W. Grimes 
5819d6d0ebSPoul-Henning Kamp #ifndef _ASSERT_H_
5919d6d0ebSPoul-Henning Kamp #define _ASSERT_H_
60c6d3530dSEd Schouten 
61*ffa01562SEd Schouten /*
62*ffa01562SEd Schouten  * Static assertions.  In principle we could define static_assert for
63*ffa01562SEd Schouten  * C++ older than C++11, but this breaks if _Static_assert is
64*ffa01562SEd Schouten  * implemented as a macro.
65*ffa01562SEd Schouten  *
66*ffa01562SEd Schouten  * C++ template parameters may contain commas, even if not enclosed in
67*ffa01562SEd Schouten  * parentheses, causing the _Static_assert macro to be invoked with more
68*ffa01562SEd Schouten  * than two parameters.
69*ffa01562SEd Schouten  */
70*ffa01562SEd Schouten #if __ISO_C_VISIBLE >= 2011 && !defined(__cplusplus)
71c6d3530dSEd Schouten #define	static_assert	_Static_assert
72c6d3530dSEd Schouten #endif
73c6d3530dSEd Schouten 
7459deaec5SRodney W. Grimes __BEGIN_DECLS
7562779d80SEd Schouten void __assert(const char *, const char *, int, const char *) __dead2;
7659deaec5SRodney W. Grimes __END_DECLS
77c6d3530dSEd Schouten 
7822ac70fcSPoul-Henning Kamp #endif /* !_ASSERT_H_ */
79