[libc++] Update status after the St. Louis meeting. (#97951)

This updates:
- The status tables
- Feature test macros
- New headers for modules
This commit is contained in:
Mark de Wever 2024-07-08 19:35:31 +02:00 committed by GitHub
parent 09a275e8a4
commit 2dadf8d7f5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
15 changed files with 488 additions and 8 deletions

View File

@ -402,6 +402,8 @@ Status
---------------------------------------------------------- -----------------
``__cpp_lib_bitset`` ``202306L``
---------------------------------------------------------- -----------------
``__cpp_lib_constexpr_new`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_constrained_equality`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_copyable_function`` *unimplemented*
@ -436,12 +438,20 @@ Status
---------------------------------------------------------- -----------------
``__cpp_lib_hazard_pointer`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_inplace_vector`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_is_virtual_base_of`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_is_within_lifetime`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_linalg`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_optional_range_support`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_out_ptr`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_philox_engine`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_ranges_concat`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_ratio`` ``202306L``
@ -452,6 +462,8 @@ Status
---------------------------------------------------------- -----------------
``__cpp_lib_saturation_arithmetic`` ``202311L``
---------------------------------------------------------- -----------------
``__cpp_lib_senders`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_smart_ptr_owner_equality`` *unimplemented*
---------------------------------------------------------- -----------------
``__cpp_lib_span_at`` ``202311L``

View File

@ -42,6 +42,7 @@ Paper Status
.. [#note-P2510R3] This paper is applied as DR against C++20. (MSVC STL and libstdc++ will do the same.)
.. [#note-P3142R0] This paper is applied as DR against C++23. (MSVC STL and libstdc++ will do the same.)
.. [#note-P2944R3] Implemented comparisons for ``reference_wrapper`` only.
.. [#note-P2422R1] Libc++ keeps the ``nodiscard`` attributes as a conforming extension.
.. _issues-status-cxx2c:

View File

@ -62,7 +62,20 @@
"`4053 <https://wg21.link/LWG4053>`__","Unary call to ``std::views::repeat`` does not decay the argument","Tokyo March 2024","|Complete|","19.0","|ranges|"
"`4054 <https://wg21.link/LWG4054>`__","Repeating a ``repeat_view`` should repeat the view","Tokyo March 2024","|Complete|","19.0","|ranges|"
"","","","","",""
"`3944 <https://wg21.link/LWG3944>`__","Formatters converting sequences of ``char`` to sequences of ``wchar_t``","St. Louis June 2024","","","|format|"
"`4060 <https://wg21.link/LWG4060>`__","``submdspan`` preconditions do not forbid creating invalid pointer","St. Louis June 2024","","",""
"`4061 <https://wg21.link/LWG4061>`__","Should ``std::basic_format_context`` be default-constructible/copyable/movable?","St. Louis June 2024","","","|format|"
"`4071 <https://wg21.link/LWG4071>`__","``reference_wrapper`` comparisons are not SFINAE-friendly","St. Louis June 2024","|Complete|","19.0",""
"`4074 <https://wg21.link/LWG4074>`__","``compatible-joinable-ranges`` is underconstrained","St. Louis June 2024","","","|ranges|"
"`4076 <https://wg21.link/LWG4076>`__","``concat_view`` should be freestanding","St. Louis June 2024","","",""
"`4079 <https://wg21.link/LWG4079>`__","Missing Preconditions in ``concat_view::iterator``\`s conversion constructor","St. Louis June 2024","","","|ranges|"
"`4082 <https://wg21.link/LWG4082>`__","``views::concat(r)`` is well-formed when ``r`` is an ``output_range``","St. Louis June 2024","","","|ranges|"
"`4083 <https://wg21.link/LWG4083>`__","``views::as_rvalue`` should reject non-input ranges","St. Louis June 2024","","","|ranges|"
"`4096 <https://wg21.link/LWG4096>`__","``views::iota(views::iota(0))`` should be rejected","St. Louis June 2024","","","|ranges|"
"`4098 <https://wg21.link/LWG4098>`__","``views::adjacent<0>`` should reject non-forward ranges","St. Louis June 2024","","","|ranges|"
"`4105 <https://wg21.link/LWG4105>`__","``ranges::ends_with``\`s Returns misses difference casting","St. Louis June 2024","","","|ranges|"
"`4106 <https://wg21.link/LWG4106>`__","``basic_format_args`` should not be default-constructible","St. Louis June 2024","","","|format|"
"","","","","",""
"`3343 <https://wg21.link/LWG3343>`__","Ordering of calls to ``unlock()`` and ``notify_all()`` in Effects element of ``notify_all_at_thread_exit()`` should be reversed","Not Yet Adopted","|Complete|","16.0",""
"XXXX","","The sys_info range should be affected by save","Not Yet Adopted","|Complete|","19.0"
"`4071 <https://wg21.link/LWG4071>`__","","``reference_wrapper`` comparisons are not SFINAE-friendly","Not Yet Adopted","|Complete|","19.0"
"","","","","",""

1 Issue # Issue Name Meeting Status First released version Labels
62 `4053 <https://wg21.link/LWG4053>`__ Unary call to ``std::views::repeat`` does not decay the argument Tokyo March 2024 |Complete| 19.0 |ranges|
63 `4054 <https://wg21.link/LWG4054>`__ Repeating a ``repeat_view`` should repeat the view Tokyo March 2024 |Complete| 19.0 |ranges|
64
65 `3944 <https://wg21.link/LWG3944>`__ Formatters converting sequences of ``char`` to sequences of ``wchar_t`` St. Louis June 2024 |format|
66 `4060 <https://wg21.link/LWG4060>`__ ``submdspan`` preconditions do not forbid creating invalid pointer St. Louis June 2024
67 `4061 <https://wg21.link/LWG4061>`__ Should ``std::basic_format_context`` be default-constructible/copyable/movable? St. Louis June 2024 |format|
68 `4071 <https://wg21.link/LWG4071>`__ ``reference_wrapper`` comparisons are not SFINAE-friendly St. Louis June 2024 |Complete| 19.0
69 `4074 <https://wg21.link/LWG4074>`__ ``compatible-joinable-ranges`` is underconstrained St. Louis June 2024 |ranges|
70 `4076 <https://wg21.link/LWG4076>`__ ``concat_view`` should be freestanding St. Louis June 2024
71 `4079 <https://wg21.link/LWG4079>`__ Missing Preconditions in ``concat_view::iterator``\`s conversion constructor St. Louis June 2024 |ranges|
72 `4082 <https://wg21.link/LWG4082>`__ ``views::concat(r)`` is well-formed when ``r`` is an ``output_range`` St. Louis June 2024 |ranges|
73 `4083 <https://wg21.link/LWG4083>`__ ``views::as_rvalue`` should reject non-input ranges St. Louis June 2024 |ranges|
74 `4096 <https://wg21.link/LWG4096>`__ ``views::iota(views::iota(0))`` should be rejected St. Louis June 2024 |ranges|
75 `4098 <https://wg21.link/LWG4098>`__ ``views::adjacent<0>`` should reject non-forward ranges St. Louis June 2024 |ranges|
76 `4105 <https://wg21.link/LWG4105>`__ ``ranges::ends_with``\`s Returns misses difference casting St. Louis June 2024 |ranges|
77 `4106 <https://wg21.link/LWG4106>`__ ``basic_format_args`` should not be default-constructible St. Louis June 2024 |format|
78
79 `3343 <https://wg21.link/LWG3343>`__ Ordering of calls to ``unlock()`` and ``notify_all()`` in Effects element of ``notify_all_at_thread_exit()`` should be reversed Not Yet Adopted |Complete| 16.0
80 XXXX The sys_info range should be affected by save Not Yet Adopted |Complete| 19.0
`4071 <https://wg21.link/LWG4071>`__ ``reference_wrapper`` comparisons are not SFINAE-friendly Not Yet Adopted |Complete| 19.0
81

View File

@ -63,3 +63,16 @@
"`P2642R6 <https://wg21.link/P2642R6>`__","LWG","Padded ``mdspan`` layouts","Tokyo March 2024","","",""
"`P3029R1 <https://wg21.link/P3029R1>`__","LWG","Better ``mdspan``'s CTAD","Tokyo March 2024","|Complete|","19.0",""
"","","","","","",""
"`P2747R2 <https://wg21.link/P2747R2>`__","CWG","``constexpr`` placement new","St. Louis June 2024","","",""
"`P2997R1 <https://wg21.link/P2997R1>`__","LWG","Removing the common reference requirement from the indirectly invocable concepts","St. Louis June 2024","","",""
"`P2389R2 <https://wg21.link/P2389R2>`__","LWG","``dextents`` Index Type Parameter","St. Louis June 2024","","",""
"`P3168R2 <https://wg21.link/P3168R2>`__","LWG","Give ``std::optional`` Range Support","St. Louis June 2024","","","|ranges|"
"`P3217R0 <https://wg21.link/P3217R0>`__","LWG","Adjoints to 'Enabling list-initialization for algorithms': find_last","St. Louis June 2024","","",""
"`P2985R0 <https://wg21.link/P2985R0>`__","LWG","A type trait for detecting virtual base classes","St. Louis June 2024","","",""
"`P0843R14 <https://wg21.link/P0843R14>`__","LWG","``inplace_vector``","St. Louis June 2024","","",""
"`P3235R3 <https://wg21.link/P3235R3>`__","LWG","``std::print`` more types faster with less memory","St. Louis June 2024","","","|format| |DR|"
"`P2968R2 <https://wg21.link/P2968R2>`__","LWG","Make ``std::ignore`` a first-class object","St. Louis June 2024","","",""
"`P2075R6 <https://wg21.link/P2075R6>`__","LWG","Philox as an extension of the C++ RNG engines","St. Louis June 2024","","",""
"`P2422R1 <https://wg21.link/P2422R1>`__","LWG","Remove ``nodiscard`` annotations from the standard library specification","St. Louis June 2024","|Complete| [#note-P2422R1]_","19.0",""
"`P2300R10 <https://wg21.link/P2300R10>`__","LWG","``std::execution``","St. Louis June 2024","","",""
"","","","","","",""

1 Paper # Group Paper Name Meeting Status First released version Labels
63 `P2642R6 <https://wg21.link/P2642R6>`__ LWG Padded ``mdspan`` layouts Tokyo March 2024
64 `P3029R1 <https://wg21.link/P3029R1>`__ LWG Better ``mdspan``'s CTAD Tokyo March 2024 |Complete| 19.0
65
66 `P2747R2 <https://wg21.link/P2747R2>`__ CWG ``constexpr`` placement new St. Louis June 2024
67 `P2997R1 <https://wg21.link/P2997R1>`__ LWG Removing the common reference requirement from the indirectly invocable concepts St. Louis June 2024
68 `P2389R2 <https://wg21.link/P2389R2>`__ LWG ``dextents`` Index Type Parameter St. Louis June 2024
69 `P3168R2 <https://wg21.link/P3168R2>`__ LWG Give ``std::optional`` Range Support St. Louis June 2024 |ranges|
70 `P3217R0 <https://wg21.link/P3217R0>`__ LWG Adjoints to 'Enabling list-initialization for algorithms': find_last St. Louis June 2024
71 `P2985R0 <https://wg21.link/P2985R0>`__ LWG A type trait for detecting virtual base classes St. Louis June 2024
72 `P0843R14 <https://wg21.link/P0843R14>`__ LWG ``inplace_vector`` St. Louis June 2024
73 `P3235R3 <https://wg21.link/P3235R3>`__ LWG ``std::print`` more types faster with less memory St. Louis June 2024 |format| |DR|
74 `P2968R2 <https://wg21.link/P2968R2>`__ LWG Make ``std::ignore`` a first-class object St. Louis June 2024
75 `P2075R6 <https://wg21.link/P2075R6>`__ LWG Philox as an extension of the C++ RNG engines St. Louis June 2024
76 `P2422R1 <https://wg21.link/P2422R1>`__ LWG Remove ``nodiscard`` annotations from the standard library specification St. Louis June 2024 |Complete| [#note-P2422R1]_ 19.0
77 `P2300R10 <https://wg21.link/P2300R10>`__ LWG ``std::execution`` St. Louis June 2024
78

View File

@ -70,6 +70,7 @@ __cpp_lib_constexpr_functional 201907L <functional>
__cpp_lib_constexpr_iterator 201811L <iterator>
__cpp_lib_constexpr_memory 202202L <memory>
201811L // C++20
__cpp_lib_constexpr_new 202406L <new>
__cpp_lib_constexpr_numeric 201911L <numeric>
__cpp_lib_constexpr_string 201907L <string>
__cpp_lib_constexpr_string_view 201811L <string_view>
@ -125,6 +126,7 @@ __cpp_lib_has_unique_object_representations 201606L <type_traits>
__cpp_lib_hazard_pointer 202306L <hazard_pointer>
__cpp_lib_hypot 201603L <cmath>
__cpp_lib_incomplete_container_elements 201505L <forward_list> <list> <vector>
__cpp_lib_inplace_vector 202406L <inplace_vector>
__cpp_lib_int_pow2 202002L <bit>
__cpp_lib_integer_comparison_functions 202002L <utility>
__cpp_lib_integer_sequence 201304L <utility>
@ -143,6 +145,7 @@ __cpp_lib_is_null_pointer 201309L <type_traits>
__cpp_lib_is_pointer_interconvertible 201907L <type_traits>
__cpp_lib_is_scoped_enum 202011L <type_traits>
__cpp_lib_is_swappable 201603L <type_traits>
__cpp_lib_is_virtual_base_of 202406L <type_traits>
__cpp_lib_is_within_lifetime 202306L <type_traits>
__cpp_lib_jthread 201911L <stop_token> <thread>
__cpp_lib_latch 201907L <latch>
@ -170,9 +173,11 @@ __cpp_lib_not_fn 201603L <functional>
__cpp_lib_null_iterators 201304L <iterator>
__cpp_lib_optional 202110L <optional>
201606L // C++17
__cpp_lib_optional_range_support 202406L <optional>
__cpp_lib_out_ptr 202311L <memory>
202106L // C++23
__cpp_lib_parallel_algorithm 201603L <algorithm> <numeric>
__cpp_lib_philox_engine 202406L <random>
__cpp_lib_polymorphic_allocator 201902L <memory_resource>
__cpp_lib_print 202207L <ostream> <print>
__cpp_lib_quoted_string_io 201304L <iomanip>
@ -203,6 +208,7 @@ __cpp_lib_sample 201603L <algorithm>
__cpp_lib_saturation_arithmetic 202311L <numeric>
__cpp_lib_scoped_lock 201703L <mutex>
__cpp_lib_semaphore 201907L <semaphore>
__cpp_lib_senders 202406L <execution>
__cpp_lib_shared_mutex 201505L <shared_mutex>
__cpp_lib_shared_ptr_arrays 201707L <memory>
201611L // C++17
@ -500,6 +506,7 @@ __cpp_lib_void_t 201411L <type_traits>
# undef __cpp_lib_bind_front
# define __cpp_lib_bind_front 202306L
# define __cpp_lib_bitset 202306L
// # define __cpp_lib_constexpr_new 202406L
// # define __cpp_lib_constrained_equality 202403L
// # define __cpp_lib_copyable_function 202306L
// # define __cpp_lib_debugging 202311L
@ -519,15 +526,20 @@ __cpp_lib_void_t 201411L <type_traits>
// # define __cpp_lib_function_ref 202306L
// # define __cpp_lib_generate_random 202403L
// # define __cpp_lib_hazard_pointer 202306L
// # define __cpp_lib_inplace_vector 202406L
// # define __cpp_lib_is_virtual_base_of 202406L
// # define __cpp_lib_is_within_lifetime 202306L
// # define __cpp_lib_linalg 202311L
// # define __cpp_lib_optional_range_support 202406L
# undef __cpp_lib_out_ptr
// # define __cpp_lib_out_ptr 202311L
// # define __cpp_lib_philox_engine 202406L
// # define __cpp_lib_ranges_concat 202403L
# define __cpp_lib_ratio 202306L
// # define __cpp_lib_rcu 202306L
# define __cpp_lib_reference_wrapper 202403L
# define __cpp_lib_saturation_arithmetic 202311L
// # define __cpp_lib_senders 202406L
// # define __cpp_lib_smart_ptr_owner_equality 202306L
# define __cpp_lib_span_at 202311L
# define __cpp_lib_span_initializer_list 202311L

View File

@ -69,6 +69,9 @@ module;
# if __has_include(<hazard_pointer>)
# error "please update the header information for <hazard_pointer> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<hazard_pointer>)
# if __has_include(<inplace_vector>)
# error "please update the header information for <inplace_vector> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<inplace_vector>)
# if __has_include(<linalg>)
# error "please update the header information for <linalg> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<linalg>)

View File

@ -191,6 +191,9 @@ module;
# if __has_include(<hazard_pointer>)
# error "please update the header information for <hazard_pointer> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<hazard_pointer>)
# if __has_include(<inplace_vector>)
# error "please update the header information for <inplace_vector> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<inplace_vector>)
# if __has_include(<linalg>)
# error "please update the header information for <linalg> in headers_not_available in utils/libcxx/header_information.py"
# endif // __has_include(<linalg>)

View File

@ -18,6 +18,7 @@
/* Constant Value
__cpp_lib_execution 201603L [C++17]
201902L [C++20]
__cpp_lib_senders 202406L [C++26]
*/
#include <execution>
@ -29,12 +30,20 @@
# error "__cpp_lib_execution should not be defined before c++17"
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
#elif TEST_STD_VER == 14
# ifdef __cpp_lib_execution
# error "__cpp_lib_execution should not be defined before c++17"
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
#elif TEST_STD_VER == 17
# if !defined(_LIBCPP_VERSION)
@ -50,6 +59,10 @@
# endif
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
#elif TEST_STD_VER == 20
# if !defined(_LIBCPP_VERSION)
@ -65,6 +78,10 @@
# endif
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
#elif TEST_STD_VER == 23
# if !defined(_LIBCPP_VERSION)
@ -80,6 +97,10 @@
# endif
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
#elif TEST_STD_VER > 23
# if !defined(_LIBCPP_VERSION)
@ -95,5 +116,18 @@
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_senders
# error "__cpp_lib_senders should be defined in c++26"
# endif
# if __cpp_lib_senders != 202406L
# error "__cpp_lib_senders should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined because it is unimplemented in libc++!"
# endif
# endif
#endif // TEST_STD_VER > 23

View File

@ -16,6 +16,7 @@
// Test the feature test macros defined by <new>
/* Constant Value
__cpp_lib_constexpr_new 202406L [C++26]
__cpp_lib_destroying_delete 201806L [C++20]
__cpp_lib_hardware_interference_size 201703L [C++17]
__cpp_lib_launder 201606L [C++17]
@ -26,6 +27,10 @@
#if TEST_STD_VER < 14
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should not be defined before c++20"
# endif
@ -40,6 +45,10 @@
#elif TEST_STD_VER == 14
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should not be defined before c++20"
# endif
@ -54,6 +63,10 @@
#elif TEST_STD_VER == 17
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should not be defined before c++20"
# endif
@ -80,6 +93,10 @@
#elif TEST_STD_VER == 20
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# if TEST_STD_VER > 17 && defined(__cpp_impl_destroying_delete) && __cpp_impl_destroying_delete >= 201806L
# ifndef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should be defined in c++20"
@ -115,6 +132,10 @@
#elif TEST_STD_VER == 23
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# if TEST_STD_VER > 17 && defined(__cpp_impl_destroying_delete) && __cpp_impl_destroying_delete >= 201806L
# ifndef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should be defined in c++23"
@ -150,6 +171,19 @@
#elif TEST_STD_VER > 23
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should be defined in c++26"
# endif
# if __cpp_lib_constexpr_new != 202406L
# error "__cpp_lib_constexpr_new should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if TEST_STD_VER > 17 && defined(__cpp_impl_destroying_delete) && __cpp_impl_destroying_delete >= 201806L
# ifndef __cpp_lib_destroying_delete
# error "__cpp_lib_destroying_delete should be defined in c++26"

View File

@ -15,11 +15,12 @@
// Test the feature test macros defined by <optional>
/* Constant Value
__cpp_lib_constrained_equality 202403L [C++26]
__cpp_lib_freestanding_optional 202311L [C++26]
__cpp_lib_optional 201606L [C++17]
202110L [C++23]
/* Constant Value
__cpp_lib_constrained_equality 202403L [C++26]
__cpp_lib_freestanding_optional 202311L [C++26]
__cpp_lib_optional 201606L [C++17]
202110L [C++23]
__cpp_lib_optional_range_support 202406L [C++26]
*/
#include <optional>
@ -39,6 +40,10 @@
# error "__cpp_lib_optional should not be defined before c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
#elif TEST_STD_VER == 14
# ifdef __cpp_lib_constrained_equality
@ -53,6 +58,10 @@
# error "__cpp_lib_optional should not be defined before c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
#elif TEST_STD_VER == 17
# ifdef __cpp_lib_constrained_equality
@ -70,6 +79,10 @@
# error "__cpp_lib_optional should have the value 201606L in c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
#elif TEST_STD_VER == 20
# ifdef __cpp_lib_constrained_equality
@ -87,6 +100,10 @@
# error "__cpp_lib_optional should have the value 201606L in c++20"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
#elif TEST_STD_VER == 23
# ifdef __cpp_lib_constrained_equality
@ -104,6 +121,10 @@
# error "__cpp_lib_optional should have the value 202110L in c++23"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
#elif TEST_STD_VER > 23
# if !defined(_LIBCPP_VERSION)
@ -139,5 +160,18 @@
# error "__cpp_lib_optional should have the value 202110L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should be defined in c++26"
# endif
# if __cpp_lib_optional_range_support != 202406L
# error "__cpp_lib_optional_range_support should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined because it is unimplemented in libc++!"
# endif
# endif
#endif // TEST_STD_VER > 23

View File

@ -17,6 +17,7 @@
/* Constant Value
__cpp_lib_generate_random 202403L [C++26]
__cpp_lib_philox_engine 202406L [C++26]
*/
#include <random>
@ -28,30 +29,50 @@
# error "__cpp_lib_generate_random should not be defined before c++26"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
#elif TEST_STD_VER == 14
# ifdef __cpp_lib_generate_random
# error "__cpp_lib_generate_random should not be defined before c++26"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
#elif TEST_STD_VER == 17
# ifdef __cpp_lib_generate_random
# error "__cpp_lib_generate_random should not be defined before c++26"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
#elif TEST_STD_VER == 20
# ifdef __cpp_lib_generate_random
# error "__cpp_lib_generate_random should not be defined before c++26"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
#elif TEST_STD_VER == 23
# ifdef __cpp_lib_generate_random
# error "__cpp_lib_generate_random should not be defined before c++26"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
#elif TEST_STD_VER > 23
# if !defined(_LIBCPP_VERSION)
@ -67,5 +88,18 @@
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should be defined in c++26"
# endif
# if __cpp_lib_philox_engine != 202406L
# error "__cpp_lib_philox_engine should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined because it is unimplemented in libc++!"
# endif
# endif
#endif // TEST_STD_VER > 23

View File

@ -30,6 +30,7 @@
__cpp_lib_is_pointer_interconvertible 201907L [C++20]
__cpp_lib_is_scoped_enum 202011L [C++23]
__cpp_lib_is_swappable 201603L [C++17]
__cpp_lib_is_virtual_base_of 202406L [C++26]
__cpp_lib_is_within_lifetime 202306L [C++26]
__cpp_lib_logical_traits 201510L [C++17]
__cpp_lib_reference_from_temporary 202202L [C++23]
@ -102,6 +103,10 @@
# error "__cpp_lib_is_swappable should not be defined before c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -205,6 +210,10 @@
# error "__cpp_lib_is_swappable should not be defined before c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -329,6 +338,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -489,6 +502,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++20"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -658,6 +675,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++23"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -836,6 +857,19 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should be defined in c++26"
# endif
# if __cpp_lib_is_virtual_base_of != 202406L
# error "__cpp_lib_is_virtual_base_of should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should be defined in c++26"

View File

@ -65,6 +65,7 @@
__cpp_lib_constexpr_iterator 201811L [C++20]
__cpp_lib_constexpr_memory 201811L [C++20]
202202L [C++23]
__cpp_lib_constexpr_new 202406L [C++26]
__cpp_lib_constexpr_numeric 201911L [C++20]
__cpp_lib_constexpr_string 201907L [C++20]
__cpp_lib_constexpr_string_view 201811L [C++20]
@ -112,6 +113,7 @@
__cpp_lib_hazard_pointer 202306L [C++26]
__cpp_lib_hypot 201603L [C++17]
__cpp_lib_incomplete_container_elements 201505L [C++17]
__cpp_lib_inplace_vector 202406L [C++26]
__cpp_lib_int_pow2 202002L [C++20]
__cpp_lib_integer_comparison_functions 202002L [C++20]
__cpp_lib_integer_sequence 201304L [C++14]
@ -130,6 +132,7 @@
__cpp_lib_is_pointer_interconvertible 201907L [C++20]
__cpp_lib_is_scoped_enum 202011L [C++23]
__cpp_lib_is_swappable 201603L [C++17]
__cpp_lib_is_virtual_base_of 202406L [C++26]
__cpp_lib_is_within_lifetime 202306L [C++26]
__cpp_lib_jthread 201911L [C++20]
__cpp_lib_latch 201907L [C++20]
@ -154,9 +157,11 @@
__cpp_lib_null_iterators 201304L [C++14]
__cpp_lib_optional 201606L [C++17]
202110L [C++23]
__cpp_lib_optional_range_support 202406L [C++26]
__cpp_lib_out_ptr 202106L [C++23]
202311L [C++26]
__cpp_lib_parallel_algorithm 201603L [C++17]
__cpp_lib_philox_engine 202406L [C++26]
__cpp_lib_polymorphic_allocator 201902L [C++20]
__cpp_lib_print 202207L [C++23]
__cpp_lib_quoted_string_io 201304L [C++14]
@ -186,6 +191,7 @@
__cpp_lib_saturation_arithmetic 202311L [C++26]
__cpp_lib_scoped_lock 201703L [C++17]
__cpp_lib_semaphore 201907L [C++20]
__cpp_lib_senders 202406L [C++26]
__cpp_lib_shared_mutex 201505L [C++17]
__cpp_lib_shared_ptr_arrays 201611L [C++17]
201707L [C++20]
@ -425,6 +431,10 @@
# error "__cpp_lib_constexpr_memory should not be defined before c++20"
# endif
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should not be defined before c++20"
# endif
@ -609,6 +619,10 @@
# error "__cpp_lib_incomplete_container_elements should not be defined before c++17"
# endif
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined before c++26"
# endif
# ifdef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should not be defined before c++20"
# endif
@ -681,6 +695,10 @@
# error "__cpp_lib_is_swappable should not be defined before c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -773,6 +791,10 @@
# error "__cpp_lib_optional should not be defined before c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
# ifdef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should not be defined before c++23"
# endif
@ -781,6 +803,10 @@
# error "__cpp_lib_parallel_algorithm should not be defined before c++17"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
# ifdef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should not be defined before c++20"
# endif
@ -897,6 +923,10 @@
# error "__cpp_lib_semaphore should not be defined before c++20"
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
# ifdef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should not be defined before c++17"
# endif
@ -1261,6 +1291,10 @@
# error "__cpp_lib_constexpr_memory should not be defined before c++20"
# endif
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should not be defined before c++20"
# endif
@ -1451,6 +1485,10 @@
# error "__cpp_lib_incomplete_container_elements should not be defined before c++17"
# endif
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined before c++26"
# endif
# ifdef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should not be defined before c++20"
# endif
@ -1535,6 +1573,10 @@
# error "__cpp_lib_is_swappable should not be defined before c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -1636,6 +1678,10 @@
# error "__cpp_lib_optional should not be defined before c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
# ifdef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should not be defined before c++23"
# endif
@ -1644,6 +1690,10 @@
# error "__cpp_lib_parallel_algorithm should not be defined before c++17"
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
# ifdef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should not be defined before c++20"
# endif
@ -1775,6 +1825,10 @@
# error "__cpp_lib_semaphore should not be defined before c++20"
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
# ifdef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should not be defined before c++17"
# endif
@ -2199,6 +2253,10 @@
# error "__cpp_lib_constexpr_memory should not be defined before c++20"
# endif
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifdef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should not be defined before c++20"
# endif
@ -2431,6 +2489,10 @@
# error "__cpp_lib_incomplete_container_elements should have the value 201505L in c++17"
# endif
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined before c++26"
# endif
# ifdef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should not be defined before c++20"
# endif
@ -2527,6 +2589,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++17"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -2670,6 +2736,10 @@
# error "__cpp_lib_optional should have the value 201606L in c++17"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
# ifdef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should not be defined before c++23"
# endif
@ -2687,6 +2757,10 @@
# endif
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
# ifdef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should not be defined before c++20"
# endif
@ -2833,6 +2907,10 @@
# error "__cpp_lib_semaphore should not be defined before c++20"
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
# if !defined(_LIBCPP_HAS_NO_THREADS)
# ifndef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should be defined in c++17"
@ -3398,6 +3476,10 @@
# error "__cpp_lib_constexpr_memory should have the value 201811L in c++20"
# endif
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifndef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should be defined in c++20"
# endif
@ -3681,6 +3763,10 @@
# error "__cpp_lib_incomplete_container_elements should have the value 201505L in c++20"
# endif
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined before c++26"
# endif
# ifndef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should be defined in c++20"
# endif
@ -3810,6 +3896,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++20"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -3980,6 +4070,10 @@
# error "__cpp_lib_optional should have the value 201606L in c++20"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
# ifdef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should not be defined before c++23"
# endif
@ -3997,6 +4091,10 @@
# endif
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
# if !defined(_LIBCPP_VERSION) || _LIBCPP_AVAILABILITY_HAS_PMR
# ifndef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should be defined in c++20"
@ -4167,6 +4265,10 @@
# endif
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
# if !defined(_LIBCPP_HAS_NO_THREADS)
# ifndef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should be defined in c++20"
@ -4816,6 +4918,10 @@
# error "__cpp_lib_constexpr_memory should have the value 202202L in c++23"
# endif
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined before c++26"
# endif
# ifndef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should be defined in c++23"
# endif
@ -5123,6 +5229,10 @@
# error "__cpp_lib_incomplete_container_elements should have the value 201505L in c++23"
# endif
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined before c++26"
# endif
# ifndef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should be defined in c++23"
# endif
@ -5261,6 +5371,10 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++23"
# endif
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined before c++26"
# endif
# ifdef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should not be defined before c++26"
# endif
@ -5446,6 +5560,10 @@
# error "__cpp_lib_optional should have the value 202110L in c++23"
# endif
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined before c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should be defined in c++23"
@ -5472,6 +5590,10 @@
# endif
# endif
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined before c++26"
# endif
# if !defined(_LIBCPP_VERSION) || _LIBCPP_AVAILABILITY_HAS_PMR
# ifndef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should be defined in c++23"
@ -5726,6 +5848,10 @@
# endif
# endif
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined before c++26"
# endif
# if !defined(_LIBCPP_HAS_NO_THREADS)
# ifndef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should be defined in c++23"
@ -6438,6 +6564,19 @@
# error "__cpp_lib_constexpr_memory should have the value 202202L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should be defined in c++26"
# endif
# if __cpp_lib_constexpr_new != 202406L
# error "__cpp_lib_constexpr_new should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_constexpr_new
# error "__cpp_lib_constexpr_new should not be defined because it is unimplemented in libc++!"
# endif
# endif
# ifndef __cpp_lib_constexpr_numeric
# error "__cpp_lib_constexpr_numeric should be defined in c++26"
# endif
@ -6898,6 +7037,19 @@
# error "__cpp_lib_incomplete_container_elements should have the value 201505L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should be defined in c++26"
# endif
# if __cpp_lib_inplace_vector != 202406L
# error "__cpp_lib_inplace_vector should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_inplace_vector
# error "__cpp_lib_inplace_vector should not be defined because it is unimplemented in libc++!"
# endif
# endif
# ifndef __cpp_lib_int_pow2
# error "__cpp_lib_int_pow2 should be defined in c++26"
# endif
@ -7036,6 +7188,19 @@
# error "__cpp_lib_is_swappable should have the value 201603L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should be defined in c++26"
# endif
# if __cpp_lib_is_virtual_base_of != 202406L
# error "__cpp_lib_is_virtual_base_of should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_is_virtual_base_of
# error "__cpp_lib_is_virtual_base_of should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_is_within_lifetime
# error "__cpp_lib_is_within_lifetime should be defined in c++26"
@ -7239,6 +7404,19 @@
# error "__cpp_lib_optional should have the value 202110L in c++26"
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should be defined in c++26"
# endif
# if __cpp_lib_optional_range_support != 202406L
# error "__cpp_lib_optional_range_support should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_optional_range_support
# error "__cpp_lib_optional_range_support should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_out_ptr
# error "__cpp_lib_out_ptr should be defined in c++26"
@ -7265,6 +7443,19 @@
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should be defined in c++26"
# endif
# if __cpp_lib_philox_engine != 202406L
# error "__cpp_lib_philox_engine should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_philox_engine
# error "__cpp_lib_philox_engine should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if !defined(_LIBCPP_VERSION) || _LIBCPP_AVAILABILITY_HAS_PMR
# ifndef __cpp_lib_polymorphic_allocator
# error "__cpp_lib_polymorphic_allocator should be defined in c++26"
@ -7546,6 +7737,19 @@
# endif
# endif
# if !defined(_LIBCPP_VERSION)
# ifndef __cpp_lib_senders
# error "__cpp_lib_senders should be defined in c++26"
# endif
# if __cpp_lib_senders != 202406L
# error "__cpp_lib_senders should have the value 202406L in c++26"
# endif
# else // _LIBCPP_VERSION
# ifdef __cpp_lib_senders
# error "__cpp_lib_senders should not be defined because it is unimplemented in libc++!"
# endif
# endif
# if !defined(_LIBCPP_HAS_NO_THREADS)
# ifndef __cpp_lib_shared_mutex
# error "__cpp_lib_shared_mutex should be defined in c++26"

View File

@ -360,6 +360,12 @@ feature_test_macros = [
"values": {"c++20": 201811, "c++23": 202202},
"headers": ["memory"],
},
{
"name": "__cpp_lib_constexpr_new",
"values": {"c++26": 202406}, # P2747R2 constexpr placement new
"headers": ["new"],
"unimplemented": True,
},
{
"name": "__cpp_lib_constexpr_numeric",
"values": {"c++20": 201911},
@ -679,6 +685,12 @@ feature_test_macros = [
"values": {"c++17": 201505},
"headers": ["forward_list", "list", "vector"],
},
{
"name": "__cpp_lib_inplace_vector",
"values": {"c++26": 202406}, # P0843R14 inplace_vector
"headers": ["inplace_vector"],
"unimplemented": True,
},
{
"name": "__cpp_lib_int_pow2",
"values": {"c++20": 202002},
@ -771,6 +783,14 @@ feature_test_macros = [
"values": {"c++17": 201603},
"headers": ["type_traits"],
},
{
"name": "__cpp_lib_is_virtual_base_of",
"values": {
"c++26": 202406 # P2985R0 A type trait for detecting virtual base classes
},
"headers": ["type_traits"],
"unimplemented": True,
},
{
"name": "__cpp_lib_is_within_lifetime",
# Note this name was changed from "__cpp_lib_within_lifetime" when the paper was adopted
@ -851,7 +871,10 @@ feature_test_macros = [
},
{
"name": "__cpp_lib_mdspan",
"values": {"c++23": 202207},
"values": {
"c++23": 202207,
# "c++26": 202406, # P2389R2 dextents Index Type Parameter
},
"headers": ["mdspan"],
},
{
@ -918,6 +941,12 @@ feature_test_macros = [
"values": {"c++17": 201606, "c++23": 202110},
"headers": ["optional"],
},
{
"name": "__cpp_lib_optional_range_support",
"values": {"c++26": 202406}, # P3168R2 Give std::optional Range Support
"headers": ["optional"],
"unimplemented": True,
},
{
"name": "__cpp_lib_out_ptr",
"values": {
@ -933,6 +962,15 @@ feature_test_macros = [
"headers": ["algorithm", "numeric"],
"unimplemented": True,
},
{
"name": "__cpp_lib_philox_engine",
"values": {
"c++26": 202406
}, # P2075R6 Philox as an extension of the C++ RNG engines
# Note the paper mentions 202310L as value, which differs from the typical procedure.
"headers": ["random"],
"unimplemented": True,
},
{
"name": "__cpp_lib_polymorphic_allocator",
"values": {"c++20": 201902},
@ -945,6 +983,7 @@ feature_test_macros = [
"values": {
"c++23": 202207,
# "c++26": 202403, # P3107R5: Permit an efficient implementation of std::print
# "c++26": 202406, # P3235R3 std::print more types faster with less memory
},
"headers": ["ostream", "print"],
},
@ -957,7 +996,10 @@ feature_test_macros = [
},
{
"name": "__cpp_lib_ranges",
"values": {"c++20": 202207},
"values": {
"c++20": 202207,
# "c++26": 202406, # P2997R1 Removing the common reference requirement from the indirectly invocable concepts
},
"headers": ["algorithm", "functional", "iterator", "memory", "ranges"],
},
{
@ -1103,6 +1145,12 @@ feature_test_macros = [
"test_suite_guard": "!defined(_LIBCPP_HAS_NO_THREADS) && (!defined(_LIBCPP_VERSION) || _LIBCPP_AVAILABILITY_HAS_SYNC)",
"libcxx_guard": "!defined(_LIBCPP_HAS_NO_THREADS) && _LIBCPP_AVAILABILITY_HAS_SYNC",
},
{
"name": "__cpp_lib_senders",
"values": {"c++26": 202406}, # P2300R10 std::execution
"headers": ["execution"],
"unimplemented": True,
},
{
"name": "__cpp_lib_shared_mutex",
"values": {"c++17": 201505},

View File

@ -143,6 +143,7 @@ headers_not_available = [
"flat_set",
"generator",
"hazard_pointer",
"inplace_vector",
"linalg",
"rcu",
"spanstream",