From 7ca76565e7c3e206011072673347e7ab63428207 Mon Sep 17 00:00:00 2001 From: Eric Fiselier Date: Mon, 31 Oct 2016 02:07:23 +0000 Subject: [PATCH] Fix _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY to always have default visibility. This prevent the symbols from being both externally available and hidden, which causes them to be linked incorrectly. This is only a problem when the address of the function is explicitly taken since it will always be inlined otherwise. This patch fixes the issues that caused r285456 to be reverted, and can now be reapplied. llvm-svn: 285531 --- libcxx/docs/DesignDocs/VisibilityMacros.rst | 11 +++++------ libcxx/include/__config | 6 +----- .../strings/basic.string/string.cons/dtor_noexcept.pass.cpp | 5 +++++ 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/libcxx/docs/DesignDocs/VisibilityMacros.rst b/libcxx/docs/DesignDocs/VisibilityMacros.rst index 67886e3..861cc04 100644 --- a/libcxx/docs/DesignDocs/VisibilityMacros.rst +++ b/libcxx/docs/DesignDocs/VisibilityMacros.rst @@ -92,14 +92,13 @@ Visibility Macros On all other platforms, this macro has an empty definition. **_LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY** - Mark a member function of a class template as hidden and inline except when - building the libc++ library where it marks the symbol as being exported by - the library. + Mark a member function of a class template as visible and always inline. This + macro should only be applied to member functions of class templates that are + externally instantiated. It is important that these symbols are not marked + as hidden as that will prevent the dylib definition from being found. This macro is used to maintain ABI compatibility for symbols that have been - historically exported by the libc++ library but are now marked inline. It - should only be applied to member functions of class templates that are - externally instantiated. + historically exported by the libc++ library but are now marked inline. **_LIBCPP_EXCEPTION_ABI** Mark the member functions, typeinfo, and vtable of the type as being exported diff --git a/libcxx/include/__config b/libcxx/include/__config index 5b3c694..572b015 100644 --- a/libcxx/include/__config +++ b/libcxx/include/__config @@ -609,11 +609,7 @@ namespace std { #endif #ifndef _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY -# ifdef _LIBCPP_BUILDING_LIBRARY -# define _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY __attribute__((__visibility__("default"), __always_inline__)) -# else -# define _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY _LIBCPP_INLINE_VISIBILITY -# endif +# define _LIBCPP_EXTERN_TEMPLATE_INLINE_VISIBILITY __attribute__((__visibility__("default"), __always_inline__)) #endif #ifndef _LIBCPP_PREFERRED_OVERLOAD diff --git a/libcxx/test/std/strings/basic.string/string.cons/dtor_noexcept.pass.cpp b/libcxx/test/std/strings/basic.string/string.cons/dtor_noexcept.pass.cpp index 011fd54..0c6362d 100644 --- a/libcxx/test/std/strings/basic.string/string.cons/dtor_noexcept.pass.cpp +++ b/libcxx/test/std/strings/basic.string/string.cons/dtor_noexcept.pass.cpp @@ -27,6 +27,11 @@ struct some_alloc ~some_alloc() noexcept(false); }; +// Test that it's possible to take the address of basic_string's destructors +// by creating globals which will register their destructors with cxa_atexit. +std::string s; +std::wstring ws; + int main() { { -- 2.7.4