xref: /freebsd/contrib/llvm-project/libcxx/include/__utility/unreachable.h (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
1*81ad6265SDimitry Andric //===----------------------------------------------------------------------===//
2*81ad6265SDimitry Andric //
3*81ad6265SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*81ad6265SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*81ad6265SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*81ad6265SDimitry Andric //
7*81ad6265SDimitry Andric //===----------------------------------------------------------------------===//
8*81ad6265SDimitry Andric 
9*81ad6265SDimitry Andric #ifndef _LIBCPP___UTILITY_UNREACHABLE_H
10*81ad6265SDimitry Andric #define _LIBCPP___UTILITY_UNREACHABLE_H
11*81ad6265SDimitry Andric 
12*81ad6265SDimitry Andric #include <__config>
13*81ad6265SDimitry Andric #include <cstdlib>
14*81ad6265SDimitry Andric 
15*81ad6265SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
16*81ad6265SDimitry Andric #  pragma GCC system_header
17*81ad6265SDimitry Andric #endif
18*81ad6265SDimitry Andric 
19*81ad6265SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
20*81ad6265SDimitry Andric 
21*81ad6265SDimitry Andric _LIBCPP_NORETURN _LIBCPP_HIDE_FROM_ABI inline void __libcpp_unreachable()
22*81ad6265SDimitry Andric {
23*81ad6265SDimitry Andric #if __has_builtin(__builtin_unreachable)
24*81ad6265SDimitry Andric   __builtin_unreachable();
25*81ad6265SDimitry Andric #else
26*81ad6265SDimitry Andric   std::abort();
27*81ad6265SDimitry Andric #endif
28*81ad6265SDimitry Andric }
29*81ad6265SDimitry Andric 
30*81ad6265SDimitry Andric #if _LIBCPP_STD_VER > 20
31*81ad6265SDimitry Andric 
32*81ad6265SDimitry Andric [[noreturn]] _LIBCPP_HIDE_FROM_ABI inline void unreachable() { __libcpp_unreachable(); }
33*81ad6265SDimitry Andric 
34*81ad6265SDimitry Andric #endif // _LIBCPP_STD_VER > 20
35*81ad6265SDimitry Andric 
36*81ad6265SDimitry Andric _LIBCPP_END_NAMESPACE_STD
37*81ad6265SDimitry Andric 
38*81ad6265SDimitry Andric #endif
39