Loading...
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 | /* * Copyright (c) 2000-2016 Apple Inc. All rights reserved. * * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ * * This file contains Original Code and/or Modifications of Original Code * as defined in and that are subject to the Apple Public Source License * Version 2.0 (the 'License'). You may not use this file except in * compliance with the License. The rights granted to you under the License * may not be used to create, or enable the creation or redistribution of, * unlawful or unlicensed copies of an Apple operating system, or to * circumvent, violate, or enable the circumvention or violation of, any * terms of an Apple operating system software license agreement. * * Please obtain a copy of the License at * http://www.opensource.apple.com/apsl/ and read it before using this file. * * The Original Code and all software distributed under the License are * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. * Please see the License for the specific language governing rights and * limitations under the License. * * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ */ /* * @OSF_COPYRIGHT@ */ /* * Mach Operating System * Copyright (c) 1991,1990,1989,1988,1987 Carnegie Mellon University * All Rights Reserved. * * Permission to use, copy, modify and distribute this software and its * documentation is hereby granted, provided that both the copyright * notice and this permission notice appear in all copies of the * software, derivative works or modified versions, and any portions * thereof, and that both notices appear in supporting documentation. * * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. * * Carnegie Mellon requests users of this software to return to * * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU * School of Computer Science * Carnegie Mellon University * Pittsburgh PA 15213-3890 * * any improvements or extensions that they make and grant Carnegie Mellon * the rights to redistribute these changes. */ /* */ #ifndef _KERN_ASSERT_H_ #define _KERN_ASSERT_H_ /* assert.h 4.2 85/01/21 */ #include <kern/macro_help.h> #include <sys/cdefs.h> #ifdef MACH_KERNEL_PRIVATE #include <mach_assert.h> #endif __BEGIN_DECLS /* Assert error */ #if !CONFIG_NONFATAL_ASSERTS __abortlike #endif extern void Assert( const char *file, int line, const char *expression) __attribute__((noinline)); extern int kext_assertions_enable; #ifndef __FILE_NAME__ #define __FILE_NAME__ __FILE__ #endif #define __Panic(fmt, args...) (panic)(fmt, ##args) __END_DECLS #ifndef APPLE_KEXT_ASSERTIONS #define APPLE_KEXT_ASSERTIONS 0 #endif #if MACH_ASSERT #define assert(ex) \ (__builtin_expect(!!((ex)), 1L) ? (void)0 : Assert(__FILE_NAME__, __LINE__, # ex)) #define assertf(ex, fmt, args...) \ (__builtin_expect(!!((ex)), 1L) ? (void)0 : __Panic("%s:%d Assertion failed: %s : " fmt, __FILE_NAME__, __LINE__, # ex, ##args)) /* * Each of the following three macros takes three arguments instead of one for * the assertion. The suffixes, 's', u' and 'p' indicate the type of arguments * expected: 'signed', 'unsigned' or 'pointer' respectively. * * assert(a > b) -> file.c:123 Assertion failed: a > b * assert3u(a, >, b) -> file.c:124 Assertion failed: a > b (1 >= 10) * */ #define assert3u(a, op, b) \ do { \ const unsigned long long a_ = (a); \ const unsigned long long b_ = (b); \ \ if (__builtin_expect(!(a_ op b_), 0L)) { \ __Panic("%s:%d Assertion failed: %s (0x%llx %s 0x%llx)", \ __FILE_NAME__, __LINE__, #a " " #op " " #b, a_, #op, b_); \ } \ } while (0) #define assert3s(a, op, b) \ do { \ const signed long long a_ = (a); \ const signed long long b_ = (b); \ \ if (__builtin_expect(!(a_ op b_), 0L)) { \ __Panic("%s:%d Assertion failed: %s (0x%llx %s 0x%llx)", \ __FILE_NAME__, __LINE__, #a " " #op " " #b, a_, #op, b_); \ } \ } while (0) #define assert3p(a, op, b) \ do { \ const void *a_ = (a); \ const void *b_ = (b); \ \ if (__builtin_expect(!(a_ op b_), 0L)) { \ __Panic("%s:%d Assertion failed: %s (0x%p %s 0x%p)", \ __FILE_NAME__, __LINE__, #a " " #op " " #b, a_, #op, b_); \ } \ } while (0) #define __assert_only #elif APPLE_KEXT_ASSERTIONS && !XNU_KERNEL_PRIVATE /* MACH_ASSERT */ #define assert(ex) \ (__builtin_expect(!!(((!kext_assertions_enable) || (ex))), 1L) ? (void)0 : Assert(__FILE_NAME__, __LINE__, # ex)) #define assertf(ex, fmt, args...) \ (__builtin_expect(!!(((!kext_assertions_enable) || (ex))), 1L) ? (void)0 : __Panic("%s:%d Assertion failed: %s : " fmt, __FILE_NAME__, __LINE__, # ex, ##args)) #define __assert_only #else /* APPLE_KEXT_ASSERTIONS && !XNU_KERNEL_PRIVATE */ #define assert(ex) ((void)0) #define assertf(ex, fmt, args...) ((void)0) #define __assert_only __unused #define assert3s(a, op, b) ((void)0) #define assert3u(a, op, b) ((void)0) #define assert3p(a, op, b) ((void)0) #endif /* MACH_ASSERT */ /* * static_assert is a C11 / C++0x / C++1z feature. * * Beginning with C++0x, it is a keyword and should not be #defined * * static_assert is not disabled by MACH_ASSERT or NDEBUG */ #ifndef __cplusplus #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L #define _STATIC_ASSERT_OVERLOADED_MACRO(_1, _2, NAME, ...) NAME #define static_assert(...) _STATIC_ASSERT_OVERLOADED_MACRO(__VA_ARGS__, _static_assert_2_args, _static_assert_1_arg)(__VA_ARGS__) #define _static_assert_2_args(ex, str) _Static_assert((ex), str) #define _static_assert_1_arg(ex) _Static_assert((ex), #ex) #endif #else #if !defined(__cpp_static_assert) /* pre C++11 support */ #define _STATIC_ASSERT_OVERLOADED_MACRO(_1, _2, NAME, ...) NAME #define static_assert(...) _STATIC_ASSERT_OVERLOADED_MACRO(__VA_ARGS__, _static_assert_2_args, _static_assert_1_arg)(__VA_ARGS__) #define _static_assert_2_args(ex, str) _Static_assert((ex), str) #define _static_assert_1_arg(ex) _Static_assert((ex), #ex) #else /* * C++11 only supports the 2 argument version of static_assert. * C++1z has added support for the 1 argument version. */ #define _static_assert_1_arg(ex) static_assert((ex), #ex) #endif #endif #endif /* _KERN_ASSERT_H_ */ |