2018-11-30 Richard Biener <rguenther@suse.de>
[official-gcc.git] / libstdc++-v3 / libsupc++ / exception
blobe965961c0d82e10845e2da90222a7cfa4acb2189
1 // Exception Handling support header for -*- C++ -*-
3 // Copyright (C) 1995-2018 Free Software Foundation, Inc.
4 //
5 // This file is part of GCC.
6 //
7 // GCC is free software; you can redistribute it and/or modify
8 // it under the terms of the GNU General Public License as published by
9 // the Free Software Foundation; either version 3, or (at your option)
10 // any later version.
12 // GCC is distributed in the hope that it will be useful,
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.
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.
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/>.
26 /** @file exception
27  *  This is a Standard C++ Library header.
28  */
30 #ifndef __EXCEPTION__
31 #define __EXCEPTION__
33 #pragma GCC system_header
35 #pragma GCC visibility push(default)
37 #include <bits/c++config.h>
38 #include <bits/exception.h>
40 extern "C++" {
42 namespace std
44   /** If an %exception is thrown which is not listed in a function's
45    *  %exception specification, one of these may be thrown.  */
46   class bad_exception : public exception
47   {
48   public:
49     bad_exception() _GLIBCXX_USE_NOEXCEPT { }
51     // This declaration is not useless:
52     // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
53     virtual ~bad_exception() _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT;
55     // See comment in eh_exception.cc.
56     virtual const char*
57     what() const _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_USE_NOEXCEPT;
58   };
60   /// If you write a replacement %terminate handler, it must be of this type.
61   typedef void (*terminate_handler) ();
63   /// If you write a replacement %unexpected handler, it must be of this type.
64   typedef void (*unexpected_handler) ();
66   /// Takes a new handler function as an argument, returns the old function.
67   terminate_handler set_terminate(terminate_handler) _GLIBCXX_USE_NOEXCEPT;
69 #if __cplusplus >= 201103L
70   /// Return the current terminate handler.
71   terminate_handler get_terminate() noexcept;
72 #endif
74   /** The runtime will call this function if %exception handling must be
75    *  abandoned for any reason.  It can also be called by the user.  */
76   void terminate() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__noreturn__));
78   /// Takes a new handler function as an argument, returns the old function.
79   unexpected_handler set_unexpected(unexpected_handler) _GLIBCXX_USE_NOEXCEPT;
81 #if __cplusplus >= 201103L
82   /// Return the current unexpected handler.
83   unexpected_handler get_unexpected() noexcept;
84 #endif
86   /** The runtime will call this function if an %exception is thrown which
87    *  violates the function's %exception specification.  */
88   void unexpected() __attribute__ ((__noreturn__));
90   /** [18.6.4]/1:  'Returns true after completing evaluation of a
91    *  throw-expression until either completing initialization of the
92    *  exception-declaration in the matching handler or entering @c unexpected()
93    *  due to the throw; or after entering @c terminate() for any reason
94    *  other than an explicit call to @c terminate().  [Note: This includes
95    *  stack unwinding [15.2].  end note]'
96    *
97    *  2: 'When @c uncaught_exception() is true, throwing an
98    *  %exception can result in a call of @c terminate()
99    *  (15.5.1).'
100    */
101   _GLIBCXX17_DEPRECATED
102   bool uncaught_exception() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__));
104 #if __cplusplus > 201402L || !defined(__STRICT_ANSI__) // c++17 or gnu++98
105 #define __cpp_lib_uncaught_exceptions 201411
106   /// The number of uncaught exceptions.
107   int uncaught_exceptions() _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__));
108 #endif
110   // @} group exceptions
111 } // namespace std
113 namespace __gnu_cxx
115 _GLIBCXX_BEGIN_NAMESPACE_VERSION
117   /**
118    *  @brief A replacement for the standard terminate_handler which
119    *  prints more information about the terminating exception (if any)
120    *  on stderr.
121    *
122    *  @ingroup exceptions
123    *
124    *  Call
125    *   @code
126    *     std::set_terminate(__gnu_cxx::__verbose_terminate_handler)
127    *   @endcode
128    *  to use.  For more info, see
129    *  http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt02ch06s02.html
130    *
131    *  In 3.4 and later, this is on by default.
132    */
133   void __verbose_terminate_handler();
135 _GLIBCXX_END_NAMESPACE_VERSION
136 } // namespace
138 } // extern "C++"
140 #pragma GCC visibility pop
142 #if (__cplusplus >= 201103L)
143 #include <bits/exception_ptr.h>
144 #include <bits/nested_exception.h>
145 #endif
147 #endif