From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2181) id 730FF384A029; Thu, 5 Nov 2020 18:01:36 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 730FF384A029 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Jonathan Wakely To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r11-4749] libstdc++: Fix multiple definitions of std::exception_ptr functions [PR 97729] X-Act-Checkin: gcc X-Git-Author: Jonathan Wakely X-Git-Refname: refs/heads/master X-Git-Oldrev: 50b840ac5e1d6534e345c3fee9a97ae45ced6bc7 X-Git-Newrev: 710508c7b1a2c8e1d75d4c4f1ac79473dbf2b2bb Message-Id: <20201105180136.730FF384A029@sourceware.org> Date: Thu, 5 Nov 2020 18:01:36 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 05 Nov 2020 18:01:36 -0000 https://gcc.gnu.org/g:710508c7b1a2c8e1d75d4c4f1ac79473dbf2b2bb commit r11-4749-g710508c7b1a2c8e1d75d4c4f1ac79473dbf2b2bb Author: Jonathan Wakely Date: Thu Nov 5 16:19:15 2020 +0000 libstdc++: Fix multiple definitions of std::exception_ptr functions [PR 97729] This fixes some multiple definition errors caused by the changes for PR libstdc++/90295. The previous solution for inlining the members of std::exception_ptr but still exporting them from the library was to suppress the 'inline' keyword on those functions when compiling libsupc++/eh_ptr.cc, so they get defined in that file. That produces ODR violations though, because there are now both inline and non-inline definitions in the library, due to the use of std::exception_ptr in other files sucg as src/c++11/future.cc. The new solution is to define all the relevant members as 'inline' unconditionally, but use __attribute__((used)) to cause definitions to be emitted in libsupc++/eh_ptr.cc as before. This doesn't quite work however, because PR c++/67453 means the attribute is ignored on constructors and destructors. As a workaround, the old solution (conditionally inline) is still used for those members, but they are given the always_inline attribute so that they aren't emitted in src/c++11/future.o as inline definitions. libstdc++-v3/ChangeLog: PR libstdc++/97729 * include/std/future (__basic_future::_M_get_result): Use nullptr for null pointer constant. * libsupc++/eh_ptr.cc (operator==, operator!=): Remove definitions. * libsupc++/exception_ptr.h (_GLIBCXX_EH_PTR_USED): Define macro to conditionally add __attribute__((__used__)). (operator==, operator!=, exception_ptr::exception_ptr()) (exception_ptr::exception_ptr(const exception_ptr&)) (exception_ptr::~exception_ptr()) (exception_ptr::operator=(const exception_ptr&)) (exception_ptr::swap(exception_ptr&)): Always define as inline. Add macro to be conditionally "used". Diff: --- libstdc++-v3/include/std/future | 2 +- libstdc++-v3/libsupc++/eh_ptr.cc | 20 +++++------- libstdc++-v3/libsupc++/exception_ptr.h | 56 ++++++++++++++++------------------ 3 files changed, 34 insertions(+), 44 deletions(-) diff --git a/libstdc++-v3/include/std/future b/libstdc++-v3/include/std/future index 3c2aaa1fab1..5d948018c75 100644 --- a/libstdc++-v3/include/std/future +++ b/libstdc++-v3/include/std/future @@ -709,7 +709,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION { _State_base::_S_check(_M_state); _Result_base& __res = _M_state->wait(); - if (!(__res._M_error == 0)) + if (!(__res._M_error == nullptr)) rethrow_exception(__res._M_error); return static_cast<__result_type>(__res); } diff --git a/libstdc++-v3/libsupc++/eh_ptr.cc b/libstdc++-v3/libsupc++/eh_ptr.cc index c41bdca234c..7e6863550ce 100644 --- a/libstdc++-v3/libsupc++/eh_ptr.cc +++ b/libstdc++-v3/libsupc++/eh_ptr.cc @@ -25,7 +25,12 @@ #include #include "eh_atomics.h" +#if ! _GLIBCXX_INLINE_VERSION +// This macro causes exception_ptr to declare an older API (with corresponding +// definitions in this file) and to mark some inline functions as "used" so +// that definitions will be emitted in this translation unit. #define _GLIBCXX_EH_PTR_COMPAT +#endif #include #include @@ -61,6 +66,8 @@ static_assert( adjptr<__cxa_exception>() #endif } +// Define non-inline functions. + std::__exception_ptr::exception_ptr::exception_ptr(void* obj) noexcept : _M_exception_object(obj) { _M_addref(); } @@ -130,19 +137,6 @@ std::__exception_ptr::exception_ptr::__cxa_exception_type() const noexcept return eh->exceptionType; } -// Retained for compatibility with CXXABI_1.3.12. -bool -std::__exception_ptr::operator==(const exception_ptr& lhs, - const exception_ptr& rhs) noexcept -{ return lhs._M_exception_object == rhs._M_exception_object; } - -// Retained for compatibility with CXXABI_1.3.12. -bool -std::__exception_ptr::operator!=(const exception_ptr& lhs, - const exception_ptr& rhs) noexcept -{ return !(lhs == rhs); } - - std::exception_ptr std::current_exception() noexcept { diff --git a/libstdc++-v3/libsupc++/exception_ptr.h b/libstdc++-v3/libsupc++/exception_ptr.h index 4497d0e8581..001343ac049 100644 --- a/libstdc++-v3/libsupc++/exception_ptr.h +++ b/libstdc++-v3/libsupc++/exception_ptr.h @@ -39,6 +39,12 @@ #include #include +#ifdef _GLIBCXX_EH_PTR_COMPAT +# define _GLIBCXX_EH_PTR_USED __attribute__((__used__)) +#else +# define _GLIBCXX_EH_PTR_USED +#endif + extern "C++" { namespace std @@ -146,20 +152,17 @@ namespace std { return _M_exception_object; } #endif -#ifdef _GLIBCXX_EH_PTR_COMPAT - friend bool - operator==(const exception_ptr&, const exception_ptr&) - _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__)); -#elif __cpp_impl_three_way_comparison >= 201907L +#if __cpp_impl_three_way_comparison >= 201907L \ + && ! defined _GLIBCXX_EH_PTR_COMPAT friend bool operator==(const exception_ptr&, const exception_ptr&) noexcept = default; #else - friend bool + friend _GLIBCXX_EH_PTR_USED bool operator==(const exception_ptr& __x, const exception_ptr& __y) _GLIBCXX_USE_NOEXCEPT { return __x._M_exception_object == __y._M_exception_object; } - friend bool + friend _GLIBCXX_EH_PTR_USED bool operator!=(const exception_ptr& __x, const exception_ptr& __y) _GLIBCXX_USE_NOEXCEPT { return __x._M_exception_object != __y._M_exception_object; } @@ -170,25 +173,30 @@ namespace std __attribute__ ((__pure__)); }; -#ifndef _GLIBCXX_EH_PTR_COMPAT + _GLIBCXX_EH_PTR_USED +#ifndef _GLIBCXX_EH_PTR_COMPAT + __attribute__((__always_inline__)) // XXX see PR 97729 inline #endif exception_ptr::exception_ptr() _GLIBCXX_NOEXCEPT : _M_exception_object(0) { } -#ifndef _GLIBCXX_EH_PTR_COMPAT + _GLIBCXX_EH_PTR_USED +#ifndef _GLIBCXX_EH_PTR_COMPAT + __attribute__((__always_inline__)) inline #endif - exception_ptr::exception_ptr(const exception_ptr& __other) - _GLIBCXX_NOEXCEPT + exception_ptr::exception_ptr(const exception_ptr& __other) _GLIBCXX_NOEXCEPT : _M_exception_object(__other._M_exception_object) { if (_M_exception_object) _M_addref(); } -#ifndef _GLIBCXX_EH_PTR_COMPAT + _GLIBCXX_EH_PTR_USED +#ifndef _GLIBCXX_EH_PTR_COMPAT + __attribute__((__always_inline__)) inline #endif exception_ptr::~exception_ptr() _GLIBCXX_USE_NOEXCEPT @@ -197,20 +205,16 @@ namespace std _M_release(); } -#ifndef _GLIBCXX_EH_PTR_COMPAT - inline -#endif - exception_ptr& + _GLIBCXX_EH_PTR_USED + inline exception_ptr& exception_ptr::operator=(const exception_ptr& __other) _GLIBCXX_USE_NOEXCEPT { exception_ptr(__other).swap(*this); return *this; } -#ifndef _GLIBCXX_EH_PTR_COMPAT - inline -#endif - void + _GLIBCXX_EH_PTR_USED + inline void exception_ptr::swap(exception_ptr &__other) _GLIBCXX_USE_NOEXCEPT { void *__tmp = _M_exception_object; @@ -218,16 +222,6 @@ namespace std __other._M_exception_object = __tmp; } -#ifdef _GLIBCXX_EH_PTR_COMPAT - bool - operator==(const exception_ptr&, const exception_ptr&) - _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__)); - - bool - operator!=(const exception_ptr&, const exception_ptr&) - _GLIBCXX_USE_NOEXCEPT __attribute__ ((__pure__)); -#endif - /// @relates exception_ptr inline void swap(exception_ptr& __lhs, exception_ptr& __rhs) @@ -276,6 +270,8 @@ namespace std #endif } +#undef _GLIBCXX_EH_PTR_USED + // @} group exceptions } // namespace std