]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - libstdc++-v3/libsupc++/exception_ptr.h
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / libsupc++ / exception_ptr.h
index bbf8f85d47b86cca964ba9bac31ba0a5c024e18a..fb38a3d203fe5833f7164d2a4e11584c00d11fdb 100644 (file)
@@ -1,6 +1,6 @@
 // Exception Handling support header (exception_ptr class) for -*- C++ -*-
 
-// Copyright (C) 2008-2013 Free Software Foundation, Inc.
+// Copyright (C) 2008-2020 Free Software Foundation, Inc.
 //
 // This file is part of GCC.
 //
 
 #include <bits/c++config.h>
 #include <bits/exception_defines.h>
-
-#if ATOMIC_INT_LOCK_FREE < 2
-#  error This platform does not support exception propagation.
-#endif
+#include <bits/cxxabi_init_exception.h>
+#include <typeinfo>
+#include <new>
 
 extern "C++" {
 
@@ -50,6 +49,7 @@ namespace std
    * @addtogroup exceptions
    * @{
    */
+
   namespace __exception_ptr
   {
     class exception_ptr;
@@ -63,11 +63,16 @@ namespace std
    */
   exception_ptr current_exception() _GLIBCXX_USE_NOEXCEPT;
 
+  template<typename _Ex>
+  exception_ptr make_exception_ptr(_Ex) _GLIBCXX_USE_NOEXCEPT;
+
   /// Throw the object pointed to by the exception_ptr.
   void rethrow_exception(exception_ptr) __attribute__ ((__noreturn__));
 
   namespace __exception_ptr
   {
+    using std::rethrow_exception;
+
     /**
      *  @brief An opaque pointer to an arbitrary exception.
      *  @ingroup exceptions
@@ -85,6 +90,8 @@ namespace std
 
       friend exception_ptr std::current_exception() _GLIBCXX_USE_NOEXCEPT;
       friend void std::rethrow_exception(exception_ptr);
+      template<typename _Ex>
+      friend exception_ptr std::make_exception_ptr(_Ex) _GLIBCXX_USE_NOEXCEPT;
 
     public:
       exception_ptr() _GLIBCXX_USE_NOEXCEPT;
@@ -148,6 +155,8 @@ namespace std
        __attribute__ ((__pure__));
     };
 
+    /// @relates exception_ptr @{
+
     bool 
     operator==(const exception_ptr&, const exception_ptr&)
       _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__));
@@ -160,34 +169,51 @@ namespace std
     swap(exception_ptr& __lhs, exception_ptr& __rhs)
     { __lhs.swap(__rhs); }
 
-  } // namespace __exception_ptr
+    // @}
+
+    /// @cond undocumented
+    template<typename _Ex>
+      inline void
+      __dest_thunk(void* __x)
+      { static_cast<_Ex*>(__x)->~_Ex(); }
+    /// @endcond
 
+  } // namespace __exception_ptr
 
   /// Obtain an exception_ptr pointing to a copy of the supplied object.
   template<typename _Ex>
     exception_ptr 
-    copy_exception(_Ex __ex) _GLIBCXX_USE_NOEXCEPT
+    make_exception_ptr(_Ex __ex) _GLIBCXX_USE_NOEXCEPT
     {
-      __try
+#if __cpp_exceptions && __cpp_rtti && !_GLIBCXX_HAVE_CDTOR_CALLABI
+      void* __e = __cxxabiv1::__cxa_allocate_exception(sizeof(_Ex));
+      (void) __cxxabiv1::__cxa_init_primary_exception(
+         __e, const_cast<std::type_info*>(&typeid(__ex)),
+         __exception_ptr::__dest_thunk<_Ex>);
+      try
        {
-#ifdef __EXCEPTIONS
-         throw __ex;
-#endif
+          ::new (__e) _Ex(__ex);
+          return exception_ptr(__e);
        }
-      __catch(...)
+      catch(...)
        {
+         __cxxabiv1::__cxa_free_exception(__e);
          return current_exception();
        }
+#elif __cpp_exceptions
+      try
+       {
+          throw __ex;
+       }
+      catch(...)
+       {
+         return current_exception();
+       }
+#else // no RTTI and no exceptions
+      return exception_ptr();
+#endif
     }
 
-  // _GLIBCXX_RESOLVE_LIB_DEFECTS
-  // 1130. copy_exception name misleading
-  /// Obtain an exception_ptr pointing to a copy of the supplied object.
-  template<typename _Ex>
-    exception_ptr 
-    make_exception_ptr(_Ex __ex) _GLIBCXX_USE_NOEXCEPT
-    { return std::copy_exception<_Ex>(__ex); }
-
   // @} group exceptions
 } // namespace std