xnu-4570.20.62.tar.gz

[apple/xnu.git] / osfmk / kern / assert.h

diff --git a/osfmk/kern/assert.h b/osfmk/kern/assert.h
index 436f3ee06a1086575e439dbc63aaf37c9cb73185..f35eadc4321378a994b7893ea8e467c0c9ae6226 100644 (file)
--- a/osfmk/kern/assert.h
+++ b/osfmk/kern/assert.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2000-2005 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2016 Apple Inc. All rights reserved.
  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  * 
@@ -71,26 +71,75 @@
 __BEGIN_DECLS
 /* Assert error */
 extern void    Assert(
-                       const char      *file,
-                       int             line,
-                       const char      *expression);
+       const char      *file,
+       int             line,
+       const char      *expression) __attribute__((noinline));
+
+extern int kext_assertions_enable;
+
+#define __Panic(fmt, args...) panic(fmt, ##args)
+
 __END_DECLS
 
-#if    MACH_ASSERT
+#ifndef APPLE_KEXT_ASSERTIONS
+#define APPLE_KEXT_ASSERTIONS  0
+#endif
 
-#define assert(ex)  \
-    ((ex) ? (void)0 : Assert(__FILE__, __LINE__, # ex))
-#define        assert_static(x)        assert(x)
+#if    MACH_ASSERT
 
+#define assert(ex)  \
+       (__builtin_expect(!!((ex)), 1L) ? (void)0 : Assert(__FILE__, __LINE__, # ex))
+#define assertf(ex, fmt, args...) \
+       (__builtin_expect(!!((ex)), 1L) ? (void)0 : __Panic("%s:%d Assertion failed: %s : " fmt, __FILE__, __LINE__, # ex, ##args))
 #define __assert_only
 
-#else  /* MACH_ASSERT */
+#elif APPLE_KEXT_ASSERTIONS && !XNU_KERNEL_PRIVATE     /* MACH_ASSERT */
+
+#define assert(ex)  \
+       (__builtin_expect(!!(((!kext_assertions_enable) || (ex))), 1L) ? (void)0 : Assert(__FILE__, __LINE__, # ex))
+#define assertf(ex, fmt, args...) \
+       (__builtin_expect(!!(((!kext_assertions_enable) || (ex))), 1L) ? (void)0 : __Panic("%s:%d Assertion failed: %s : " fmt, __FILE__, __LINE__, # ex, ##args))
+#define __assert_only
 
-#define assert(ex)             ((void)0)
-#define assert_static(ex)
+#else                          /* APPLE_KEXT_ASSERTIONS && !XNU_KERNEL_PRIVATE */
 
+#define assert(ex) ((void)0)
+#define assertf(ex, fmt, args...) ((void)0)
 #define __assert_only __unused
 
 #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_ */