2 //===----------------------------------------------------------------------===//
4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5 // See https://llvm.org/LICENSE.txt for license information.
6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8 //===----------------------------------------------------------------------===//
10 #ifndef _LIBCPP___VERBOSE_ABORT
11 #define _LIBCPP___VERBOSE_ABORT
13 #include <__availability>
16 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
17 # pragma GCC system_header
20 _LIBCPP_BEGIN_NAMESPACE_STD
22 // This function should never be called directly from the code -- it should only be called through
23 // the _LIBCPP_VERBOSE_ABORT macro.
24 _LIBCPP_NORETURN _LIBCPP_AVAILABILITY_VERBOSE_ABORT _LIBCPP_OVERRIDABLE_FUNC_VIS
25 _LIBCPP_ATTRIBUTE_FORMAT(__printf__, 1, 2) void __libcpp_verbose_abort(const char* __format, ...);
27 // _LIBCPP_VERBOSE_ABORT(format, args...)
29 // This macro is used to abort the program abnormally while providing additional diagnostic information.
31 // The first argument is a printf-style format string, and the remaining arguments are values to format
32 // into the format-string. This macro can be customized by users to provide fine-grained control over
33 // how verbose termination is triggered.
35 // If the user does not supply their own version of the _LIBCPP_VERBOSE_ABORT macro, we pick the default
36 // behavior based on whether we know the built library we're running against provides support for the
37 // verbose termination handler or not. If it does, we call it. If it doesn't, we call __builtin_abort to
38 // make sure that the program terminates but without taking any complex dependencies in this header.
39 #if !defined(_LIBCPP_VERBOSE_ABORT)
41 # if !_LIBCPP_AVAILABILITY_HAS_VERBOSE_ABORT
42 // The decltype is there to suppress -Wunused warnings in this configuration.
43 void __use(const char*, ...);
44 # define _LIBCPP_VERBOSE_ABORT(...) (decltype(::std::__use(__VA_ARGS__))(), __builtin_abort())
46 # define _LIBCPP_VERBOSE_ABORT(...) ::std::__libcpp_verbose_abort(__VA_ARGS__)
49 #endif // !defined(_LIBCPP_VERBOSE_ABORT)
51 _LIBCPP_END_NAMESPACE_STD
53 #endif // _LIBCPP___VERBOSE_ABORT