1*81ad6265SDimitry Andric// -*- C++ -*- 2*81ad6265SDimitry Andric//===----------------------------------------------------------------------===// 3*81ad6265SDimitry Andric// 4*81ad6265SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5*81ad6265SDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 6*81ad6265SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7*81ad6265SDimitry Andric// 8*81ad6265SDimitry Andric//===----------------------------------------------------------------------===// 9*81ad6265SDimitry Andric 10*81ad6265SDimitry Andric#ifndef _LIBCPP___ASSERT 11*81ad6265SDimitry Andric#define _LIBCPP___ASSERT 12*81ad6265SDimitry Andric 13*81ad6265SDimitry Andric#include <__availability> 14*81ad6265SDimitry Andric#include <__config> 15*81ad6265SDimitry Andric 16*81ad6265SDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 17*81ad6265SDimitry Andric# pragma GCC system_header 18*81ad6265SDimitry Andric#endif 19*81ad6265SDimitry Andric 20*81ad6265SDimitry Andric// This is for backwards compatibility with code that might have been enabling 21*81ad6265SDimitry Andric// assertions through the Debug mode previously. 22*81ad6265SDimitry Andric// TODO: In LLVM 16, make it an error to define _LIBCPP_DEBUG 23*81ad6265SDimitry Andric#if defined(_LIBCPP_DEBUG) 24*81ad6265SDimitry Andric# ifndef _LIBCPP_ENABLE_ASSERTIONS 25*81ad6265SDimitry Andric# define _LIBCPP_ENABLE_ASSERTIONS 1 26*81ad6265SDimitry Andric# endif 27*81ad6265SDimitry Andric#endif 28*81ad6265SDimitry Andric 29*81ad6265SDimitry Andric// Automatically enable assertions when the debug mode is enabled. 30*81ad6265SDimitry Andric#if defined(_LIBCPP_ENABLE_DEBUG_MODE) 31*81ad6265SDimitry Andric# ifndef _LIBCPP_ENABLE_ASSERTIONS 32*81ad6265SDimitry Andric# define _LIBCPP_ENABLE_ASSERTIONS 1 33*81ad6265SDimitry Andric# endif 34*81ad6265SDimitry Andric#endif 35*81ad6265SDimitry Andric 36*81ad6265SDimitry Andric#ifndef _LIBCPP_ENABLE_ASSERTIONS 37*81ad6265SDimitry Andric# define _LIBCPP_ENABLE_ASSERTIONS _LIBCPP_ENABLE_ASSERTIONS_DEFAULT 38*81ad6265SDimitry Andric#endif 39*81ad6265SDimitry Andric 40*81ad6265SDimitry Andric#if _LIBCPP_ENABLE_ASSERTIONS != 0 && _LIBCPP_ENABLE_ASSERTIONS != 1 41*81ad6265SDimitry Andric# error "_LIBCPP_ENABLE_ASSERTIONS must be set to 0 or 1" 42*81ad6265SDimitry Andric#endif 43*81ad6265SDimitry Andric 44*81ad6265SDimitry Andric#if _LIBCPP_ENABLE_ASSERTIONS 45*81ad6265SDimitry Andric# define _LIBCPP_ASSERT(expression, message) \ 46*81ad6265SDimitry Andric (__builtin_expect(static_cast<bool>(expression), 1) ? \ 47*81ad6265SDimitry Andric (void)0 : \ 48*81ad6265SDimitry Andric ::std::__libcpp_assertion_handler(__FILE__, __LINE__, #expression, message)) 49*81ad6265SDimitry Andric#elif !defined(_LIBCPP_ASSERTIONS_DISABLE_ASSUME) && __has_builtin(__builtin_assume) 50*81ad6265SDimitry Andric# define _LIBCPP_ASSERT(expression, message) \ 51*81ad6265SDimitry Andric (_LIBCPP_DIAGNOSTIC_PUSH \ 52*81ad6265SDimitry Andric _LIBCPP_CLANG_DIAGNOSTIC_IGNORED("-Wassume") \ 53*81ad6265SDimitry Andric __builtin_assume(static_cast<bool>(expression)) \ 54*81ad6265SDimitry Andric _LIBCPP_DIAGNOSTIC_POP) 55*81ad6265SDimitry Andric#else 56*81ad6265SDimitry Andric# define _LIBCPP_ASSERT(expression, message) ((void)0) 57*81ad6265SDimitry Andric#endif 58*81ad6265SDimitry Andric 59*81ad6265SDimitry Andric_LIBCPP_BEGIN_NAMESPACE_STD 60*81ad6265SDimitry Andric 61*81ad6265SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_ASSERTION_HANDLER 62*81ad6265SDimitry Andricvoid __libcpp_assertion_handler(char const* __file, int __line, char const* __expression, char const* __message); 63*81ad6265SDimitry Andric 64*81ad6265SDimitry Andric_LIBCPP_END_NAMESPACE_STD 65*81ad6265SDimitry Andric 66*81ad6265SDimitry Andric#endif // _LIBCPP___ASSERT 67