1 /* $NetBSD: assert.h,v 1.26 2023/09/12 22:08:24 rillig Exp $ */ 2 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 * @(#)assert.h 8.2 (Berkeley) 1/21/94 37 */ 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 #include <sys/cdefs.h> 45 #include <sys/featuretest.h> 46 #include <sys/null.h> 47 48 #undef assert 49 50 #ifdef NDEBUG 51 # define assert(e) (__static_cast(void,0)) 52 #else /* !NDEBUG */ 53 # if __STDC__ 54 # define assert(e) \ 55 ((e) ? __static_cast(void,0) : __assert13(__FILE__, __LINE__, \ 56 __assert_function__, #e)) 57 # else /* PCC */ 58 # define assert(e) \ 59 ((e) ? __static_cast(void,0) : __assert13(__FILE__, __LINE__, \ 60 __assert_function__, "e")) 61 # endif /* !__STDC__ */ 62 #endif /* NDEBUG */ 63 64 #undef _DIAGASSERT 65 #if !defined(_DIAGNOSTIC) 66 # define _DIAGASSERT(e) (__static_cast(void,0)) 67 #else /* _DIAGNOSTIC */ 68 # if __STDC__ 69 # define _DIAGASSERT(e) \ 70 ((e) ? __static_cast(void,0) : __diagassert13(__FILE__, __LINE__, \ 71 __assert_function__, #e)) 72 # else /* !__STDC__ */ 73 # define _DIAGASSERT(e) \ 74 ((e) ? __static_cast(void,0) : __diagassert13(__FILE__, __LINE__, \ 75 __assert_function__, "e")) 76 # endif 77 #endif /* _DIAGNOSTIC */ 78 79 80 #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L 81 #define __assert_function__ __func__ 82 #elif __GNUC_PREREQ__(2, 6) 83 #define __assert_function__ __PRETTY_FUNCTION__ 84 #else 85 #define __assert_function__ (__static_cast(const void *,0)) 86 #endif 87 88 #ifndef __ASSERT_DECLARED 89 #define __ASSERT_DECLARED 90 __BEGIN_DECLS 91 __dead void __assert(const char *, int, const char *); 92 __dead void __assert13(const char *, int, const char *, const char *); 93 void __diagassert(const char *, int, const char *); 94 void __diagassert13(const char *, int, const char *, const char *); 95 __END_DECLS 96 #endif /* __ASSERT_DECLARED */ 97 98 #if defined(_ISOC11_SOURCE) || (__STDC_VERSION__ - 0) >= 201101L 99 #ifndef static_assert 100 #define static_assert _Static_assert 101 #endif /* static_assert */ 102 #endif 103