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 c704dca5f0084936b409044498dc598b84acd755..f35eadc4321378a994b7893ea8e467c0c9ae6226 100644 (file)
--- a/osfmk/kern/assert.h
+++ b/osfmk/kern/assert.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2000-2007 Apple Inc. All rights reserved.
+ * Copyright (c) 2000-2016 Apple Inc. All rights reserved.
  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  * 
@@ -73,29 +73,73 @@ __BEGIN_DECLS
 extern void    Assert(
        const char      *file,
        int             line,
-       const char      *expression);
+       const char      *expression) __attribute__((noinline));
 
-#if CONFIG_NO_PANIC_STRINGS
-#define Assert(file, line, ex) (Assert)("", line, "")
-#endif
+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
+
+#if    MACH_ASSERT
 
 #define assert(ex)  \
-       ((ex) ? (void)0 : Assert(__FILE__, __LINE__, # ex))
-#define        assert_static(x)        assert(x)
+       (__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
 
+#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
 
-#else  /* MACH_ASSERT */
+#else                          /* APPLE_KEXT_ASSERTIONS && !XNU_KERNEL_PRIVATE */
 
 #define assert(ex) ((void)0)
-#define assert_static(ex) do {} while (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_ */