12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- // -*- C++ -*-
- //===----------------------------------------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #ifndef _LIBCPP___ASSERT
- #define _LIBCPP___ASSERT
- #include <__availability>
- #include <__config>
- #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
- # pragma GCC system_header
- #endif
- // This is for backwards compatibility with code that might have been enabling
- // assertions through the Debug mode previously.
- // TODO: In LLVM 16, make it an error to define _LIBCPP_DEBUG
- #if defined(_LIBCPP_DEBUG)
- # ifndef _LIBCPP_ENABLE_ASSERTIONS
- # define _LIBCPP_ENABLE_ASSERTIONS 1
- # endif
- #endif
- // Automatically enable assertions when the debug mode is enabled.
- #if defined(_LIBCPP_ENABLE_DEBUG_MODE)
- # ifndef _LIBCPP_ENABLE_ASSERTIONS
- # define _LIBCPP_ENABLE_ASSERTIONS 1
- # endif
- #endif
- #ifndef _LIBCPP_ENABLE_ASSERTIONS
- # define _LIBCPP_ENABLE_ASSERTIONS _LIBCPP_ENABLE_ASSERTIONS_DEFAULT
- #endif
- #if _LIBCPP_ENABLE_ASSERTIONS != 0 && _LIBCPP_ENABLE_ASSERTIONS != 1
- # error "_LIBCPP_ENABLE_ASSERTIONS must be set to 0 or 1"
- #endif
- #if _LIBCPP_ENABLE_ASSERTIONS
- # define _LIBCPP_ASSERT(expression, message) \
- (__builtin_expect(static_cast<bool>(expression), 1) ? \
- (void)0 : \
- ::std::__libcpp_assertion_handler(__FILE__, __LINE__, #expression, message))
- // Disable Clang builtins which nvcc does not understand
- #elif !defined(_LIBCPP_ASSERTIONS_DISABLE_ASSUME) && __has_builtin(__builtin_assume) && !defined(__CUDACC__)
- # define _LIBCPP_ASSERT(expression, message) \
- (_LIBCPP_DIAGNOSTIC_PUSH \
- _LIBCPP_CLANG_DIAGNOSTIC_IGNORED("-Wassume") \
- __builtin_assume(static_cast<bool>(expression)) \
- _LIBCPP_DIAGNOSTIC_POP)
- #else
- # define _LIBCPP_ASSERT(expression, message) ((void)0)
- #endif
- _LIBCPP_BEGIN_NAMESPACE_STD
- _LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_ASSERTION_HANDLER
- void __libcpp_assertion_handler(char const* __file, int __line, char const* __expression, char const* __message);
- _LIBCPP_END_NAMESPACE_STD
- #endif // _LIBCPP___ASSERT
|