]>
Commit | Line | Data |
---|---|---|
6305f20a | 1 | // Exception Handling support header for -*- C++ -*- |
d34786e3 | 2 | |
818ab71a | 3 | // Copyright (C) 1995-2016 Free Software Foundation, Inc. |
e2c09482 | 4 | // |
cbecceb9 | 5 | // This file is part of GCC. |
6305f20a | 6 | // |
cbecceb9 | 7 | // GCC is free software; you can redistribute it and/or modify |
6305f20a | 8 | // it under the terms of the GNU General Public License as published by |
748086b7 | 9 | // the Free Software Foundation; either version 3, or (at your option) |
6305f20a | 10 | // any later version. |
4cdc8761 | 11 | // |
cbecceb9 | 12 | // GCC is distributed in the hope that it will be useful, |
6305f20a BK |
13 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
14 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | // GNU General Public License for more details. | |
4cdc8761 | 16 | // |
748086b7 JJ |
17 | // Under Section 7 of GPL version 3, you are granted additional |
18 | // permissions described in the GCC Runtime Library Exception, version | |
19 | // 3.1, as published by the Free Software Foundation. | |
20 | ||
21 | // You should have received a copy of the GNU General Public License and | |
22 | // a copy of the GCC Runtime Library Exception along with this program; | |
23 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
24 | // <http://www.gnu.org/licenses/>. | |
6305f20a | 25 | |
669f7a03 | 26 | /** @file exception |
78a53887 | 27 | * This is a Standard C++ Library header. |
669f7a03 PE |
28 | */ |
29 | ||
6305f20a BK |
30 | #ifndef __EXCEPTION__ |
31 | #define __EXCEPTION__ | |
32 | ||
584fd146 PC |
33 | #pragma GCC system_header |
34 | ||
723acbd5 MM |
35 | #pragma GCC visibility push(default) |
36 | ||
3cbc7af0 | 37 | #include <bits/c++config.h> |
a152e96f | 38 | #include <bits/atomic_lockfree_defines.h> |
3cbc7af0 | 39 | |
6305f20a BK |
40 | extern "C++" { |
41 | ||
4cdc8761 | 42 | namespace std |
d34786e3 | 43 | { |
5b9daa7e BK |
44 | /** |
45 | * @defgroup exceptions Exceptions | |
46 | * @ingroup diagnostics | |
47 | * | |
48 | * Classes and functions for reporting errors via exception classes. | |
49 | * @{ | |
50 | */ | |
51 | ||
aa2d5ba2 PE |
52 | /** |
53 | * @brief Base class for all library exceptions. | |
54 | * | |
55 | * This is the base class for all exceptions thrown by the standard | |
669f7a03 PE |
56 | * library, and by certain language expressions. You are free to derive |
57 | * your own %exception classes, or use a different hierarchy, or to | |
58 | * throw non-class data (e.g., fundamental types). | |
669f7a03 | 59 | */ |
4cdc8761 | 60 | class exception |
d34786e3 BK |
61 | { |
62 | public: | |
8535715d | 63 | exception() _GLIBCXX_USE_NOEXCEPT { } |
a04d5fc9 | 64 | virtual ~exception() _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT; |
949d9ae1 | 65 | |
669f7a03 PE |
66 | /** Returns a C-style character string describing the general cause |
67 | * of the current error. */ | |
a04d5fc9 TR |
68 | virtual const char* |
69 | what() const _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT; | |
d34786e3 | 70 | }; |
6305f20a | 71 | |
669f7a03 PE |
72 | /** If an %exception is thrown which is not listed in a function's |
73 | * %exception specification, one of these may be thrown. */ | |
4cdc8761 | 74 | class bad_exception : public exception |
d34786e3 BK |
75 | { |
76 | public: | |
8535715d | 77 | bad_exception() _GLIBCXX_USE_NOEXCEPT { } |
949d9ae1 | 78 | |
e05cd3dd PC |
79 | // This declaration is not useless: |
80 | // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118 | |
a04d5fc9 | 81 | virtual ~bad_exception() _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT; |
949d9ae1 | 82 | |
c3f0f556 | 83 | // See comment in eh_exception.cc. |
a04d5fc9 TR |
84 | virtual const char* |
85 | what() const _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT; | |
d34786e3 | 86 | }; |
6305f20a | 87 | |
669f7a03 | 88 | /// If you write a replacement %terminate handler, it must be of this type. |
d34786e3 | 89 | typedef void (*terminate_handler) (); |
949d9ae1 | 90 | |
669f7a03 | 91 | /// If you write a replacement %unexpected handler, it must be of this type. |
d34786e3 | 92 | typedef void (*unexpected_handler) (); |
6305f20a | 93 | |
669f7a03 | 94 | /// Takes a new handler function as an argument, returns the old function. |
8535715d | 95 | terminate_handler set_terminate(terminate_handler) _GLIBCXX_USE_NOEXCEPT; |
949d9ae1 | 96 | |
dca77a8a JW |
97 | #if __cplusplus >= 201103L |
98 | /// Return the current terminate handler. | |
99 | terminate_handler get_terminate() noexcept; | |
100 | #endif | |
101 | ||
669f7a03 | 102 | /** The runtime will call this function if %exception handling must be |
bad38757 | 103 | * abandoned for any reason. It can also be called by the user. */ |
8535715d | 104 | void terminate() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__noreturn__)); |
6305f20a | 105 | |
669f7a03 | 106 | /// Takes a new handler function as an argument, returns the old function. |
8535715d | 107 | unexpected_handler set_unexpected(unexpected_handler) _GLIBCXX_USE_NOEXCEPT; |
949d9ae1 | 108 | |
dca77a8a JW |
109 | #if __cplusplus >= 201103L |
110 | /// Return the current unexpected handler. | |
111 | unexpected_handler get_unexpected() noexcept; | |
112 | #endif | |
113 | ||
669f7a03 PE |
114 | /** The runtime will call this function if an %exception is thrown which |
115 | * violates the function's %exception specification. */ | |
d34786e3 | 116 | void unexpected() __attribute__ ((__noreturn__)); |
6305f20a | 117 | |
8e32aa11 | 118 | /** [18.6.4]/1: 'Returns true after completing evaluation of a |
669f7a03 PE |
119 | * throw-expression until either completing initialization of the |
120 | * exception-declaration in the matching handler or entering @c unexpected() | |
121 | * due to the throw; or after entering @c terminate() for any reason | |
122 | * other than an explicit call to @c terminate(). [Note: This includes | |
8e32aa11 | 123 | * stack unwinding [15.2]. end note]' |
669f7a03 | 124 | * |
8e32aa11 BK |
125 | * 2: 'When @c uncaught_exception() is true, throwing an |
126 | * %exception can result in a call of @c terminate() | |
127 | * (15.5.1).' | |
669f7a03 | 128 | */ |
8535715d | 129 | bool uncaught_exception() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__)); |
30a333ce | 130 | |
196e0493 | 131 | #if __cplusplus > 201402L || !defined(__STRICT_ANSI__) // c++1z or gnu++98 |
03a16cc4 | 132 | #define __cpp_lib_uncaught_exceptions 201411 |
196e0493 | 133 | /// The number of uncaught exceptions. |
03a16cc4 VV |
134 | int uncaught_exceptions() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__)); |
135 | #endif | |
136 | ||
5b9daa7e | 137 | // @} group exceptions |
6305f20a BK |
138 | } // namespace std |
139 | ||
12ffa228 BK |
140 | namespace __gnu_cxx |
141 | { | |
142 | _GLIBCXX_BEGIN_NAMESPACE_VERSION | |
3cbc7af0 | 143 | |
4cdc8761 | 144 | /** |
5b9daa7e BK |
145 | * @brief A replacement for the standard terminate_handler which |
146 | * prints more information about the terminating exception (if any) | |
4cdc8761 | 147 | * on stderr. |
5b9daa7e BK |
148 | * |
149 | * @ingroup exceptions | |
150 | * | |
151 | * Call | |
152 | * @code | |
153 | * std::set_terminate(__gnu_cxx::__verbose_terminate_handler) | |
154 | * @endcode | |
155 | * to use. For more info, see | |
156 | * http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt02ch06s02.html | |
157 | * | |
158 | * In 3.4 and later, this is on by default. | |
159 | */ | |
160 | void __verbose_terminate_handler(); | |
3cbc7af0 | 161 | |
12ffa228 BK |
162 | _GLIBCXX_END_NAMESPACE_VERSION |
163 | } // namespace | |
4cdc8761 | 164 | |
6305f20a BK |
165 | } // extern "C++" |
166 | ||
723acbd5 MM |
167 | #pragma GCC visibility pop |
168 | ||
734f5023 | 169 | #if (__cplusplus >= 201103L) && (ATOMIC_INT_LOCK_FREE > 1) |
7c3e9502 BK |
170 | #include <bits/exception_ptr.h> |
171 | #include <bits/nested_exception.h> | |
30a333ce PC |
172 | #endif |
173 | ||
6305f20a | 174 | #endif |