2018-06-18 17:42:11 +01:00
|
|
|
// -*- C++ -*- Libstdc++ version details header.
|
|
|
|
|
|
2021-01-04 10:26:59 +01:00
|
|
|
// Copyright (C) 2018-2021 Free Software Foundation, Inc.
|
2018-06-18 17:42:11 +01:00
|
|
|
//
|
|
|
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
|
|
|
// software; you can redistribute it and/or modify it under the
|
|
|
|
|
// terms of the GNU General Public License as published by the
|
|
|
|
|
// Free Software Foundation; either version 3, or (at your option)
|
|
|
|
|
// any later version.
|
|
|
|
|
|
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
// Under Section 7 of GPL version 3, you are granted additional
|
|
|
|
|
// permissions described in the GCC Runtime Library Exception, version
|
|
|
|
|
// 3.1, as published by the Free Software Foundation.
|
|
|
|
|
|
|
|
|
|
// You should have received a copy of the GNU General Public License and
|
|
|
|
|
// a copy of the GCC Runtime Library Exception along with this program;
|
|
|
|
|
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
|
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
/** @file version
|
|
|
|
|
* This is a Standard C++ Library file. You should @c \#include this file
|
|
|
|
|
* in your programs, rather than any of the @a *.h implementation files.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef _GLIBCXX_VERSION_INCLUDED
|
|
|
|
|
#define _GLIBCXX_VERSION_INCLUDED
|
|
|
|
|
|
|
|
|
|
#pragma GCC system_header
|
|
|
|
|
|
|
|
|
|
#include <bits/c++config.h>
|
|
|
|
|
|
|
|
|
|
// c++03
|
2019-11-05 15:56:57 +00:00
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_incomplete_container_elements 201505
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
|
|
|
|
|
#if !defined(__STRICT_ANSI__)
|
|
|
|
|
// gnu++03
|
2019-01-15 12:01:12 +00:00
|
|
|
# define __cpp_lib_uncaught_exceptions 201411L
|
2018-06-18 17:42:11 +01:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if __cplusplus >= 201103L
|
|
|
|
|
// c++11
|
|
|
|
|
#define __cpp_lib_is_null_pointer 201309
|
|
|
|
|
#define __cpp_lib_result_of_sfinae 201210
|
2019-11-05 15:56:57 +00:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_allocator_traits_is_always_equal 201411
|
|
|
|
|
# define __cpp_lib_shared_ptr_arrays 201611L
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
|
|
|
|
|
#if !defined(__STRICT_ANSI__)
|
|
|
|
|
// gnu++11
|
|
|
|
|
# define __cpp_lib_is_swappable 201603
|
|
|
|
|
# define __cpp_lib_void_t 201411
|
2019-11-05 15:56:57 +00:00
|
|
|
# if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_enable_shared_from_this 201603
|
|
|
|
|
# endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
// For C++11 and later we support ISO/IEC 29124 Mathematical Special Functions
|
|
|
|
|
#define __STDCPP_MATH_SPEC_FUNCS__ 201003L
|
|
|
|
|
|
|
|
|
|
#if __cplusplus >= 201402L
|
|
|
|
|
// c++14
|
2020-04-23 15:36:29 +01:00
|
|
|
#if __cpp_impl_coroutine
|
|
|
|
|
# define __cpp_lib_coroutine 201902L
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_integral_constant_callable 201304
|
|
|
|
|
#define __cpp_lib_is_final 201402L
|
|
|
|
|
#define __cpp_lib_transformation_trait_aliases 201304
|
2019-11-05 15:56:57 +00:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_chrono_udls 201304
|
|
|
|
|
# define __cpp_lib_complex_udls 201309
|
|
|
|
|
# define __cpp_lib_exchange_function 201304
|
|
|
|
|
# define __cpp_lib_generic_associative_lookup 201304
|
|
|
|
|
# define __cpp_lib_integer_sequence 201304
|
|
|
|
|
# define __cpp_lib_make_reverse_iterator 201402
|
|
|
|
|
# define __cpp_lib_make_unique 201304
|
|
|
|
|
# ifndef _GLIBCXX_DEBUG // PR libstdc++/70303
|
|
|
|
|
# define __cpp_lib_null_iterators 201304L
|
|
|
|
|
# endif
|
|
|
|
|
# define __cpp_lib_quoted_string_io 201304
|
|
|
|
|
# define __cpp_lib_robust_nonmodifying_seq_ops 201304
|
|
|
|
|
# ifdef _GLIBCXX_HAS_GTHREADS
|
2020-10-22 18:42:03 +01:00
|
|
|
# define __cpp_lib_shared_timed_mutex 201402L
|
2019-11-05 15:56:57 +00:00
|
|
|
# endif
|
|
|
|
|
# define __cpp_lib_string_udls 201304
|
|
|
|
|
# define __cpp_lib_transparent_operators 201510
|
|
|
|
|
# define __cpp_lib_tuple_element_t 201402L
|
libstdc++: Reduce header dependencies on <array> and <utility>
This refactoring reduces the memory usage and compilation time to parse
a number of headers that depend on std::pair, std::tuple or std::array.
Previously the headers for these class templates were all intertwined,
due to the common dependency on std::tuple_size, std::tuple_element and
their std::get overloads. This decouples the headers by moving some
parts of <utility> into a new <bits/utility.h> header. This means that
<array> and <tuple> no longer need to include the whole of <utility>,
and <tuple> no longer needs to include <array>.
This decoupling benefits headers such as <thread> and <scoped_allocator>
which only need std::tuple, and so no longer have to parse std::array.
Some other headers such as <any>, <optional> and <variant> no longer
need to include <utility> just for the std::in_place tag types, so
do not have to parse the std::pair definitions.
Removing direct uses of <utility> also means that the std::rel_ops
namespace is not transitively declared by other headers.
Signed-off-by: Jonathan Wakely <jwakely@redhat.com>
libstdc++-v3/ChangeLog:
* include/Makefile.am: Add bits/utility.h header.
* include/Makefile.in: Regenerate.
* include/bits/utility.h: New file.
* include/std/utility (tuple_size, tuple_element): Move
to new header.
* include/std/type_traits (__is_tuple_like_impl<tuple<T...>>):
Move to <tuple>.
(_Index_tuple, _Build_index_tuple, integer_sequence): Likewise.
(in_place_t, in_place_index_t, in_place_type_t): Likewise.
* include/bits/ranges_util.h: Include new header instead of
<utility>.
* include/bits/stl_pair.h (tuple_size, tuple_element): Move
partial specializations for std::pair here.
(get): Move overloads for std::pair here.
* include/std/any: Include new header instead of <utility>.
* include/std/array: Likewise.
* include/std/memory_resource: Likewise.
* include/std/optional: Likewise.
* include/std/variant: Likewise.
* include/std/tuple: Likewise.
(__is_tuple_like_impl<tuple<T...>>): Move here.
(get) Declare overloads for std::array.
* include/std/version (__cpp_lib_tuples_by_type): Change type
to long.
* testsuite/20_util/optional/84601.cc: Include <utility>.
* testsuite/20_util/specialized_algorithms/uninitialized_fill/constrained.cc:
Likewise.
* testsuite/23_containers/array/tuple_interface/get_neg.cc:
Adjust dg-error line numbers.
* testsuite/std/ranges/access/cbegin.cc: Include <utility>.
* testsuite/std/ranges/access/cend.cc: Likewise.
* testsuite/std/ranges/access/end.cc: Likewise.
* testsuite/std/ranges/single_view.cc: Likewise.
2021-07-22 14:48:27 +01:00
|
|
|
# define __cpp_lib_tuples_by_type 201304L
|
2019-11-05 15:56:57 +00:00
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
|
|
|
|
|
#if __cplusplus >= 201703L
|
|
|
|
|
// c++17
|
|
|
|
|
#define __cpp_lib_addressof_constexpr 201603
|
|
|
|
|
#define __cpp_lib_atomic_is_always_lock_free 201603
|
|
|
|
|
#define __cpp_lib_bool_constant 201505
|
|
|
|
|
#define __cpp_lib_byte 201603
|
2018-07-31 23:31:14 +01:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_HAS_UNIQ_OBJ_REP
|
|
|
|
|
# define __cpp_lib_has_unique_object_representations 201606
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE
|
|
|
|
|
# define __cpp_lib_is_aggregate 201703
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_is_invocable 201703
|
|
|
|
|
#define __cpp_lib_is_swappable 201603
|
2018-07-31 23:31:14 +01:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_LAUNDER
|
|
|
|
|
# define __cpp_lib_launder 201606
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_logical_traits 201510
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_type_trait_variable_templates 201510L
|
|
|
|
|
#define __cpp_lib_uncaught_exceptions 201411L
|
|
|
|
|
#define __cpp_lib_void_t 201411
|
|
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
#define __cpp_lib_any 201606L
|
|
|
|
|
#define __cpp_lib_apply 201603
|
2020-09-10 18:51:24 +01:00
|
|
|
#if __cplusplus == 201703L // N.B. updated value in C++20
|
|
|
|
|
# define __cpp_lib_array_constexpr 201803L
|
|
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_as_const 201510
|
|
|
|
|
#define __cpp_lib_boyer_moore_searcher 201603
|
|
|
|
|
#define __cpp_lib_chrono 201611
|
|
|
|
|
#define __cpp_lib_clamp 201603
|
2020-09-10 18:51:24 +01:00
|
|
|
#if __cplusplus == 201703L // N.B. updated value in C++20
|
2021-06-17 14:11:22 +01:00
|
|
|
# if _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED
|
|
|
|
|
# define __cpp_lib_constexpr_char_traits 201611L
|
|
|
|
|
# define __cpp_lib_constexpr_string 201611L
|
|
|
|
|
# endif
|
2020-09-10 18:51:24 +01:00
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_enable_shared_from_this 201603
|
2020-04-22 22:54:35 +01:00
|
|
|
#define __cpp_lib_execution 201902L // FIXME: should be 201603L
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_filesystem 201703
|
|
|
|
|
#define __cpp_lib_gcd 201606
|
|
|
|
|
#define __cpp_lib_gcd_lcm 201606
|
c++: implement C++17 hardware interference size
The last missing piece of the C++17 standard library is the hardware
intereference size constants. Much of the delay in implementing these has
been due to uncertainty about what the right values are, and even whether
there is a single constant value that is suitable; the destructive
interference size is intended to be used in structure layout, so program
ABIs will depend on it.
In principle, both of these values should be the same as the target's L1
cache line size. When compiling for a generic target that is intended to
support a range of target CPUs with different cache line sizes, the
constructive size should probably be the minimum size, and the destructive
size the maximum, unless you are constrained by ABI compatibility with
previous code.
From discussion on gcc-patches, I've come to the conclusion that the
solution to the difficulty of choosing stable values is to give up on it,
and instead encourage only uses where ABI stability is unimportant: in
particular, uses where the ABI is shared at most between translation units
built at the same time with the same flags.
To that end, I've added a warning for any use of the constant value of
std::hardware_destructive_interference_size in a header or module export.
Appropriate uses within a project can disable the warning.
A previous iteration of this patch included an -finterference-tune flag to
make the value vary with -mtune; this iteration makes that the default
behavior, which should be appropriate for all reasonable uses of the
variable. The previous default of "stable-ish" seems to me likely to have
been more of an attractive nuisance; since we can't promise actual
stability, we should instead make proper uses more convenient.
JF Bastien's implementation proposal is summarized at
https://github.com/itanium-cxx-abi/cxx-abi/issues/74
I implement this by adding new --params for the two sizes. Targets can
override these values in targetm.target_option.override() to support a range
of values for the generic target; otherwise, both will default to the L1
cache line size.
64 bytes still seems correct for all x86.
I'm not sure why he proposed 64/64 for generic 32-bit ARM, since the Cortex
A9 has a 32-byte cache line, so I'd think 32/64 would make more sense.
He proposed 64/128 for generic AArch64, but since the A64FX now has a 256B
cache line, I've changed that to 64/256.
Other arch maintainers are invited to set ranges for their generic targets
if that seems better than using the default cache line size for both values.
With the above choice to reject stability as a goal, getting these values
"right" is now just a matter of what we want the default optimization to be,
and we can feel free to adjust them as CPUs with different cache lines
become more and less common.
gcc/ChangeLog:
* params.opt: Add destructive-interference-size and
constructive-interference-size.
* doc/invoke.texi: Document them.
* config/aarch64/aarch64.c (aarch64_override_options_internal):
Set them.
* config/arm/arm.c (arm_option_override): Set them.
* config/i386/i386-options.c (ix86_option_override_internal):
Set them.
gcc/c-family/ChangeLog:
* c.opt: Add -Winterference-size.
* c-cppbuiltin.c (cpp_atomic_builtins): Add __GCC_DESTRUCTIVE_SIZE
and __GCC_CONSTRUCTIVE_SIZE.
gcc/cp/ChangeLog:
* constexpr.c (maybe_warn_about_constant_value):
Complain about std::hardware_destructive_interference_size.
(cxx_eval_constant_expression): Call it.
* decl.c (cxx_init_decl_processing): Check
--param *-interference-size values.
libstdc++-v3/ChangeLog:
* include/std/version: Define __cpp_lib_hardware_interference_size.
* libsupc++/new: Define hardware interference size variables.
gcc/testsuite/ChangeLog:
* g++.dg/warn/Winterference.H: New file.
* g++.dg/warn/Winterference.C: New test.
* g++.target/aarch64/interference.C: New test.
* g++.target/arm/interference.C: New test.
* g++.target/i386/interference.C: New test.
2021-07-15 15:30:17 -04:00
|
|
|
#ifdef __GCC_DESTRUCTIVE_SIZE
|
|
|
|
|
# define __cpp_lib_hardware_interference_size 201703L
|
|
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_hypot 201603
|
|
|
|
|
#define __cpp_lib_invoke 201411L
|
|
|
|
|
#define __cpp_lib_lcm 201606
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_make_from_tuple 201606
|
|
|
|
|
#define __cpp_lib_map_try_emplace 201411
|
|
|
|
|
#define __cpp_lib_math_special_functions 201603L
|
2018-11-17 23:35:44 +00:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
2020-10-22 18:42:03 +01:00
|
|
|
# define __cpp_lib_memory_resource 201603L
|
2018-11-17 23:35:44 +00:00
|
|
|
#else
|
|
|
|
|
# define __cpp_lib_memory_resource 1
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_node_extract 201606
|
|
|
|
|
#define __cpp_lib_nonmember_container_access 201411
|
|
|
|
|
#define __cpp_lib_not_fn 201603
|
2021-10-13 22:32:28 +01:00
|
|
|
#if __cplusplus == 201703L // N.B. updated value in C++20
|
|
|
|
|
# define __cpp_lib_optional 201606L
|
|
|
|
|
#endif
|
2020-03-27 23:21:58 +00:00
|
|
|
#define __cpp_lib_parallel_algorithm 201603L
|
2019-01-15 12:01:12 +00:00
|
|
|
#define __cpp_lib_raw_memory_algorithms 201606L
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_sample 201603
|
2018-07-31 23:31:14 +01:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
|
|
|
|
# define __cpp_lib_scoped_lock 201703
|
2020-10-22 18:42:03 +01:00
|
|
|
# define __cpp_lib_shared_mutex 201505L
|
2018-07-31 23:31:14 +01:00
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_shared_ptr_weak_type 201606
|
2020-04-28 23:31:04 +01:00
|
|
|
#define __cpp_lib_string_view 201803L
|
2021-04-20 12:46:11 +01:00
|
|
|
#if _GLIBCXX_HAVE_USELOCALE
|
|
|
|
|
# define __cpp_lib_to_chars 201611L
|
|
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
#define __cpp_lib_unordered_map_try_emplace 201411
|
libstdc++: Add missing constexpr to std::variant (P2231R1)
This implements the changes in P2231R1 which make std::variant fully
constexpr in C++20.
We need to replace placement new with std::construct_at, but that isn't
defined for C++17. Use std::_Construct instead, which forwards to
std::construct_at in C++20 mode (since the related changes to make
std::optional fully constexpr, in r12-4389).
We also need to replace the untyped char buffer in _Uninitialized with a
union, which can be accessed in constexpr functions. But the union needs
to have a non-trivial destructor if its variant type is non-trivial,
which means that the _Variadic_union also needs a non-trivial
destructor. This adds a constrained partial specialization of
_Variadic_union for the C++20-only case where a non-trivial destructor
is needed.
We can't use concepts to constrain the specialization (or the primary
template's destructor) in C++17, so retain the untyped char buffer
solution for C++17 mode.
libstdc++-v3/ChangeLog:
* include/std/variant (__cpp_lib_variant): Update value for
C++20.
(__variant_cast, __variant_construct): Add constexpr for C++20.
(__variant_construct_single, __construct_by_index) Likewise. Use
std::_Construct instead of placement new.
(_Uninitialized<T, false>) [__cplusplus >= 202002]: Replace
buffer with a union and define a destructor.
(_Variadic_union) [__cplusplus >= 202002]: Add a specialization
for non-trivial destruction.
(_Variant_storage::__index_of): New helper variable template.
(_Variant_storage::~_Variant_storage()): Add constexpr.
(_Variant_storage::_M_reset()): Likewise.
(_Copy_ctor_base, _Move_ctor_base): Likewise.
(_Copy_assign_base, _Move_assign_base): Likewise.
(variant, swap): Likewise.
* include/std/version (__cpp_lib_variant): Update value for
C++20.
* testsuite/20_util/optional/version.cc: Check for exact value
in C++17.
* testsuite/20_util/variant/87619.cc: Increase timeout for
C++20 mode.
* testsuite/20_util/variant/constexpr.cc: New test.
* testsuite/20_util/variant/version.cc: New test.
2021-10-14 13:27:03 +01:00
|
|
|
#if __cplusplus == 201703L || ! __cpp_concepts // N.B. updated value in C++20
|
|
|
|
|
# define __cpp_lib_variant 202102L
|
|
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#endif
|
2018-06-18 17:42:11 +01:00
|
|
|
|
2021-06-04 15:59:37 +01:00
|
|
|
#if __cplusplus >= 202002L
|
2021-01-27 12:11:28 +00:00
|
|
|
// c++20
|
2020-05-12 07:37:09 +02:00
|
|
|
#define __cpp_lib_atomic_flag_test 201907L
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_atomic_float 201711L
|
2019-07-11 20:43:25 +01:00
|
|
|
#define __cpp_lib_atomic_ref 201806L
|
2020-01-11 00:11:54 +00:00
|
|
|
#define __cpp_lib_atomic_value_initialization 201911L
|
2019-10-30 16:57:13 +00:00
|
|
|
#define __cpp_lib_bitops 201907L
|
2019-03-06 15:31:06 +00:00
|
|
|
#define __cpp_lib_bounded_array_traits 201902L
|
2020-04-22 22:54:34 +01:00
|
|
|
// __cpp_lib_char8_t is defined in <bits/c++config.h>
|
2020-03-27 23:21:58 +00:00
|
|
|
#if __cpp_concepts >= 201907L
|
2020-04-22 22:54:34 +01:00
|
|
|
# define __cpp_lib_concepts 202002L
|
2019-10-11 16:53:52 +01:00
|
|
|
#endif
|
2019-02-13 22:13:45 +00:00
|
|
|
#if __cpp_impl_destroying_delete
|
|
|
|
|
# define __cpp_lib_destroying_delete 201806L
|
|
|
|
|
#endif
|
2019-07-26 14:30:42 +01:00
|
|
|
#define __cpp_lib_endian 201907L
|
2020-02-17 16:03:48 +00:00
|
|
|
#define __cpp_lib_int_pow2 202002L
|
2019-01-11 17:01:23 +01:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED
|
|
|
|
|
# define __cpp_lib_is_constant_evaluated 201811L
|
|
|
|
|
#endif
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_is_nothrow_convertible 201806L
|
|
|
|
|
#define __cpp_lib_remove_cvref 201711L
|
2020-04-23 21:39:33 +01:00
|
|
|
#if __cpp_impl_three_way_comparison >= 201907L && __cpp_lib_concepts
|
|
|
|
|
# define __cpp_lib_three_way_comparison 201907L
|
|
|
|
|
#endif
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_type_identity 201806L
|
2020-02-19 15:06:24 +00:00
|
|
|
#define __cpp_lib_unwrap_ref 201811L
|
2019-11-05 15:56:57 +00:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
2020-04-22 22:54:35 +01:00
|
|
|
#define __cpp_lib_array_constexpr 201811L
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_assume_aligned 201811L
|
2020-12-01 15:41:08 -08:00
|
|
|
#if defined _GLIBCXX_HAS_GTHREADS || defined _GLIBCXX_HAVE_LINUX_FUTEX
|
|
|
|
|
# define __cpp_lib_atomic_wait 201907L
|
2021-01-07 12:07:06 -08:00
|
|
|
# if __cpp_aligned_new
|
2021-01-14 14:25:05 +00:00
|
|
|
# define __cpp_lib_barrier 201907L
|
|
|
|
|
# endif
|
2020-12-01 15:41:08 -08:00
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_bind_front 201907L
|
2020-12-03 19:17:13 +00:00
|
|
|
#if __has_builtin(__builtin_bit_cast)
|
|
|
|
|
# define __cpp_lib_bit_cast 201806L
|
|
|
|
|
#endif
|
2020-04-22 22:54:35 +01:00
|
|
|
// FIXME: #define __cpp_lib_execution 201902L
|
2020-02-17 13:20:57 +00:00
|
|
|
#define __cpp_lib_integer_comparison_functions 202002L
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_constexpr_algorithms 201806L
|
2021-06-17 14:11:22 +01:00
|
|
|
#ifdef __cpp_lib_is_constant_evaluated
|
|
|
|
|
# define __cpp_lib_constexpr_char_traits 201811L
|
|
|
|
|
#endif
|
2019-12-10 16:15:59 +00:00
|
|
|
#define __cpp_lib_constexpr_complex 201711L
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_constexpr_dynamic_alloc 201907L
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_constexpr_functional 201907L
|
2020-06-15 14:31:26 +01:00
|
|
|
#define __cpp_lib_constexpr_iterator 201811L
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_constexpr_memory 201811L
|
2020-02-25 14:40:41 -05:00
|
|
|
#define __cpp_lib_constexpr_numeric 201911L
|
2021-06-17 14:11:22 +01:00
|
|
|
#ifdef __cpp_lib_is_constant_evaluated
|
|
|
|
|
# define __cpp_lib_constexpr_string 201811L
|
|
|
|
|
#endif
|
2020-04-28 23:31:04 +01:00
|
|
|
#define __cpp_lib_constexpr_string_view 201811L
|
|
|
|
|
#define __cpp_lib_constexpr_tuple 201811L
|
|
|
|
|
#define __cpp_lib_constexpr_utility 201811L
|
2020-02-15 09:02:30 +00:00
|
|
|
#define __cpp_lib_erase_if 202002L
|
2021-06-04 15:59:37 +01:00
|
|
|
#define __cpp_lib_generic_unordered_lookup 201811L
|
2019-11-05 15:56:57 +00:00
|
|
|
#define __cpp_lib_interpolate 201902L
|
2019-11-15 23:44:47 +00:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
2020-04-22 22:54:34 +01:00
|
|
|
# define __cpp_lib_jthread 201911L
|
2019-11-15 23:44:47 +00:00
|
|
|
#endif
|
2021-08-24 14:42:37 +01:00
|
|
|
#if __has_builtin(__is_layout_compatible) \
|
|
|
|
|
&& __has_builtin(__builtin_is_corresponding_member)
|
|
|
|
|
# define __cpp_lib_is_layout_compatible 201907L
|
|
|
|
|
#endif
|
2021-08-10 15:37:23 +01:00
|
|
|
#if __has_builtin(__is_pointer_interconvertible_base_of) \
|
|
|
|
|
&& __has_builtin(__builtin_is_pointer_interconvertible_with_class)
|
|
|
|
|
# define __cpp_lib_is_pointer_interconvertible 201907L
|
|
|
|
|
#endif
|
2020-12-02 00:39:22 +00:00
|
|
|
#if __cpp_lib_atomic_wait
|
2020-11-26 21:54:46 +00:00
|
|
|
# define __cpp_lib_latch 201907L
|
|
|
|
|
#endif
|
2018-07-20 12:24:38 +01:00
|
|
|
#define __cpp_lib_list_remove_return_type 201806L
|
2020-10-22 18:42:03 +01:00
|
|
|
#if __cpp_lib_concepts
|
|
|
|
|
# define __cpp_lib_make_obj_using_allocator 201811L
|
|
|
|
|
#endif
|
2019-07-31 17:40:39 +01:00
|
|
|
#define __cpp_lib_math_constants 201907L
|
2021-10-13 22:32:28 +01:00
|
|
|
#define __cpp_lib_optional 202106L
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_polymorphic_allocator 201902L
|
2020-03-27 23:21:58 +00:00
|
|
|
#if __cpp_lib_concepts
|
2021-06-17 22:29:03 -04:00
|
|
|
# define __cpp_lib_ranges 202106L
|
2020-03-27 23:21:58 +00:00
|
|
|
#endif
|
2021-04-30 20:32:05 +01:00
|
|
|
#if __cpp_lib_atomic_wait || _GLIBCXX_HAVE_POSIX_SEMAPHORE
|
2020-11-22 01:00:46 +00:00
|
|
|
# define __cpp_lib_semaphore 201907L
|
|
|
|
|
#endif
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_shift 201806L
|
2020-12-03 19:17:13 +00:00
|
|
|
#if __has_builtin(__builtin_source_location)
|
|
|
|
|
# define __cpp_lib_source_location 201907L
|
|
|
|
|
#endif
|
2020-11-17 15:26:29 +00:00
|
|
|
#if __cpp_lib_concepts
|
|
|
|
|
# define __cpp_lib_span 202002L
|
|
|
|
|
#endif
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_ssize 201902L
|
|
|
|
|
#define __cpp_lib_starts_ends_with 201711L
|
2020-11-02 10:06:06 -08:00
|
|
|
# if _GLIBCXX_USE_CXX11_ABI
|
2021-02-25 11:20:17 +00:00
|
|
|
// Only supported with cxx11-abi
|
2020-11-02 10:06:06 -08:00
|
|
|
# define __cpp_lib_syncbuf 201803L
|
|
|
|
|
# endif
|
2020-04-22 22:54:34 +01:00
|
|
|
#define __cpp_lib_to_address 201711L
|
2019-08-08 11:18:53 +01:00
|
|
|
#define __cpp_lib_to_array 201907L
|
libstdc++: Add missing constexpr to std::variant (P2231R1)
This implements the changes in P2231R1 which make std::variant fully
constexpr in C++20.
We need to replace placement new with std::construct_at, but that isn't
defined for C++17. Use std::_Construct instead, which forwards to
std::construct_at in C++20 mode (since the related changes to make
std::optional fully constexpr, in r12-4389).
We also need to replace the untyped char buffer in _Uninitialized with a
union, which can be accessed in constexpr functions. But the union needs
to have a non-trivial destructor if its variant type is non-trivial,
which means that the _Variadic_union also needs a non-trivial
destructor. This adds a constrained partial specialization of
_Variadic_union for the C++20-only case where a non-trivial destructor
is needed.
We can't use concepts to constrain the specialization (or the primary
template's destructor) in C++17, so retain the untyped char buffer
solution for C++17 mode.
libstdc++-v3/ChangeLog:
* include/std/variant (__cpp_lib_variant): Update value for
C++20.
(__variant_cast, __variant_construct): Add constexpr for C++20.
(__variant_construct_single, __construct_by_index) Likewise. Use
std::_Construct instead of placement new.
(_Uninitialized<T, false>) [__cplusplus >= 202002]: Replace
buffer with a union and define a destructor.
(_Variadic_union) [__cplusplus >= 202002]: Add a specialization
for non-trivial destruction.
(_Variant_storage::__index_of): New helper variable template.
(_Variant_storage::~_Variant_storage()): Add constexpr.
(_Variant_storage::_M_reset()): Likewise.
(_Copy_ctor_base, _Move_ctor_base): Likewise.
(_Copy_assign_base, _Move_assign_base): Likewise.
(variant, swap): Likewise.
* include/std/version (__cpp_lib_variant): Update value for
C++20.
* testsuite/20_util/optional/version.cc: Check for exact value
in C++17.
* testsuite/20_util/variant/87619.cc: Increase timeout for
C++20 mode.
* testsuite/20_util/variant/constexpr.cc: New test.
* testsuite/20_util/variant/version.cc: New test.
2021-10-14 13:27:03 +01:00
|
|
|
#if __cpp_concepts
|
|
|
|
|
# define __cpp_lib_variant 202106L
|
|
|
|
|
#endif
|
2019-11-05 15:56:57 +00:00
|
|
|
#endif
|
2021-01-27 12:11:28 +00:00
|
|
|
|
|
|
|
|
#if __cplusplus > 202002L
|
|
|
|
|
// c++2b
|
2021-10-04 20:16:47 +01:00
|
|
|
#define __cpp_lib_adaptor_iterator_pair_constructor 202106L
|
2021-09-02 11:54:12 +01:00
|
|
|
#define __cpp_lib_invoke_r 202106L
|
2021-03-19 19:42:18 +00:00
|
|
|
#define __cpp_lib_is_scoped_enum 202011L
|
2021-10-19 11:06:56 +01:00
|
|
|
#if __cpp_lib_concepts
|
|
|
|
|
# define __cpp_lib_monadic_optional 202110L
|
|
|
|
|
#endif
|
2021-10-06 13:28:57 +01:00
|
|
|
#define __cpp_lib_move_only_function 202110L
|
2021-01-27 12:11:28 +00:00
|
|
|
#define __cpp_lib_string_contains 202011L
|
2021-10-15 22:01:25 +01:00
|
|
|
#if _GLIBCXX_USE_CXX11_ABI // Only supported with cxx11-abi
|
|
|
|
|
# define __cpp_lib_string_resize_and_overwrite 202110L
|
|
|
|
|
#endif
|
2021-02-25 11:20:17 +00:00
|
|
|
#define __cpp_lib_to_underlying 202102L
|
2021-01-27 12:11:28 +00:00
|
|
|
#endif // C++2b
|
|
|
|
|
#endif // C++20
|
2018-06-18 17:42:11 +01:00
|
|
|
#endif // C++17
|
|
|
|
|
#endif // C++14
|
|
|
|
|
#endif // C++11
|
|
|
|
|
|
|
|
|
|
#endif // _GLIBCXX_VERSION_INCLUDED
|