Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
terminate.hpp
Go to the documentation of this file.
1// Copyright 2026, Toyota Motor Corporation
2//
3// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4
5#ifndef INCLUDE_GUARD_ARENE_BASE_STDLIB_TERMINATE_HPP_
6#define INCLUDE_GUARD_ARENE_BASE_STDLIB_TERMINATE_HPP_
7
8// parasoft-begin-suppress CERT_CPP-DCL58-a-2 "Part of a standard library implementation"
9// parasoft-begin-suppress AUTOSAR-A17_6_1-a-2 "Part of a standard library implementation"
10
11// IWYU pragma: friend "stdlib/.*"
12
13namespace std {
14
15/// @brief function called when exception handling fails
16///
17/// @note This is an incomplete implementation of @c std::terminate that is only
18/// enough to allow use of @c //arene/base:contracts within @c //stdlib.
19///
20[[noreturn]] void terminate() noexcept;
21
22} // namespace std
23
24#endif // INCLUDE_GUARD_ARENE_BASE_STDLIB_TERMINATE_HPP_
std::terminate
void terminate() noexcept
function called when exception handling fails
Definition terminate.cpp:26
std::hash<::arene::base::result< void, E > >::operator()
constexpr auto operator()(::arene::base::result< void, E > const &value) const noexcept(noexcept(hash< E >{}(std::declval< E const & >()))) -> std::size_t
Calculate the hash of a result.
Definition result.hpp:1827