xref: /freebsd/lib/libc++/__assertion_handler (revision 7a6dacaca14b62ca4b74406814becb87a3fefac0)
1*7a6dacacSDimitry Andric// -*- C++ -*-
2*7a6dacacSDimitry Andric//===----------------------------------------------------------------------===//
3*7a6dacacSDimitry Andric//
4*7a6dacacSDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5*7a6dacacSDimitry Andric// See https://llvm.org/LICENSE.txt for license information.
6*7a6dacacSDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7*7a6dacacSDimitry Andric//
8*7a6dacacSDimitry Andric//===----------------------------------------------------------------------===//
9*7a6dacacSDimitry Andric
10*7a6dacacSDimitry Andric#ifndef _LIBCPP___ASSERTION_HANDLER
11*7a6dacacSDimitry Andric#define _LIBCPP___ASSERTION_HANDLER
12*7a6dacacSDimitry Andric
13*7a6dacacSDimitry Andric#include <__config>
14*7a6dacacSDimitry Andric#include <__verbose_abort>
15*7a6dacacSDimitry Andric
16*7a6dacacSDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
17*7a6dacacSDimitry Andric#  pragma GCC system_header
18*7a6dacacSDimitry Andric#endif
19*7a6dacacSDimitry Andric
20*7a6dacacSDimitry Andric#if _LIBCPP_HARDENING_MODE == _LIBCPP_HARDENING_MODE_DEBUG
21*7a6dacacSDimitry Andric
22*7a6dacacSDimitry Andric#  define _LIBCPP_ASSERTION_HANDLER(message) _LIBCPP_VERBOSE_ABORT("%s", message)
23*7a6dacacSDimitry Andric
24*7a6dacacSDimitry Andric#else
25*7a6dacacSDimitry Andric
26*7a6dacacSDimitry Andric// TODO(hardening): use `__builtin_verbose_trap(message)` once that becomes available.
27*7a6dacacSDimitry Andric#  define _LIBCPP_ASSERTION_HANDLER(message) ((void)message, __builtin_trap())
28*7a6dacacSDimitry Andric
29*7a6dacacSDimitry Andric#endif // _LIBCPP_HARDENING_MODE == _LIBCPP_HARDENING_MODE_DEBUG
30*7a6dacacSDimitry Andric
31*7a6dacacSDimitry Andric#endif // _LIBCPP___ASSERTION_HANDLER
32