// -*- 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___ASSERTION_HANDLER
#define _LIBCPP___ASSERTION_HANDLER

#include <__config>
#include <__verbose_abort>

#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
#  pragma GCC system_header
#endif

// Based on CHECK_WILL_STREAM() defined in base/check.h
#if defined(OFFICIAL_BUILD) && !defined(DCHECK_ALWAYS_ON)

_LIBCPP_BEGIN_NAMESPACE_STD

[[noreturn]] inline _LIBCPP_HIDE_FROM_ABI void __libcpp_hardening_failure() {
  __builtin_trap();
}

_LIBCPP_END_NAMESPACE_STD

// TODO(hardening): use `__builtin_verbose_trap(message)` once that becomes available.
#  define _LIBCPP_ASSERTION_HANDLER(message) ((void)message, __libcpp_hardening_failure())

#else

#  define _LIBCPP_ASSERTION_HANDLER(message) _LIBCPP_VERBOSE_ABORT("%s", message)

#endif // defined(NDEBUG) && defined(OFFICIAL_BUILD) && !defined(DCHECK_ALWAYS_ON) 

#endif // _LIBCPP___ASSERTION_HANDLER