]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - include/assert.h
arm64 pmap: Convert panic()s to KASSERT()s
[FreeBSD/FreeBSD.git] / include / assert.h
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
37 #include <sys/cdefs.h>
38
39 /*
40  * Unlike other ANSI header files, <assert.h> may usefully be included
41  * multiple times, with and without NDEBUG defined.
42  */
43
44 #undef assert
45 #undef _assert
46
47 #ifdef NDEBUG
48 #define assert(e)       ((void)0)
49 #define _assert(e)      ((void)0)
50 #else
51 #define _assert(e)      assert(e)
52
53 #define assert(e)       ((e) ? (void)0 : __assert(__func__, __FILE__, \
54                             __LINE__, #e))
55 #endif /* NDEBUG */
56
57 #ifndef _ASSERT_H_
58 #define _ASSERT_H_
59
60 /*
61  * Static assertions.  In principle we could define static_assert for
62  * C++ older than C++11, but this breaks if _Static_assert is
63  * implemented as a macro.
64  *
65  * C++ template parameters may contain commas, even if not enclosed in
66  * parentheses, causing the _Static_assert macro to be invoked with more
67  * than two parameters.
68  */
69 #if __ISO_C_VISIBLE >= 2011 && !defined(__cplusplus)
70 #define static_assert   _Static_assert
71 #endif
72
73 __BEGIN_DECLS
74 void __assert(const char *, const char *, int, const char *) __dead2;
75 __END_DECLS
76
77 #endif /* !_ASSERT_H_ */