diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2022-02-14 12:46:10 +0000 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2022-02-14 13:03:31 +0000 |
| commit | 164a761a9f4798dc69ecab80097807636dc17d61 (patch) | |
| tree | 56fcdebdec88734259b5fe23a5ba564993aac953 | |
| parent | 220d85fdf0b5d61e212289fd6ec763980700c572 (diff) | |
| download | gcc-164a761a9f4798dc69ecab80097807636dc17d61.zip gcc-164a761a9f4798dc69ecab80097807636dc17d61.tar.gz gcc-164a761a9f4798dc69ecab80097807636dc17d61.tar.bz2 | |
libstdc++: Use __cpp_concepts instead of custom macro [PR103891]
With the new value of __cpp_concepts required by P2493, we can test
whether the compiler supports conditionally trivial special members.
This allows us to remove the workaround that disables fully-constexpr
std::variant for Clang. Now it should work for non-GCC compilers (such
as future releases of Clang) that support conditionally trivial
destructors and define the new value of __cpp_concepts.
libstdc++-v3/ChangeLog:
PR libstdc++/103891
* include/bits/c++config (_GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS):
Remove.
* include/std/variant: Check feature test macros instead.
* include/std/version: Likewise.
| -rw-r--r-- | libstdc++-v3/include/bits/c++config | 5 | ||||
| -rw-r--r-- | libstdc++-v3/include/std/variant | 14 | ||||
| -rw-r--r-- | libstdc++-v3/include/std/version | 4 |
3 files changed, 8 insertions, 15 deletions
diff --git a/libstdc++-v3/include/bits/c++config b/libstdc++-v3/include/bits/c++config index b197349..c64b61b 100644 --- a/libstdc++-v3/include/bits/c++config +++ b/libstdc++-v3/include/bits/c++config @@ -810,11 +810,6 @@ namespace std #undef _GLIBCXX_HAS_BUILTIN -#if __cplusplus >= 202002L && __cpp_concepts && __GNUC__ >= 12 -// XXX workaround for missing feature test macro for P0848R3 (see P2493R0). -# define _GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS 1 -#endif - // PSTL configuration #if __cplusplus >= 201703L diff --git a/libstdc++-v3/include/std/variant b/libstdc++-v3/include/std/variant index c41f9f2..beed396 100644 --- a/libstdc++-v3/include/std/variant +++ b/libstdc++-v3/include/std/variant @@ -44,24 +44,22 @@ #include <bits/stl_iterator_base_funcs.h> #include <bits/stl_construct.h> #include <bits/utility.h> // in_place_index_t -#ifndef _GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS -# include <ext/aligned_buffer.h> -#endif #if __cplusplus >= 202002L # include <compare> #endif -namespace std _GLIBCXX_VISIBILITY(default) -{ -_GLIBCXX_BEGIN_NAMESPACE_VERSION - -#ifdef _GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS +#if __cpp_concepts >= 202002L && __cpp_constexpr >= 201811L // P2231R1 constexpr needs constexpr unions and constrained destructors. # define __cpp_lib_variant 202106L #else +# include <ext/aligned_buffer.h> // Use __aligned_membuf instead of union. # define __cpp_lib_variant 202102L #endif +namespace std _GLIBCXX_VISIBILITY(default) +{ +_GLIBCXX_BEGIN_NAMESPACE_VERSION + template<typename... _Types> class tuple; template<typename... _Types> class variant; template <typename> struct hash; diff --git a/libstdc++-v3/include/std/version b/libstdc++-v3/include/std/version index 30e04b5..24311ee 100644 --- a/libstdc++-v3/include/std/version +++ b/libstdc++-v3/include/std/version @@ -175,7 +175,7 @@ # define __cpp_lib_to_chars 201611L #endif #define __cpp_lib_unordered_map_try_emplace 201411L -#ifndef _GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS +#if !(__cplusplus >= 202002L && __cpp_concepts >= 202002L) // N.B. updated value in C++20 # define __cpp_lib_variant 202102L #endif @@ -292,7 +292,7 @@ # endif #define __cpp_lib_to_address 201711L #define __cpp_lib_to_array 201907L -#ifdef _GLIBCXX_HAVE_COND_TRIVIAL_SPECIAL_MEMBERS +#if __cplusplus >= 202002L && __cpp_concepts >= 202002L # define __cpp_lib_variant 202106L #endif #endif |