libstdc++-v3/ChangeLog

   1 2020-05-04  Jonathan Wakely  <jwakely@redhat.com>
   2
   3         * doc/xml/faq.xml: Use working link for SGI STL FAQ.
   4         * doc/html/*: Regenerate.
   5
   6         PR libstdc++/94906
   7         * src/c++17/memory_resource.cc
   8         (monotonic_buffer_resource::_Chunk::release): Use size_t for shift
   9         operands.
  10
  11 2020-05-04  Nathan Sidwell  <nathan@acm.org>
  12
  13         PR libstdc++/94747
  14         * libsupc++/dyncast.cc (__dynamic_cast): Cast offsetof to
  15         ptrdiff_t before negation, to show intent more clearly.
  16
  17 2020-05-04  Jonathan Wakely  <jwakely@redhat.com>
  18
  19         PR libstdc++/94936
  20         * src/c++17/memory_resource.cc (synchronized_pool_resource::_TPools):
  21         Add comment about single-threaded behaviour.
  22         (synchronized_pool_resource::_TPools::move_nonempty_chunks()): Hoist
  23         class member access out of loop.
  24         (synchronized_pool_resource::synchronized_pool_resource())
  25         (synchronized_pool_resource::~synchronized_pool_resource())
  26         (synchronized_pool_resource::release()): Check __gthread_active_p
  27         before creating and/or deleting the thread-specific data key.
  28         (synchronized_pool_resource::_M_thread_specific_pools()): Adjust
  29         assertions.
  30         (synchronized_pool_resource::do_allocate(size_t, size_t)): Add fast
  31         path for single-threaded case.
  32         (synchronized_pool_resource::do_deallocate(void*, size_t, size_t)):
  33         Likewise. Return if unable to find a pool that owns the allocation.
  34         * testsuite/20_util/synchronized_pool_resource/allocate_single.cc:
  35         New test.
  36         * testsuite/20_util/synchronized_pool_resource/cons_single.cc: New
  37         test.
  38         * testsuite/20_util/synchronized_pool_resource/release_single.cc: New
  39         test.
  40
  41 2020-05-03  Jonathan Wakely  <jwakely@redhat.com>
  42
  43         PR libstdc++/94933
  44         * include/bits/stl_algobase.h (__fill_a1): Make overload for byte types
  45         usable in constant expressions.
  46         * testsuite/25_algorithms/fill_n/constexpr.cc: Test with bytes and
  47         non-scalars.
  48
  49 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
  50
  51         PR libstdc++/94901
  52         * testsuite/17_intro/badnames.cc: Test values between _E9 and _E24 too.
  53
  54 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
  55             Patrick Palka  <ppalka@redhat.com>
  56
  57         PR libstdc++/92894
  58         * include/bits/iterator_concepts.h (ranges::__cust_imove::_IMove):
  59         Add trait to determine return type and an alias for it.
  60         (ranges::__cust_imove::_IMove::operator()): Use __result instead of
  61         deduced return type.
  62         (iter_rvalue_reference_t): Use _IMove::__type instead of checking
  63         the result of ranges::iter_move.
  64         (__detail::__indirectly_readable_impl): Use iter_rvalue_reference_t
  65         instead of checking the result of ranges::iter_move.
  66         * testsuite/24_iterators/customization_points/92894.cc: New test.
  67         * testsuite/24_iterators/indirect_callable/92894.cc: New test.
  68
  69 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
  70
  71         PR libstdc++/94901
  72         * include/std/type_traits (__is_complete_or_unbounded): Replace
  73         BADNAME _T with _Tp.
  74         * testsuite/17_intro/badnames.cc: New test.
  75
  76 2020-04-30  Jonathan Wakely  <jwakely@redhat.com>
  77
  78         PR libstdc++/89510
  79         * include/bits/alloc_traits.h (allocator_traits::_S_construct)
  80         (allocator_traits::_S_destroy)
  81         (allocator_traits<allocator<T>>::construct): Use traits in
  82         noexcept-specifiers.
  83         * include/bits/allocator.h (allocator<void>::construct)
  84         (allocator<void>::destroy): Likewise.
  85         * include/ext/malloc_allocator.h (malloc_allocator::construct)
  86         (malloc_allocator::destroy): Likewise.
  87         * include/ext/new_allocator.h (new_allocator::construct)
  88         (new_allocator::destroy): Likewise.
  89         * testsuite/20_util/allocator/89510.cc: New test.
  90         * testsuite/ext/malloc_allocator/89510.cc: New test.
  91         * testsuite/ext/new_allocator/89510.cc: New test.
  92
  93 2020-04-29  Jonathan Wakely  <jwakely@redhat.com>
  94
  95         PR libstdc++/94854
  96         * include/bits/basic_string.tcc: Update comment about explicit
  97         instantiations.
  98
  99 2020-04-28  Jonathan Wakely  <jwakely@redhat.com>
 100
 101         PR libstdc++/91480
 102         * include/bits/allocator.h (__cpp_lib_allocator_is_always_equal):
 103         Remove non-standard macro.
 104         * include/bits/stl_iterator.h (__cpp_lib_constexpr_iterator): Define
 105         to indicate P1032R1 support.
 106         * include/bits/stl_pair.h (__cpp_lib_constexpr_utility): Likewise.
 107         * include/std/string_view (__cpp_lib_constexpr_string_view): Likewise.
 108         * include/std/tuple (__cpp_lib_constexpr_tuple): Likewise.
 109         * include/std/version (__cpp_lib_allocator_is_always_equal): Remove.
 110         (__cpp_lib_constexpr_iterator, __cpp_lib_constexpr_string_view)
 111         (__cpp_lib_constexpr_tuple, __cpp_lib_constexpr_utility): Define.
 112         * testsuite/20_util/function_objects/constexpr_searcher.cc: Check
 113         feature test macro.
 114         * testsuite/20_util/tuple/cons/constexpr_allocator_arg_t.cc: Likewise.
 115         * testsuite/21_strings/basic_string_view/operations/copy/char/
 116         constexpr.cc: Likewise.
 117         * testsuite/24_iterators/insert_iterator/constexpr.cc: Likewise.
 118
 119         PR libstdc++/94831
 120         * include/bits/alloc_traits.h (_S_construct): Restore placement
 121         new-expression for C++11/14/17 and call std::construct_at directly
 122         for C++20.
 123         * include/bits/stl_construct.h (_Construct): Revert to non-constexpr
 124         function returning void.
 125         * testsuite/20_util/specialized_algorithms/
 126         uninitialized_value_construct/94831.cc: New test.
 127         * testsuite/23_containers/vector/cons/94831.cc: New test.
 128
 129 2020-04-28  Patrick Palka  <ppalka@redhat.com>
 130
 131         LWG 3433 subrange::advance(n) has UB when n < 0
 132         * include/std/ranges (subrange::prev): Fix typo.
 133         (subrange::advance): Handle a negative argument as per the proposed
 134         resolution of LWG 3433.
 135         * testsuite/std/ranges/subrange/lwg3433.cc: New test.
 136
 137 2020-04-28  Jonathan Wakely  <jwakely@redhat.com>
 138             Iain Sandoe  <iain@sandoe.co.uk>
 139
 140         PR c++/94759
 141         * include/std/coroutine: Implement handing for non-
 142         class coroutine return types.
 143
 144 2020-04-24  Jonathan Wakely  <jwakely@redhat.com>
 145
 146         * include/experimental/executor (service_already_exists): Make default
 147         constructor public (LWG 3414).
 148         * testsuite/experimental/net/execution_context/make_service.cc: Check
 149         the service_already_exists can be default constructed.
 150
 151 2020-04-24  Kamlesh Kumar  <kamleshbhalui@gmail.com>
 152             Jonathan Wakely  <jwakely@redhat.com>
 153
 154         PR libstdc++/90415
 155         PR libstdc++/92156
 156         * include/std/any (any): Rename template parameters for consistency
 157         with the standard.
 158         (any::_Decay): Rename to _Decay_if_not_any.
 159         (any::any(T&&):: Remove is_constructible from constraints. Remove
 160         non-standard overload.
 161         (any::any(in_place_type_t<T>, Args&&...))
 162         (any::any(in_place_type_t<T>, initializer_list<U>, Args&&...))
 163         (any::emplace(Args&&...))
 164         (any::emplace(initializer_list<U>, Args&&...)):
 165         Use decay_t instead of _Decay.
 166         * testsuite/20_util/any/cons/90415.cc: New test.
 167         * testsuite/20_util/any/cons/92156.cc: New Test.
 168         * testsuite/20_util/any/misc/any_cast_neg.cc: Make dg-error directives
 169         more robust.
 170         * testsuite/20_util/any/modifiers/92156.cc: New test.
 171
 172 2020-04-23  Jonathan Wakely  <jwakely@redhat.com>
 173
 174         * doc/xml/manual/status_cxx2020.xml: Update C++20 status table.
 175         * doc/html/*: Regenerate.
 176
 177         * include/bits/stl_iterator.h (__cpp_lib_array_constexpr): Revert
 178         value for C++17 to 201803L because P0858R0 is supported for C++17.
 179         * include/std/version (__cpp_lib_array_constexpr): Likewise.
 180         * testsuite/23_containers/array/element_access/constexpr_c++17.cc:
 181         Check for value corresponding to P0031R0 features being tested.
 182         * testsuite/23_containers/array/requirements/constexpr_iter.cc:
 183         Check for value corresponding to P0858R0 features being tested.
 184
 185         * include/std/version (__cpp_lib_three_way_comparison): Define for
 186         freestanding builds.
 187
 188 2020-04-23  Thomas Rodgers  <rodgert@appliantology.com>
 189
 190         * include/experimental/net/executor (system_context): Mark
 191         system_context::system_context() = delete.
 192         * testsuite/experimental/net/executor/1.cc: Add new
 193         test to check system_context is not default constructible.
 194
 195 2020-04-23  Iain Sandoe  <iain@sandoe.co.uk>
 196
 197         * include/std/coroutine: Update the inline namespace to __n4861.
 198         Add the __cpp_lib_coroutine define, set to 201902L.
 199         * include/std/version: Add __cpp_lib_coroutine, set to 201902L.
 200
 201 2020-04-22  Jonathan Wakely  <jwakely@redhat.com>
 202
 203         * include/std/execution (__cpp_lib_execution): Define to indicate
 204         support for P0024R2 and P1001R2.
 205         * include/std/version (__cpp_lib_execution): Define.
 206         * testsuite/25_algorithms/pstl/feature_test.cc: Only test macro
 207         defined by <algorithm>, move other tests to new tests ...
 208         * testsuite/25_algorithms/pstl/feature_test-2.cc: New test.
 209         * testsuite/25_algorithms/pstl/feature_test-3.cc: New test.
 210         * testsuite/25_algorithms/pstl/feature_test-4.cc: New test.
 211         * testsuite/25_algorithms/pstl/feature_test-5.cc: New test.
 212
 213         * include/bits/stl_iterator.h (__cpp_lib_array_constexpr): Define
 214         different values for C++17 and C++20, to indicate different feature
 215         sets. Update value for C++20 to indicate P1032R1 support.
 216         * include/std/version (__cpp_lib_array_constexpr): Likewise.
 217         * testsuite/23_containers/array/comparison_operators/constexpr.cc:
 218         Check feature test macro.
 219         * testsuite/23_containers/array/element_access/constexpr_c++17.cc:
 220         New test.
 221         * testsuite/23_containers/array/requirements/constexpr_fill.cc: Check
 222         feature test macro.
 223         * testsuite/23_containers/array/requirements/constexpr_iter.cc: Test
 224         in C++17 mode and check feature test macro.
 225
 226         * include/std/utility (__cpp_lib_constexpr_algorithms): Do not define
 227         here.
 228         * testsuite/20_util/exchange/constexpr.cc: Do not expect macro to be
 229         defined by <utility>.
 230
 231         * include/std/functional (__cpp_lib_concepts): Update macro value to
 232         indicate P1964R2 support.
 233         * include/std/version (__cpp_lib_concepts): Likewise.
 234         * testsuite/std/concepts/1.cc: Adjust expected value.
 235         * testsuite/std/concepts/2.cc: Likewise.
 236
 237         * include/std/functional (__cpp_lib_constexpr_invoke): Rename to
 238         __cpp_lib_constexpr_functional.
 239         * include/std/version (__cpp_lib_constexpr_invoke): Likewise.
 240         * testsuite/20_util/function_objects/invoke/constexpr.cc: Adjust.
 241
 242         * include/bits/ptr_traits.h (__cpp_lib_constexpr_memory): Define to
 243         indicate P1006R1 support.
 244         (__cpp_lib_to_address): Define to indicate P0653R2 support.
 245         * include/bits/range_access.h (__cpp_lib_ssize): Define to indicate
 246         P1227R2 support.
 247         * include/bits/ranges_algo.h (__cpp_lib_shift): Define to indicate
 248         P0769R2 support.
 249         * include/std/atomic (__cpp_lib_atomic_float): Define to indicate
 250         P0020R6 support.
 251         * include/std/memory (__cpp_lib_assume_aligned): Define to indicate
 252         P1007R3 support.
 253         * include/std/memory_resource (__cpp_lib_polymorphic_allocator):
 254         Define to indicate P0339R6 support.
 255         * include/std/string_view (__cpp_lib_starts_ends_with): Define to
 256         indicate P0457R2 support.
 257         * include/std/type_traits (__cpp_lib_is_nothrow_convertible): Define
 258         to indicate P0758R1 support.
 259         (__cpp_lib_remove_cvref): Define to indicate P0550R2 support.
 260         (__cpp_lib_type_identity): Define to indicate P0887R1 support.
 261         * include/std/version (__cpp_lib_atomic_float)
 262         (__cpp_lib_is_nothrow_convertible, __cpp_lib_remove_cvref)
 263         (__cpp_lib_type_identity, __cpp_lib_assume_aligned)
 264         (__cpp_lib_constexpr_memory, __cpp_lib_polymorphic_allocator)
 265         (__cpp_lib_shift, __cpp_lib_ssize, __cpp_lib_starts_ends_with)
 266         (__cpp_lib_to_address): Define.
 267         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
 268
 269         * include/bits/stl_map.h (__cpp_lib_map_insertion): Remove old
 270         macro.
 271         * include/bits/unordered_map.h (__cpp_lib_unordered_map_insertion):
 272         Likewise.
 273         * include/std/version (__cpp_lib_map_insertion)
 274         (__cpp_lib_unordered_map_insertion): Remove.
 275
 276         * include/std/condition_variable (__cpp_lib_jthread): Remove
 277         redundant definition.
 278         * include/std/stop_token (__cpp_lib_jthread): Update macro value to
 279         indicate P1869R1 support.
 280         * include/std/version (__cpp_lib_jthread): Update value.
 281         * testsuite/30_threads/condition_variable_any/stop_token/1.cc: Check
 282         for updated macro value.
 283         * testsuite/30_threads/condition_variable_any/stop_token/2.cc:
 284         Likewise.
 285         * testsuite/30_threads/jthread/1.cc: Likewise.
 286         * testsuite/30_threads/jthread/2.cc: Likewise.
 287         * testsuite/30_threads/stop_token/1.cc: Likewise.
 288         * testsuite/30_threads/stop_token/2.cc: Likewise.
 289
 290         * testsuite/21_strings/basic_string/erasure.cc: Check for
 291         __cpp_lib_erase_if macro.
 292         * testsuite/23_containers/deque/erasure.cc: Add header name to #error
 293         messages.
 294         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
 295         * testsuite/23_containers/list/erasure.cc: Likewise.
 296         * testsuite/23_containers/map/erasure.cc: Likewise.
 297         * testsuite/23_containers/set/erasure.cc: Likewise.
 298         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
 299         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
 300         * testsuite/23_containers/vector/erasure.cc: Likewise.
 301
 302 2020-04-21  Jonathan Wakely  <jwakely@redhat.com>
 303
 304         * include/bits/stl_iterator.h (__normal_iterator): Use synth-three-way
 305         to define operator<=>.
 306         * testsuite/24_iterators/normal_iterator/cmp_c++20.cc: New test.
 307
 308         * doc/Makefile.am (xml_sources_manual): Add missing XML files.
 309         * doc/Makefile.in: Regenerate.
 310         * doc/xml/manual/status_cxx1998.xml: Refer to "this section" instead
 311         of "this page".
 312         * doc/xml/manual/status_cxx2011.xml: Formatting and other corrections
 313         to the C++11 status table.
 314         * doc/xml/manual/status_cxx2014.xml: Replace list of C++14 feature
 315         proposals with table matching contents of the C++14 standard.
 316         * doc/xml/manual/status_cxx2017.xml: Add table matching contents of
 317         the C++17 standard.
 318         * doc/html/*: Regenerate.
 319
 320         PR c++/94149
 321         * include/std/type_traits (__is_nt_constructible_impl): Add partial
 322         specializations for bounded arrays with non-empty initializers.
 323         * testsuite/20_util/is_nothrow_constructible/value_c++20.cc: New test.
 324
 325 2020-04-20  Thomas Rodgers  <trodgers@redhat.com>
 326
 327         * testsuite/lib/libstdc++.exp: Add additional_flags=
 328         -DTBB_SUPRESS_DEPRECATED_MESSAGES=1 to suppress warnings when
 329         compiling with a newer Thread Building Blocks.
 330
 331 2020-04-20  Jonathan Wakely  <jwakely@redhat.com>
 332
 333         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
 334
 335         * testsuite/20_util/is_constructible/51185.cc: Make test class a
 336         non-aggregate so that the test verifies the same thing in all -std
 337         modes.
 338         * testsuite/20_util/is_constructible/value-2.cc: Adjust expected
 339         results for some types when paren-init for aggregates is supported.
 340
 341         * include/std/version (__cpp_lib_three_way_comparison): Update value.
 342         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
 343         (__detail::__synth3way): Add noexcept-specifier.
 344
 345         * include/bits/stl_map.h (map): Define operator<=> and remove
 346         operator< for C++20.
 347         * include/bits/stl_multimap.h (multimap): Likewise.
 348         * include/bits/stl_multiset.h (multiset): Likewise.
 349         * include/bits/stl_set.h (set): Likewise.
 350         * include/bits/stl_tree.h (_Rb_tree): Likewise.
 351         (_Rb_tree_iterator, _Rb_tree_const_iterator): Remove redundant
 352         operator!= for C++20.
 353         * include/debug/map.h (__gnu_debug::map): Define operator<=> for C++20.
 354         * include/debug/multimap.h (__gnu_debug::multimap): Likewise.
 355         * include/debug/multiset.h (__gnu_debug::multiset): Likewise.
 356         * include/debug/set.h (__gnu_debug::set): Likewise.
 357         * testsuite/23_containers/map/operators/cmp_c++20.cc: New test.
 358         * testsuite/23_containers/multimap/operators/cmp_c++20.cc: New test.
 359         * testsuite/23_containers/multiset/operators/cmp_c++20.cc: New test.
 360         * testsuite/23_containers/set/operators/cmp_c++20.cc: New test.
 361
 362 2020-04-20  Matthias Kretz  <kretz@kde.org>
 363
 364         * testsuite/lib/libstdc++.exp: Avoid illegal argument to verbose.
 365
 366 2020-04-19  Jonathan Wakely  <jwakely@redhat.com>
 367
 368         * include/bits/stl_queue.h (queue): Define operator<=> for C++20.
 369         * include/bits/stl_stack.h (stack): Likewise.
 370         * testsuite/23_containers/queue/cmp_c++20.cc: New test.
 371         * testsuite/23_containers/stack/cmp_c++20.cc: New test.
 372
 373         * include/bits/unordered_map.h (unordered_map, unordered_multimap):
 374         Remove redundant operator!= for C++20.
 375         * include/bits/unordered_set.h (unordered_set, unordered_multiset):
 376         Likewise.
 377         * include/debug/unordered_map (unordered_map, unordered_multimap):
 378         Likewise.
 379         * include/debug/unordered_set (unordered_set, unordered_multiset):
 380         Likewise.
 381
 382         PR other/94629
 383         * include/debug/formatter.h (_Error_formatter::_Parameter): Fix
 384         redundant assignment in constructor.
 385
 386 2020-04-18  Jonathan Wakely  <jwakely@redhat.com>
 387
 388         * include/std/chrono (duration, time_point): Define operator<=> and
 389         remove redundant operator!= for C++20.
 390         * testsuite/20_util/duration/comparison_operators/three_way.cc: New
 391         test.
 392         * testsuite/20_util/time_point/comparison_operators/three_way.cc: New
 393         test.
 394
 395         * testsuite/util/native_type/native_priority_queue.hpp: Use
 396         allocator_traits to rebind allocator.
 397
 398 2020-04-17  Jonathan Wakely  <jwakely@redhat.com>
 399
 400         * include/bits/forward_list.h (forward_list): Define operator<=> and
 401         remove redundant comparison operators for C++20.
 402         * include/bits/stl_bvector.h (vector<bool, Alloc>): Likewise.
 403         * include/bits/stl_deque.h (deque): Likewise.
 404         * include/bits/stl_iterator.h (__normal_iterator): Likewise.
 405         * include/bits/stl_list.h (list): Likewise.
 406         * include/bits/stl_vector.h (vector): Likewise.
 407         * include/debug/deque (__gnu_debug::deque): Likewise.
 408         * include/debug/forward_list (__gnu_debug::forward_list): Likewise.
 409         * include/debug/list (__gnu_debug::list): Likewise.
 410         * include/debug/safe_iterator.h (__gnu_debug::_Safe_iterator):
 411         Likewise.
 412         * include/debug/vector (__gnu_debug::vector): Likewise.
 413         * include/ext/pointer.h (__gnu_cxx::_Pointer_adapter): Define
 414         operator<=> for C++20.
 415         * testsuite/23_containers/deque/operators/cmp_c++20.cc: New test.
 416         * testsuite/23_containers/forward_list/cmp_c++20.cc: New test.
 417         * testsuite/23_containers/list/cmp_c++20.cc: New test.
 418         * testsuite/23_containers/vector/bool/cmp_c++20.cc: New test.
 419         * testsuite/23_containers/vector/cmp_c++20.cc: New test.
 420
 421         * include/bits/basic_string.h (basic_string): Define operator<=> and
 422         remove redundant comparison operators for C++20.
 423         * include/bits/char_traits.h (__gnu_cxx::char_traits, char_traits):
 424         Add comparison_category members.
 425         (__detail::__char_traits_cmp_cat): New helper to get comparison
 426         category from char traits class.
 427         * include/bits/regex.h (regex_traits::_RegexMask::operator!=): Do not
 428         define for C++20.
 429         (sub_match): Define operator<=> and remove redundant comparison
 430         operators for C++20.
 431         (match_results): Remove redundant operator!= for C++20.
 432         * include/std/string_view (basic_string_view): Define operator<=> and
 433         remove redundant comparison operators for C++20.
 434         * testsuite/21_strings/basic_string/operators/char/cmp_c++20.cc: New
 435         test.
 436         * testsuite/21_strings/basic_string/operators/wchar_t/cmp_c++20.cc:
 437         New test.
 438         * testsuite/21_strings/basic_string_view/operations/copy/char/
 439         constexpr.cc: Initialize variable.
 440         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
 441         constexpr.cc: Likewise.
 442         * testsuite/21_strings/basic_string_view/operators/char/2.cc: Add
 443         dg-do directive and remove comments showing incorrect signatures.
 444         * testsuite/21_strings/basic_string_view/operators/wchar_t/2.cc:
 445         Likewise.
 446         * testsuite/21_strings/basic_string_view/operators/char/cmp_c++20.cc:
 447         New test.
 448         * testsuite/21_strings/basic_string_view/operators/wchar_t/cmp_c++20.cc:
 449         New test.
 450         * testsuite/28_regex/sub_match/compare_c++20.cc: New test.
 451
 452 2020-04-16  Jonathan Wakely  <jwakely@redhat.com>
 453
 454         * testsuite/20_util/unsynchronized_pool_resource/allocate.cc: Remove
 455         name of unused parameter.
 456
 457 2020-04-15  Jonathan Wakely  <jwakely@redhat.com>
 458
 459         * include/bits/fs_dir.h (file_status): Define operator== for C++20.
 460         (directory_entry): Define operator<=> and remove redundant comparison
 461         operators for C++20.
 462         * include/bits/fs_fwd.h (space_info): Define operator== for C++20.
 463         * include/bits/fs_path.h (path): Define operator<=> and remove
 464         redundant comparison operators for C++20.
 465         * testsuite/27_io/filesystem/path/compare/compare.cc: Fix comment.
 466         * testsuite/27_io/filesystem/path/compare/lwg2936.cc: Likewise.
 467         * testsuite/27_io/filesystem/path/compare/path.cc: Likewise.
 468         * testsuite/27_io/filesystem/path/compare/strings.cc: Likewise.
 469
 470         * include/bits/allocator.h (operator!=): Do not define for C++20.
 471         * include/bits/locale_classes.h (operator!=): Likewise.
 472         * include/bits/std_function.h (operator==(nullptr_t, const function&))
 473         (operator!=(const function&, nullptr_t))
 474         (operator!=(nullptr_t, const function&)): Likewise.
 475         * include/ext/bitmap_allocator.h (operator!=): Likewise.
 476         * include/ext/debug_allocator.h (operator!=): Likewise.
 477         * include/ext/extptr_allocator.h (operator!=): Likewise.
 478         * include/ext/malloc_allocator.h (operator!=): Likewise.
 479         * include/ext/mt_allocator.h (operator!=): Likewise.
 480         * include/ext/new_allocator.h (operator!=): Likewise.
 481         * include/ext/pool_allocator.h (operator!=): Likewise.
 482         * include/ext/throw_allocator.h (operator!=): Likewise.
 483         * include/std/bitset (bitset::operator!=): Likewise.
 484         * include/std/memory_resource (operator!=): Likewise.
 485         * include/std/scoped_allocator (operator!=): Likewise.
 486
 487         * include/std/typeindex (operator<=>): Define for C++20.
 488         * testsuite/20_util/typeindex/comparison_operators_c++20.cc: New test.
 489
 490 2020-04-14  Jonathan Wakely  <jwakely@redhat.com>
 491
 492         * libsupc++/compare (compare_three_way): Fix constraint so that
 493         BUILTIN-PTR-THREE-WAY does not require three_way_comparable_with.
 494         * testsuite/18_support/comparisons/object/builtin-ptr-three-way.cc:
 495         New test.
 496
 497         PR libstdc++/94562
 498         * include/bits/shared_ptr.h (operator<=>): Define for C++20.
 499         * include/bits/shared_ptr_base.h (operator<=>): Likewise.
 500         * include/bits/unique_ptr.h (operator<=>): Add inline specifier.
 501         * testsuite/20_util/shared_ptr/comparison/cmp_c++20.cc: New test.
 502         * testsuite/20_util/shared_ptr/comparison/less.cc: Do not expect
 503         std::less<A*> to be used when comparing std::shared_ptr<A> objects in
 504         C++20.
 505
 506         PR libstdc++/94565
 507         * libsupc++/compare (__unspec): Add noexcept-specifier to constructor.
 508         * testsuite/18_support/comparisons/categories/94565.cc: New test.
 509
 510 2020-04-13  Iain Sandoe  <iain@sandoe.co.uk>
 511
 512         * include/std/coroutine: Update coroutines builtin define,
 513         per n4861.
 514
 515 2020-04-09  Jonathan Wakely  <jwakely@redhat.com>
 516
 517         * libsupc++/compare (compare_three_way): Fix noexcept-specifier.
 518         (strong_order, weak_order, partial_order): Replace uses of <=> with
 519         compare_three_way function object (LWG 3324).
 520         * testsuite/18_support/comparisons/algorithms/partial_order.cc: Add
 521         equality operator so that X satisfies three_way_comparable.
 522         * testsuite/18_support/comparisons/algorithms/strong_order.cc:
 523         Likewise.
 524         * testsuite/18_support/comparisons/algorithms/weak_order.cc: Likewise.
 525
 526         * include/bits/unique_ptr.h (operator<=>): Define for C++20.
 527         * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error line.
 528         * testsuite/20_util/default_delete/void_neg.cc: Likewise.
 529         * testsuite/20_util/unique_ptr/comparison/compare.cc: New test.
 530         * testsuite/20_util/unique_ptr/comparison/compare_c++20.cc: New test.
 531
 532 2020-04-08  Jonathan Wakely  <jwakely@redhat.com>
 533
 534         * include/bits/slice_array.h (operator==(const slice&, const slice&)):
 535         Define for C++20.
 536         * include/std/complex (operator==(const T&, const complex<T>&))
 537         (operator!=(const complex<T>&, const complex<T>&))
 538         (operator!=(const complex<T>&, const T&))
 539         (operator!=(const T&, const complex<T>&)): Do not declare for C++20.
 540         * testsuite/26_numerics/slice/compare.cc: New test.
 541
 542         * include/std/charconv (to_chars_result, from_chars_result): Add
 543         defaulted equality comparisons for C++20.
 544         * testsuite/20_util/from_chars/compare.cc: New test.
 545         * testsuite/20_util/to_chars/compare.cc: New test.
 546
 547 2020-04-07  Jonathan Wakely  <jwakely@redhat.com>
 548
 549         PR libstdc++/94520
 550         * include/std/charconv (__integer_to_chars_result_type)
 551         (__integer_from_chars_result_type): Use __or_ instead of __or_v_ to
 552         allow use in C++14.
 553         * testsuite/20_util/from_chars/1.cc: Run test as C++14 and replace
 554         use of std::string_view with std::string.
 555         * testsuite/20_util/from_chars/2.cc: Likewise.
 556         * testsuite/20_util/to_chars/1.cc: Likewise.
 557         * testsuite/20_util/to_chars/2.cc: Likewise.
 558
 559 2020-04-06  Jonathan Wakely  <jwakely@redhat.com>
 560
 561         PR libstdc++/94498
 562         * include/bits/char_traits.h (__gnu_cxx::char_traits::move): Make it
 563         usable in constant expressions for C++20.
 564         (__gnu_cxx::char_traits::copy, __gnu_cxx::char_traits::assign): Add
 565         _GLIBCXX20_CONSTEXPR.
 566         (std::char_traits<char>, std::char_traits<wchar_t>)
 567         (std::char_traits<char8_t>): Make move, copy and assign usable in
 568         constant expressions for C++20.
 569         (std::char_traits<char16_t>, std::char_traits<char32_t>): Make move
 570         and copy usable in constant expressions for C++20.
 571         * include/std/string_view (basic_string_view::copy): Add
 572         _GLIBCXX20_CONSTEXPR.
 573         * testsuite/21_strings/basic_string_view/operations/copy/char/
 574         constexpr.cc: New test.
 575         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
 576         constexpr.cc: New test.
 577
 578 2020-04-05  Gerald Pfeifer  <gerald@pfeifer.com>
 579
 580         * doc/xml/manual/appendix_contributing.xml: Refer to Git
 581         documentation instead of Subversion.  Switch to https.
 582         * doc/html/manual/appendix_contributing.html: Regenerate.
 583
 584 2020-04-03  Jonathan Wakely  <jwakely@redhat.com>
 585
 586         PR libstdc++/93960
 587         * include/bits/ptr_traits.h (__to_address): Add special case for debug
 588         iterators, to avoid dereferenceable check.
 589         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
 590         * testsuite/20_util/to_address/debug.cc: New test.
 591
 592 2020-04-01  Andrea Corallo  <andrea.corallo@arm.com>
 593
 594         * testsuite/experimental/net/execution_context/use_service.cc:
 595         Require pthread and gthreads.
 596
 597 2020-04-01  Gerald Pfeifer  <gerald@pfeifer.com>
 598
 599         * doc/xml/manual/appendix_free.xml: Move "free books" list from
 600         fsf.org to gnu.org.
 601         * doc/html/manual/appendix_free.html: Regenerate.
 602
 603 2020-03-31  Ville Voutilainen  <ville.voutilainen@gmail.com>
 604
 605         Library-side tests for parenthesized aggregate init
 606
 607         PR c++/92878
 608         PR c++/92947
 609
 610         * testsuite/20_util/allocator_traits/members/92878_92947.cc: New.
 611         * testsuite/20_util/any/assign/92878_92947.cc: Likewise.
 612         * testsuite/20_util/any/cons/92878_92947.cc: Likewise.
 613         * testsuite/20_util/is_constructible/92878_92947.cc: Likewise.
 614         * testsuite/20_util/optional/assignment/92878_92947.cc: Likewise.
 615         * testsuite/20_util/optional/cons/92878_92947.cc: Likewise.
 616         * testsuite/20_util/pair/cons/92878_92947.cc: Likewise.
 617         * testsuite/20_util/shared_ptr/creation/92878_92947.cc: Likewise.
 618         * testsuite/20_util/specialized_algorithms/construct_at/92878_92947.cc:
 619         Likewise.
 620         * testsuite/20_util/unique_ptr/creation/92878_92947.cc: Likewise.
 621         * testsuite/20_util/uses_allocator/92878_92947.cc: Likewise.
 622         * testsuite/20_util/variant/92878_92947.cc: Likewise.
 623         * testsuite/23_containers/deque/modifiers/emplace/92878_92947.cc:
 624         Likewise.
 625         * testsuite/23_containers/forward_list/modifiers/92878_92947.cc:
 626         Likewise.
 627         * testsuite/23_containers/list/modifiers/emplace/92878_92947.cc:
 628         Likewise.
 629         * testsuite/23_containers/map/modifiers/emplace/92878_92947.cc:
 630         Likewise.
 631         * testsuite/23_containers/multimap/modifiers/emplace/92878_92947.cc:
 632         Likewise.
 633         * testsuite/23_containers/multiset/modifiers/emplace/92878_92947.cc:
 634         Likewise.
 635         * testsuite/23_containers/priority_queue/92878_92947.cc: Likewise.
 636         * testsuite/23_containers/queue/92878_92947.cc: Likewise.
 637         * testsuite/23_containers/set/modifiers/emplace/92878_92947.cc:
 638         Likewise.
 639         * testsuite/23_containers/stack/92878_92947.cc: Likewise.
 640         * testsuite/23_containers/unordered_map/modifiers/92878_92947.cc:
 641         Likewise.
 642         * testsuite/23_containers/unordered_multimap/modifiers/92878_92947.cc:
 643         Likewise.
 644         * testsuite/23_containers/unordered_multiset/modifiers/92878_92947.cc:
 645         Likewise.
 646         * testsuite/23_containers/unordered_set/modifiers/92878_92947.cc:
 647         Likewise.
 648         * testsuite/23_containers/vector/modifiers/emplace/92878_92947.cc:
 649         Likewise.
 650
 651 2020-03-28  Jonathan Wakely  <jwakely@redhat.com>
 652
 653         * testsuite/20_util/is_constructible/value-2.cc: Fix test to account
 654         for changes due to parenthesized aggregate-initialization in C++20.
 655         * testsuite/20_util/time_point/cons/81468.cc: Fix test to not clash
 656         with std::chrono::sys_time in C++20.
 657
 658         * include/bits/stl_iterator.h (reverse_iterator): Use requires-clause
 659         to constrain C++20 versions of comparison operators. Fix backwards
 660         logic of relational operators.
 661         (move_iterator): Use requires-clause to constrain comparison operators
 662         in C++20. Do not declare non-standard same-type overloads for C++20.
 663         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: Check result
 664         of comparisons and check using greedy_ops type.
 665         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: Likewise.
 666         * testsuite/24_iterators/move_iterator/greedy_ops.cc: Remove redundant
 667         main function from compile-only test.
 668         * testsuite/24_iterators/reverse_iterator/greedy_ops.cc: Likewise.
 669
 670 2020-03-27  Jonathan Wakely  <jwakely@redhat.com>
 671
 672         * include/bits/range_cmp.h (__cpp_lib_ranges): Define.
 673         * include/bits/stl_iterator.h: Check value of __cpp_concepts so that
 674         C++20 concepts are required.
 675         * include/bits/stl_iterator_base_types.h: Likewise.
 676         * include/std/concepts: Likewise.
 677         * include/std/version: Likewise.
 678         * testsuite/std/ranges/headers/ranges/synopsis.cc: Check feature test
 679         macro.
 680
 681         * include/bits/stl_iterator.h (reverse_iterator::iterator_concept)
 682         (reverse_iterator::iterator_category): Define for C++20.
 683         (reverse_iterator): Define comparison operators correctly for C++20.
 684         (__normal_iterator): Add constraints to comparison operators for C++20.
 685         (move_iterator::operator++(int)) [__cpp_lib_concepts]: Define new
 686         overload for input iterators.
 687         (move_iterator): Add constraints to comparison operators for C++20.
 688         Define operator<=> for C++20.
 689         * testsuite/24_iterators/move_iterator/input_iterator.cc: New test.
 690         * testsuite/24_iterators/move_iterator/move_only.cc: New test.
 691         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: New test.
 692         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: New test.
 693
 694         * include/bits/iterator_concepts.h (__detail::__decay_copy)
 695         (__detail::__member_begin, __detail::__adl_begin): Move here from
 696         <bits/range_access.h>.
 697         (__detail::__ranges_begin, __detail::__range_iter_t): Define.
 698         * bits/range_access.h (__cust_access::__decay_copy)
 699         (__cust_access::__member_begin, __cust_access::__adl_begin): Move to
 700         <bits/iterator_concepts.h>.
 701         (ranges::iterator_t): Use __detail::__range_iter_t.
 702         * include/bits/stl_iterator.h (back_insert_iterator): Simplify
 703         conditional compilation. Add _GLIBCXX20_CONSTEXPR to all members.
 704         (front_insert_iterator): Likewise.
 705         (insert_iterator): Implement changes from P0896R4 for C++20.
 706         * testsuite/24_iterators/back_insert_iterator/constexpr.cc: New test.
 707         * testsuite/24_iterators/front_insert_iterator/constexpr.cc: New test.
 708         * testsuite/24_iterators/headers/iterator/synopsis_c++17.cc: Adjust
 709         for inclusion in synopsis_c++20.cc which expects different signatures
 710         for some function templates.
 711         * testsuite/24_iterators/insert_iterator/constexpr.cc: New test.
 712
 713         * include/std/type_traits (__is_array_convertible): Move definition
 714         to immediately after is_convertible.
 715
 716 2020-03-26  Jonathan Wakely  <jwakely@redhat.com>
 717
 718         * include/std/chrono (chrono::days, chrono::weeks, chrono::years)
 719         (chrono::months, chrono::sys_days, chrono::local_t)
 720         (chrono::local_time, chrono::local_seconds, chrono::local_days):
 721         Define for C++20.
 722         (chrono::time_point): Add missing static assert.
 723         * testsuite/20_util/time_point/requirements/duration_neg.cc: New test.
 724         * testsuite/std/time/clock/file/overview.cc: New test.
 725         * testsuite/std/time/clock/file/members.cc: New test.
 726         * testsuite/std/time/syn_c++20.cc: New test.
 727
 728 2020-03-25  Mike Crowe  <mac@mcrowe.com>
 729
 730         * testsuite/30_threads/shared_timed_mutex/try_lock_until/1.cc: New
 731         test.
 732         * testsuite/30_threads/shared_timed_mutex/try_lock_until/2.cc: New
 733         test.
 734
 735 2020-03-25  Jonathan Wakely  <jwakely@redhat.com>
 736
 737         * include/bits/fs_fwd.h (filesystem::__file_clock): Move to ...
 738         * include/std/chrono (filesystem::__file_clock): Here.
 739         (filesystem::__file_clock::from_sys, filesystem::__file_clock::to_sys):
 740         Define public member functions for C++20.
 741         (is_clock, is_clock_v): Define traits for C++20.
 742         * include/std/condition_variable (condition_variable::wait_until): Add
 743         check for valid clock.
 744         * include/std/future (_State_baseV2::wait_until): Likewise.
 745         * include/std/mutex (__timed_mutex_impl::_M_try_lock_until): Likewise.
 746         * include/std/shared_mutex (shared_timed_mutex::try_lock_shared_until):
 747         Likewise.
 748         * include/std/thread (this_thread::sleep_until): Likewise.
 749         * testsuite/30_threads/condition_variable/members/2.cc: Qualify
 750         slow_clock with new namespace.
 751         * testsuite/30_threads/condition_variable/members/clock_neg.cc: New
 752         test.
 753         * testsuite/30_threads/condition_variable_any/members/clock_neg.cc:
 754         New test.
 755         * testsuite/30_threads/future/members/clock_neg.cc: New test.
 756         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/3.cc:
 757         Qualify slow_clock with new namespace.
 758         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/
 759         clock_neg.cc: New test.
 760         * testsuite/30_threads/shared_future/members/clock_neg.cc: New
 761         test.
 762         * testsuite/30_threads/shared_lock/locking/clock_neg.cc: New test.
 763         * testsuite/30_threads/shared_timed_mutex/try_lock_until/clock_neg.cc:
 764         New test.
 765         * testsuite/30_threads/timed_mutex/try_lock_until/3.cc: Qualify
 766         slow_clock with new namespace.
 767         * testsuite/30_threads/timed_mutex/try_lock_until/4.cc: Likewise.
 768         * testsuite/30_threads/timed_mutex/try_lock_until/clock_neg.cc: New
 769         test.
 770         * testsuite/30_threads/unique_lock/locking/clock_neg.cc: New test.
 771         * testsuite/std/time/traits/is_clock.cc: New test.
 772         * testsuite/util/slow_clock.h (slow_clock): Move to __gnu_test
 773         namespace.
 774
 775 2020-03-21  Jonathan Wakely  <jwakely@redhat.com>
 776
 777         PR libstdc++/93245
 778         * include/experimental/bits/fs_path.h (path::generic_string<C,T,A>()):
 779         * testsuite/experimental/filesystem/path/generic/generic_string.cc:
 780         Improve test coverage.
 781
 782         PR libstdc++/94242
 783         * include/bits/fs_path.h (path::_S_str_convert): Replace first
 784         parameter with basic_string_view so that strings with different
 785         allocators can be accepted.
 786         (path::generic_string<C,T,A>()): Use basic_string object that uses the
 787         right allocator type.
 788         * testsuite/27_io/filesystem/path/generic/94242.cc: New test.
 789         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Improve
 790         test coverage.
 791
 792 2020-03-18  Jonathan Wakely  <jwakely@redhat.com>
 793
 794         PR libstdc++/94033
 795         * include/std/type_traits (__is_nt_default_constructible_atom): Remove.
 796         (__is_nt_default_constructible_impl): Remove.
 797         (__is_nothrow_default_constructible_impl): Remove.
 798         (__is_nt_constructible_impl): Add bool template parameter. Adjust
 799         partial specializations.
 800         (__is_nothrow_constructible_impl): Replace class template with alias
 801         template.
 802         (is_nothrow_default_constructible): Derive from alias template
 803         __is_nothrow_constructible_impl instead of
 804         __is_nothrow_default_constructible_impl.
 805         * testsuite/20_util/is_nothrow_constructible/94003.cc: New test.
 806
 807         * include/std/stop_token (stop_token::_Stop_state_ref): Define
 808         comparison operators explicitly if the compiler won't synthesize them.
 809
 810         * include/bits/stl_algobase.h (__lexicographical_compare_aux): Check
 811         __cpp_lib_concepts before using iter_reference_t.
 812         * include/bits/stream_iterator.h (istream_iterator): Check
 813         __cpp_lib_concepts before using default_sentinel_t.
 814         * include/bits/streambuf_iterator.h (istreambuf_iterator): Likewise.
 815
 816         PR libstdc++/94203
 817         * include/experimental/executor (executor::executor(Executor)): Call
 818         make_shared directly instead of _M_create. Create _Tgt1 object.
 819         (executor::executor(allocator_arg_t, const ProtoAlloc&, Executor)):
 820         Call allocate_shared directly instead of _M_create. Create _Tgt2
 821         object.
 822         (executor::target_type): Add cast needed for new _Tgt interface.
 823         (executor::target): Define when RTTI is disabled. Use _Tgt::_M_func.
 824         (executor::_Tgt): Define the same interface whether RTTI is enabled or
 825         not.
 826         (executor::_Tgt::target_type, executor::_Tgt::target): Do not use
 827         std::type_info in the interface.
 828         (executor::_Tgt::_M_func): Add data member.
 829         (executor::_TgtImpl): Replace with _Tgt1 and _Tgt2 class templates.
 830         (executor::_Tgt1::_S_func): Define function to access target without
 831         depending on RTTI.
 832         (executor::_M_create): Remove.
 833         (operator==, operator!=): Simplify comparisons for executor.
 834         * include/experimental/socket (is_error_code_enum<socket_errc>):
 835         Define specialization before use.
 836         * testsuite/experimental/net/executor/1.cc: New test.
 837
 838 2020-03-16  Jonathan Wakely  <jwakely@redhat.com>
 839
 840         PR libstdc++/94199
 841         * include/experimental/executor (service_already_exists): Add default
 842         constructor. Declare make_service to be a friend.
 843         * testsuite/experimental/net/execution_context/make_service.cc: New
 844         test.
 845
 846 2020-03-12  Jonathan Wakely  <jwakely@redhat.com>
 847
 848         * testsuite/tr1/8_c_compatibility/cstdlib/functions.cc: Do not pass
 849         a null pointer to functions with nonnull(1) attribute.
 850
 851 2020-03-11  Patrick Palka  <ppalka@redhat.com>
 852
 853         * include/std/ranges (split_view::_OuterIter::_OuterIter): Typo fix,
 854         'address' -> 'std::__addressof'.
 855         * testsuite/std/ranges/adaptors/split.cc: Test taking the split_view of
 856         a non-forward input_range.
 857         * testsuite/util/testsuite_iterators.h (output_iterator_wrapper): Make
 858         default constructor protected instead of deleted, like with
 859         input_iterator_wrapper.
 860         (test_range::iterator): Add comment explaining that this type is used
 861         only when the underlying wrapper is input_iterator_wrapper or
 862         output_iterator_wrapper.  Remove delegating defaulted constructor so
 863         that the inherited default constructor is used instead.
 864
 865         LWG 3286 ranges::size is not required to be valid after a call to
 866         ranges::begin on an input range
 867         * include/std/ranges (subrange::subrange): Split single-argument
 868         constructor into two, one constrained by _S_store_size and another by
 869         !_S_store_size.
 870         (take_view::begin): Call size() before calling ranges::begin(_M_base).
 871         * testsuite/std/ranges/adaptors/lwg3286.cc: New test.
 872         * testsuite/std/ranges/subrange/lwg3286.cc: New test.
 873
 874 2020-03-10  Jonathan Wakely  <jwakely@redhat.com>
 875
 876         * include/std/ranges (split_view::_OuterIter::__at_end): Use __current
 877         instead of _M_current.
 878         (split_view::_OuterIter::operator++): Likewise.
 879
 880         * include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
 881         (transform_view::_Iterator::operator*): Add noexcept-specifier.
 882         (transform_view::_Iterator::iter_move): Inline __iter_move body here.
 883         (split_view::_OuterIter::__current): Add noexcept.
 884         (split_view::_InnerIter::__iter_swap): Remove.
 885         (split_view::_InnerIter::__iter_move): Remove.
 886         (split_view::_InnerIter::_M_i_current): New accessors.
 887         (split_view::_InnerIter::__at_end): Use _M_i_current().
 888         (split_view::_InnerIter::operator*): Likewise.
 889         (split_view::_InnerIter::operator++): Likewise.
 890         (iter_move(const _InnerIter&)): Likewise.
 891         (iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
 892         * testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
 893         for iter_move and iter_swap on split_view's inner iterator.
 894
 895         PR c++/94117
 896         * include/std/ranges (ranges::transform_view::_Iterator::iter_move):
 897         Change expression in noexcept-specifier to match function body.
 898
 899         * testsuite/23_containers/unordered_set/allocator/ext_ptr.cc: Add
 900         comment explaining multiple dg-do directives.
 901         * testsuite/24_iterators/ostream_iterator/1.cc: Fix do-do directive
 902         so test is run as well as compiled.
 903
 904 2020-03-09  Jonathan Wakely  <jwakely@redhat.com>
 905
 906         PR libstdc++/94063
 907         * src/c++17/fs_path.cc (path::operator+=(const path&)): Add kluge to
 908         handle concatenations that change the type of the first component.
 909         (path::operator+=(basic_string_view<value_type>)): Likewise.
 910         * testsuite/27_io/filesystem/path/concat/94063.cc: New test.
 911
 912 2020-03-06  Patrick Palka  <ppalka@redhat.com>
 913
 914         * include/std/ranges (join_view::_Sentinel<_Const>): Befriend
 915         join_view::_Sentinel<!_Const>.
 916         * testsuite/std/ranges/adaptors/join.cc: Augment test.
 917
 918         PR libstdc++/93978
 919         * include/bits/range_access.h (__cust_access::_Empty::operator()):
 920         Declare return type to be bool instead of auto.
 921         * testsuite/std/ranges/adaptors/93978.cc: New test.
 922
 923 2020-03-06  Jonathan Wakely  <jwakely@redhat.com>
 924
 925         PR libstdc++/94069
 926         * include/std/shared_mutex [!PTHREAD_RWLOCK_INITIALIZER]
 927         (__shared_mutex_pthread::__shared_mutex_pthread()): Remove incorrect
 928         second argument to __glibcxx_rwlock_init.
 929         * testsuite/30_threads/shared_timed_mutex/94069.cc: New test.
 930
 931         PR libstdc++/93244
 932         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Adjust
 933         test to not fail due to PR 94063.
 934         * testsuite/27_io/filesystem/path/generic/utf.cc: Likewise.
 935         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: Likewise.
 936
 937 2020-03-06  Andreas Krebbel  <krebbel@linux.ibm.com>
 938
 939         * src/c++11/system_error.cc: Omit the ENOTSUP case statement if it
 940         would match ENOSYS.
 941
 942 2020-03-05  Jonathan Wakely  <jwakely@redhat.com>
 943
 944         * testsuite/27_io/filesystem/operations/all.cc: Mark unused variable.
 945         * testsuite/27_io/filesystem/operations/copy.cc: Fix typo.
 946         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
 947         * testsuite/27_io/filesystem/operations/file_size.cc: Use correct type
 948         for return value, and in comparison.
 949         * testsuite/experimental/filesystem/operations/file_size.cc: Likewise.
 950
 951         PR libstdc++/94051
 952         * include/std/string_view: Include <bits/ostream_insert.h>.
 953         * testsuite/21_strings/basic_string_view/inserters/94051.cc: New test.
 954
 955 2020-03-04  Jonathan Wakely  <jwakely@redhat.com>
 956
 957         * include/bits/cpp_type_traits.h (__memcpyable): Fix comment.
 958
 959 2020-03-04  Patrick Palka  <ppalka@redhat.com>
 960
 961         PR libstdc++/94017
 962         * include/bits/ranges_algobase.h (__fill_n_fn::operator()): Refine
 963         condition for when to use memset, making sure to additionally check that
 964         the output pointer's value type is a non-volatile byte type.  Instead of
 965         requiring that the fill type is a byte type, just require that it's an
 966         integral type.
 967         * testsuite/20_util/specialized_algorithms/uninitialized_fill/94017.cc:
 968         New test.
 969         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/94017.cc:
 970         New test.
 971         * testsuite/25_algorithms/fill/94013.cc: Uncomment part of test that was
 972         blocked by PR 94017.
 973         * testsuite/25_algorithms/fill/94017.cc: New test.
 974         * testsuite/25_algorithms/fill_n/94017.cc: New test.
 975
 976         LWG 3355 The memory algorithms should support move-only input iterators
 977         introduced by P1207
 978         * include/bits/ranges_uninitialized.h
 979         (__uninitialized_copy_fn::operator()): Use std::move to avoid attempting
 980         to copy __ifirst, which could be a move-only input iterator.  Use
 981         operator- instead of ranges::distance to compute distance from a sized
 982         sentinel.
 983         (__uninitialized_copy_n_fn::operator()): Likewise.
 984         (__uninitialized_move_fn::operator()): Likewise.
 985         (__uninitialized_move_n_fn::operator()): Likewise.
 986         (__uninitialized_destroy_fn::operator()): Use std::move to avoid
 987         attempting to copy __first.
 988         (__uninitialized_destroy_n_fn::operator()): Likewise.
 989         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
 990         Augment test.
 991         * .../specialized_algorithms/uninitialized_copy/constrained.cc:
 992         Likewise.
 993         * .../specialized_algorithms/uninitialized_move/constrained.cc:
 994         Likewise.
 995
 996         * testsuite/util/testsuite_iterators.h (test_range::get_iterator): Make
 997         protected instead of private.
 998         (test_sized_range_sized_sent): New.
 999
1000         * testsuite/util/testsuite_iterators.h (input_iterator_wrapper_nocopy):
1001         New testsuite iterator.
1002         * testsuite/24_iterators/counted_iterator/lwg3389.cc: use it.
1003         * testsuite/24_iterators/move_iterator/lwg3390.cc: Likewise.
1004
1005         * include/bits/ranges_uninitialized.h
1006         (uninitialized_copy_fn::operator()): Pass a reference type as the first
1007         argument to is_nothrow_assignable_v.
1008         (uninitialized_copy_fn::operator()): Likewise.
1009         (uninitialized_move_fn::operator()): Likewise.  Return an in_out_result
1010         with the input iterator stripped of its move_iterator.
1011         (uninitialized_move_n_fn::operator()): Likewise.
1012         (uninitialized_fill_fn::operator()): Pass a reference type as the first
1013         argument to is_nothrow_assignable_v.
1014         (uninitialized_fill_n_fn::operator()): Likewise.
1015
1016 2020-03-03  Jonathan Wakely  <jwakely@redhat.com>
1017
1018         PR libstdc++/94013
1019         * include/bits/cpp_type_traits.h (__memcpyable, __memcmpable): New
1020         traits to control when to use memmove and memcmp optimizations.
1021         (__is_nonvolatile_trivially_copyable): New helper trait.
1022         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Do not
1023         use memcmp optimization with volatile data.
1024         * include/bits/ranges_algobase.h (__equal_fn): Use __memcmpable.
1025         (__copy_or_move, __copy_or_move_backward): Use __memcpyable.
1026         * include/bits/stl_algobase.h (__copy_move_a2): Use __memcpyable.
1027         (__copy_move_backward_a2): Likewise.
1028         (__equal_aux1): Use __memcmpable.
1029         (__lexicographical_compare_aux): Do not use memcmp optimization with
1030         volatile data.
1031         * testsuite/25_algorithms/copy/94013.cc: New test.
1032         * testsuite/25_algorithms/copy_backward/94013.cc: New test.
1033         * testsuite/25_algorithms/equal/94013.cc: New test.
1034         * testsuite/25_algorithms/fill/94013.cc: New test.
1035         * testsuite/25_algorithms/lexicographical_compare/94013.cc: New test.
1036         * testsuite/25_algorithms/move/94013.cc: New test.
1037         * testsuite/25_algorithms/move_backward/94013.cc: New test.
1038
1039         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
1040         Avoid redundant iterator comparisons (LWG 3410).
1041
1042 2020-03-02  Jonathan Wakely  <jwakely@redhat.com>
1043
1044         PR libstdc++/93972
1045         * include/bits/stl_algobase.h (__memcmp): Allow pointer types to
1046         differ.
1047         * testsuite/25_algorithms/lexicographical_compare/uchar.cc: New test.
1048
1049         * include/std/ranges (__detail::__maybe_empty_t): Rename to
1050         __maybe_present_t.
1051         (__adaptor::_RangeAdaptor, join_view, split_view): Use new name.
1052
1053         * include/bits/ranges_algo.h (shift_right): Add 'typename' to
1054         dependent type.
1055
1056 2020-03-01  H.J. Lu  <hongjiu.lu@intel.com>
1057
1058         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
1059
1060 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
1061
1062         * testsuite/17_intro/headers/c++1998/charset.cc: Skip on *-*-hpux*.
1063         * testsuite/17_intro/headers/c++2011/charset.cc: Likewise.
1064         * testsuite/17_intro/headers/c++2014/charset.cc: Likewise.
1065         * testsuite/17_intro/headers/c++2017/charset.cc: Likewise.
1066         * testsuite/17_intro/headers/c++2020/charset.cc: Likewise.
1067
1068         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
1069         Add libatomic option.
1070         * testsuite/30_threads/jthread/jthread.cc: Likewise.
1071
1072 2020-02-29  François Dumont  <fdumont@gcc.gnu.org>
1073
1074         * include/bits/stl_algo.h
1075         (__find_if, __count_if, __is_permutation, std::is_permutation): Move...
1076         * include/bits/stl_algobase.h: ...here.
1077         * include/bits/hashtable_policy.h: Remove <bits/stl_algo.h> include.
1078
1079 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
1080
1081         * testsuite/30_threads/stop_token/stop_callback.cc: Add libatomic
1082         option.
1083         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc:
1084         Likewise.
1085         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: Likewise.
1086         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: Likewise.
1087         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: Likewise.
1088         * testsuite/30_threads/stop_token/stop_source.cc: Likewise.
1089         * testsuite/30_threads/stop_token/stop_source/assign.cc: Likewise.
1090         * testsuite/30_threads/stop_token/stop_token.cc: Likewise.
1091         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc:
1092         Likewise.
1093
1094         PR libstdc++/92906
1095         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
1096
1097 2020-02-28  Patrick Palka  <ppalka@redhat.com>
1098
1099         PR libstdc++/93972
1100         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
1101         Fix condition for when to use memcmp, making it consistent with the
1102         corresponding condition used in std::lexicographical_compare.
1103         * testsuite/25_algorithms/lexicographical_compare/93972.cc: New test.
1104
1105         * testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
1106         functions introduced in C++11, C++17 and C++2a.  Add 'constexpr' to
1107         existing signatures for C++2a.
1108
1109 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
1110
1111         * testsuite/24_iterators/range_operations/advance_debug_neg.cc: Run
1112         test instead of just compiling it.
1113
1114 2020-02-28  Patrick Palka  <ppalka@redhat.com>
1115
1116         * include/std/ranges (reverse_view::_S_needs_cached_begin): Set to false
1117         whenever the underlying range models common_range.
1118
1119         * include/std/ranges (__detail::_CachedPosition): New struct.
1120         (views::filter_view::_S_needs_cached_begin): New member variable.
1121         (views::filter_view::_M_cached_begin): New member variable.
1122         (views::filter_view::begin): Use _M_cached_begin to cache its
1123         result.
1124         (views::drop_view::_S_needs_cached_begin): New static member variable.
1125         (views::drop_view::_M_cached_begin): New member variable.
1126         (views::drop_view::begin): Use _M_cached_begin to cache its result
1127         when _S_needs_cached_begin.
1128         (views::drop_while_view::_M_cached_begin): New member variable.
1129         (views::drop_while_view::begin): Use _M_cached_begin to cache its
1130         result.
1131         (views::reverse_view::_S_needs_cached_begin): New static member
1132         variable.
1133         (views::reverse_view::_M_cached_begin): New member variable.
1134         (views::reverse_view::begin): Use _M_cached_begin to cache its result
1135         when _S_needs_cached_begin.
1136         * testsuite/std/ranges/adaptors/drop.cc: Augment test to check that
1137         drop_view::begin caches its result.
1138         * testsuite/std/ranges/adaptors/drop_while.cc: Augment test to check
1139         that drop_while_view::begin caches its result.
1140         * testsuite/std/ranges/adaptors/filter.cc: Augment test to check that
1141         filter_view::begin caches its result.
1142         * testsuite/std/ranges/adaptors/reverse.cc: Augment test to check that
1143         reverse_view::begin caches its result.
1144
1145 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
1146
1147         * testsuite/27_io/filesystem/operations/last_write_time.cc: Fixes for
1148         filesystems that silently truncate timestamps.
1149         * testsuite/experimental/filesystem/operations/last_write_time.cc:
1150         Likewise.
1151
1152         * testsuite/21_strings/basic_string/cons/char/1.cc: Disable
1153         -Wstringop-overflow warnings.
1154
1155 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
1156
1157         * testsuite/lib/libstdc++.exp (v3_target_compile): Add
1158         -fdiagnostics-urls=never to options.
1159
1160 2020-02-27  Patrick Palka  <ppalka@redhat.com>
1161
1162         * include/std/ranges (transform_view::_Iterator<_Const>): Befriend
1163         _Iterator<!_Const>.
1164         (transform_view::_Sentinel<_Const>): Befriend _Sentinel<!_Const>.
1165         (take_view::_Sentinel<_Const>): Likewise.
1166         (take_while_view::_Sentinel<_Const>): Likewise.
1167         (split_view::_OuterIter<_Const>): Befriend _OuterIter<!_Const>.
1168         * testsuite/std/ranges/adaptors/split.cc: Augment test.
1169         * testsuite/std/ranges/adaptors/take.cc: Augment test.
1170         * testsuite/std/ranges/adaptors/take_while.cc: Augment test.
1171         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
1172
1173         * testsuite/25_algorithms/copy/constrained.cc: Don't assume that the
1174         base() of a vector<>::iterator is a pointer.
1175         * testsuite/25_algorithms/copy_backward/constrained.cc: Likewise.
1176         * testsuite/25_algorithms/move/constrained.cc: Likewise.
1177         * testsuite/25_algorithms/move_backward/constrained.cc: Likewise.
1178         * testsuite/25_algorithms/inplace_merge/constrained.cc: Use foo.data()
1179         instead of &foo[0].
1180         * testsuite/25_algorithms/partial_sort/constrained.cc: Likewise.
1181         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: Likewise.
1182         * testsuite/25_algorithms/shuffle/constrained.cc: Likewise.
1183         * testsuite/25_algorithms/sort/constrained.cc: Likewise.
1184         * testsuite/25_algorithms/stable_sort/constrained.cc: Likewise.
1185
1186 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
1187
1188         * include/debug/array (operator<=>): Define for C++20.
1189         * testsuite/23_containers/array/tuple_interface/get_debug_neg.cc:
1190         Adjust dg-error line numbers.
1191         * testsuite/23_containers/array/tuple_interface/
1192         tuple_element_debug_neg.cc: Likewise.
1193
1194         * testsuite/23_containers/span/back_assert_neg.cc: Add #undef before
1195         defining _GLIBCXX_ASSERTIONS.
1196         * testsuite/23_containers/span/first_2_assert_neg.cc: Likewise.
1197         * testsuite/23_containers/span/first_assert_neg.cc: Likewise.
1198         * testsuite/23_containers/span/front_assert_neg.cc: Likewise.
1199         * testsuite/23_containers/span/index_op_assert_neg.cc: Likewise.
1200         * testsuite/23_containers/span/last_2_assert_neg.cc: Likewise.
1201         * testsuite/23_containers/span/last_assert_neg.cc: Likewise.
1202         * testsuite/23_containers/span/subspan_2_assert_neg.cc: Likewise.
1203         * testsuite/23_containers/span/subspan_3_assert_neg.cc: Likewise.
1204         * testsuite/23_containers/span/subspan_4_assert_neg.cc: Likewise.
1205         * testsuite/23_containers/span/subspan_5_assert_neg.cc: Likewise.
1206         * testsuite/23_containers/span/subspan_6_assert_neg.cc: Likewise.
1207         * testsuite/23_containers/span/subspan_assert_neg.cc: Likewise.
1208
1209         * include/debug/string (__gnu_debug::basic_string::insert): Fix for
1210         C++98 where the member function of the base class returns void.
1211
1212         * testsuite/util/testsuite_iterators.h (forward_iterator_wrapper): Add
1213         equality comparisons that support value-initialized iterators.
1214
1215         * include/bits/boost_concept_check.h (__function_requires): Add
1216         _GLIBCXX14_CONSTEXPR.
1217         * testsuite/25_algorithms/min/concept_checks.cc: New test.
1218
1219 2020-02-26  Patrick Palka  <ppalka@redhat.com>
1220
1221         PR libstdc++/93936
1222         * include/std/ranges (split_view::_InnerIter::operator==): Compare
1223         the operands' _M_i rather than their _M_i.current().
1224         * testsuite/std/ranges/adaptors/split.cc: Augment test.
1225
1226         P1645R1 constexpr for <numeric> algorithms
1227         * include/bits/stl_numeric.h (iota, accumulate, inner_product,
1228         partial_sum, adjacent_difference): Make conditionally constexpr for
1229         C++20.
1230         * include/std/numeric (__cpp_lib_constexpr_numeric): Define this feature
1231         test macro.
1232         (reduce, transform_reduce, exclusive_scan, inclusive_scan,
1233         transform_exclusive_scan, transform_inclusive_scan): Make conditionally
1234         constexpr for C++20.
1235         * include/std/version (__cpp_lib_constexpr_numeric): Define.
1236         * testsuite/26_numerics/accumulate/constexpr.cc: New test.
1237         * testsuite/26_numerics/adjacent_difference/constexpr.cc: Likewise.
1238         * testsuite/26_numerics/exclusive_scan/constexpr.cc: Likewise.
1239         * testsuite/26_numerics/inclusive_scan/constexpr.cc: Likewise.
1240         * testsuite/26_numerics/inner_product/constexpr.cc: Likewise.
1241         * testsuite/26_numerics/iota/constexpr.cc: Likewise.
1242         * testsuite/26_numerics/partial_sum/constexpr.cc: Likewise.
1243         * testsuite/26_numerics/reduce/constexpr.cc: Likewise.
1244         * testsuite/26_numerics/transform_exclusive_scan/constexpr.cc: Likewise.
1245         * testsuite/26_numerics/transform_inclusive_scan/constexpr.cc: Likewise.
1246         * testsuite/26_numerics/transform_reduce/constexpr.cc: Likewise.
1247
1248 2020-02-26  Jonathan Wakely  <jwakely@redhat.com>
1249
1250         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Declare
1251         variables in smaller scope and avoid calling ranges::distance when we
1252         know they are pointers. Remove statically-unreachable use of
1253         __builtin_unreachable().
1254         * include/bits/stl_algobase.h (__lexicographical_compare::__lc):
1255         Define inline.
1256
1257         * include/std/ranges (__detail::__maybe_empty_t): Define new helper
1258         alias.
1259         (__detail::__maybe_const_t): Likewise.
1260         (__adaptor::_RangeAdaptor): Use __maybe_empty_t.
1261         (transform_view, take_view, take_while_view, elements_view): Use
1262         __maybe_const_t.
1263         (join_view, split_view): Use both.
1264
1265 2020-02-25  Patrick Palka  <ppalka@redhat.com>
1266
1267         LWG 3397 basic_istream_view::iterator should not provide
1268         iterator_category
1269         * include/std/ranges (basic_istream_view:_Iterator::iterator_category):
1270         Rename to ...
1271         (basic_istream_view:_Iterator::iterator_concept): ... this.
1272         * testsuite/std/ranges/istream_view.cc: Augment test.
1273
1274         LWG 3325 Constrain return type of transformation function for
1275         transform_view
1276         * include/std/ranges (transform_view): Constrain the return type of the
1277         transformation function as per LWG 3325.
1278         * testsuite/std/ranges/adaptors/lwg3325_neg.cc: New test.
1279
1280         LWG 3313 join_view::_Iterator::operator-- is incorrectly constrained
1281         * include/std/ranges (join_view::_Iterator::operator--): Require that
1282         range_reference_t<_Base> models common_range.
1283         * testsuite/std/ranges/adaptors/lwg3313_neg.cc: New test.
1284
1285         LWG 3301 transform_view::_Iterator has incorrect iterator_category
1286         * include/std/ranges (transform_view::_Iterator::_S_iter_cat): Adjust
1287         determination of iterator_category as per LWG 3301.
1288         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
1289
1290         LWG 3292 iota_view is under-constrained
1291         * include/std/ranges (iota_view): Require that _Winc models semiregular
1292           as per LWG 3292.
1293         * testsuite/std/ranges/iota/lwg3292_neg.cc: New test.
1294
1295 2020-02-25  Jonathan Wakely  <jwakely@redhat.com>
1296
1297         * include/bits/ranges_algobase.h (__copy_or_move): Do not use memmove
1298         during constant evaluation. Call __builtin_memmove directly instead of
1299         __memmove.
1300         (__copy_or_move_backward): Likewise.
1301         * include/bits/stl_algobase.h (__memmove): Remove.
1302         (__copy_move<M, true, random_access_iterator_tag>::__copy_m)
1303         (__copy_move_backward<M, true, random_access_iterator_tag>::__copy_m):
1304         Use __builtin_memmove directly instead of __memmove.
1305         (__copy_move_a2): Do not use memmove during constant evaluation.
1306         (__copy_move_backward_a2): Use _IsMove constant to select correct
1307         __copy_move_backward specialization.
1308         * testsuite/25_algorithms/copy_backward/constexpr.cc: Check for copies
1309         begin turned into moves during constant evaluation.
1310
1311         * testsuite/25_algorithms/move_backward/93872.cc: Add test left out of
1312         previous commit.
1313
1314         PR libstdc++/93872
1315         * include/bits/stl_algobase.h (__memmove): Cast away const before
1316         doing move assignment.
1317         * testsuite/25_algorithms/move/93872.cc: New test.
1318         * testsuite/25_algorithms/move_backward/93872.cc: New test.
1319
1320 2020-02-24  Patrick Palka  <ppalka@redhat.com>
1321
1322         PR libstdc++/93884
1323         * include/bits/ranges_algobase.h (__copy_or_move,
1324         __copy_or_move_backward): Don't inspect the iter_value_t of the output
1325         iterator, instead inspect its iterator_traits directly.
1326         * include/bits/stl_iterator.h (back_insert_iterator::container):
1327         Conditionally initialize.
1328         (back_insert_iterator::difference_type): Conditionally define.
1329         (back_insert_iterator::back_insert_iterator): Conditionally define this
1330         default constructor.
1331         (front_insert_iterator::container): Conditionally initialize.
1332         (front_insert_iterator::difference_type): Conditionally define.
1333         (front_insert_iterator::front_insert_iterator): Conditionally define
1334         this default constructor.
1335         * 24_iterators/back_insert_iterator/pr93884.cc: New test.
1336         * 24_iterators/front_insert_iterator/pr93884.cc: New test.
1337
1338         P0769R2 Add shift to <algorithm>
1339         * include/bits/ranges_algo.h (shift_left, shift_right): New.
1340         * testsuite/25_algorithms/shift_left/1.cc: New test.
1341         * testsuite/25_algorithms/shift_right/1.cc: New test.
1342
1343 2020-02-24  Jonathan Wakely  <jwakely@redhat.com>
1344
1345         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
1346         Make noexcept-specifier conditional.
1347         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc: Check
1348         noexcept-specifier.
1349
1350         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
1351         Add constructor.
1352         (operator==(istream_iterator, default_sentinel_t)): Add operator.
1353         (ostream_iterator::difference_type): Define to ptrdiff_t for C++20.
1354         * include/bits/streambuf_iterator.h
1355         (istreambuf_iterator(default_sentinel_t)): Add constructor.
1356         (operator==(istreambuf_iterator, default_sentinel_t)): Add operator.
1357         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc:
1358         New test.
1359         * testsuite/24_iterators/istream_iterator/sentinel.cc: New test.
1360         * testsuite/24_iterators/istreambuf_iterator/cons/sentinel.cc:
1361         New test.
1362         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
1363
1364         * include/std/ranges (__deep_const_range, __enable_view_impl): Remove.
1365         (ranges::enable_view): Simplify (LWG 3326).
1366         * include/bits/range_access.h (ranges::enable_view): Declare.
1367         * include/bits/regex.h (__enable_view_impl): Remove partial
1368         specialization.
1369         * include/bits/stl_multiset.h (__enable_view_impl): Likewise.
1370         * include/bits/stl_set.h (__enable_view_impl): Likewise.
1371         * include/bits/unordered_set.h (__enable_view_impl): Likewise.
1372         * include/debug/multiset.h (__enable_view_impl): Likewise.
1373         * include/debug/set.h (__enable_view_impl): Likewise.
1374         * include/debug/unordered_set (__enable_view_impl): Likewise.
1375         * include/experimental/string_view (ranges::enable_view): Define
1376         partial specialization.
1377         * include/std/span (ranges::enable_view): Likewise.
1378         * include/std/string_view (ranges::enable_view): Likewise.
1379         * testsuite/std/ranges/view.cc: Check satisfaction of updated concept.
1380
1381 2020-02-21  Jonathan Wakely  <jwakely@redhat.com>
1382
1383         * include/std/optional (operator<=>(optional<T>, optional<U>))
1384         (operator<=>(optional<T>, nullopt), operator<=>(optional<T>, U)):
1385         Define for C++20.
1386         * include/std/tuple (__tuple_cmp): New helper function for <=>.
1387         (operator<=>(tuple<T...>, tuple<U>...)): Define for C++20.
1388         * include/std/variant (operator<=>(variant<T...>, variant<T...>))
1389         (operator<=>(monostate, monostate)): Define for C++20.
1390         * testsuite/20_util/optional/relops/three_way.cc: New test.
1391         * testsuite/20_util/tuple/comparison_operators/three_way.cc: New test.
1392         * testsuite/20_util/variant/89851.cc: Move to ...
1393         * testsuite/20_util/variant/relops/89851.cc: ... here.
1394         * testsuite/20_util/variant/90008.cc: Move to ...
1395         * testsuite/20_util/variant/relops/90008.cc: ... here.
1396         * testsuite/20_util/variant/relops/three_way.cc: New test.
1397
1398 2020-02-20  Patrick Palka  <ppalka@redhat.com>
1399
1400         * include/std/ranges (views::__adaptor::__maybe_refwrap): New utility
1401         function.
1402         (views::__adaptor::_RangeAdaptor::operator()): Add comments.  Use
1403         __maybe_refwrap to capture lvalue references by reference, and then use
1404         unwrap_reference_t to forward the by-reference captures as references.
1405         * testsuite/std/ranges/adaptors/split.cc: Augment test.
1406         * testsuite/std/ranges/adaptors/split_neg.cc: New test.
1407
1408         * include/std/ranges (iota_view): Forward declare _Sentinel.
1409         (iota_view::_Iterator): Befriend _Sentinel.
1410         (iota_view::_Sentinel::_M_equal): New member function.
1411         (iota_view::_Sentinel::operator==): Use it.
1412         (views::_Iota::operator()): Forward __f using the correct type.
1413         * testsuite/std/ranges/access/ssize.cc (test06): Don't call views::iota
1414         with integers of different signedness, to appease iota_view's deduction
1415         guide.
1416         * testsuite/std/ranges/iota/iota_view.cc: Augment test.
1417
1418 2020-02-20  Jonathan Wakely  <jwakely@redhat.com>
1419
1420         * include/bits/range_access.h (ranges::begin): Reject array of
1421         incomplete type.
1422         (ranges::end, ranges::size): Require arrays to be bounded.
1423         (ranges::data): Require lvalue or borrowed_range.
1424         (ranges::iterator_t): Remove constraint.
1425         * testsuite/std/ranges/access/begin.cc: Do not check array of
1426         incomplete type.
1427         * testsuite/std/ranges/access/begin_neg.cc: New test.
1428         * testsuite/std/ranges/access/end_neg.cc: Adjust expected error.
1429         * testsuite/std/ranges/access/size_neg.cc: Adjust expected error.
1430         * testsuite/std/ranges/access/ssize.cc: Do not check array of
1431         incomplete type.
1432
1433         * include/std/system_error (error_category::operator<=>)
1434         (operator<=>(const error_code&, const error_code&))
1435         (operator<=>(const error_condition&, const error_condition&)): Define
1436         for C++20.
1437         * testsuite/19_diagnostics/error_category/operators/less.cc: New test.
1438         * testsuite/19_diagnostics/error_category/operators/three_way.cc: New
1439         test.
1440         * testsuite/19_diagnostics/error_code/operators/equal.cc: Remove
1441         incorrect comment.
1442         * testsuite/19_diagnostics/error_code/operators/less.cc: New test.
1443         * testsuite/19_diagnostics/error_code/operators/not_equal.cc: Remove
1444         incorrect comment.
1445         * testsuite/19_diagnostics/error_code/operators/three_way.cc: New test.
1446         * testsuite/19_diagnostics/error_condition/operators/equal.cc: Remove
1447         incorrect comment.
1448         * testsuite/19_diagnostics/error_condition/operators/less.cc: New test.
1449         * testsuite/19_diagnostics/error_condition/operators/not_equal.cc:
1450         Remove incorrect comment.
1451         * testsuite/19_diagnostics/error_condition/operators/three_way.cc: New
1452         test.
1453
1454         * libsupc++/typeinfo (type_info::operator!=): Remove for C++20.
1455
1456         * include/std/thread (thread::id::operator<=>): Define for C++20.
1457         * testsuite/30_threads/thread/id/70294.cc: Do not take addresses of
1458         functions in namespace std.
1459         * testsuite/30_threads/thread/id/operators_c++20.cc: New test.
1460
1461 2020-02-19  Patrick Palka  <ppalka@redhat.com>
1462
1463         * testsuite/std/ranges/adaptors/split.cc (test03): Don't include the
1464         null terminator of the underlying string as part of the test_range.
1465         (main): Call test03.
1466
1467 2020-02-19  Jonathan Wakely  <jwakely@redhat.com>
1468
1469         * include/bits/stl_iterator.h (common_iterator): Add copyable<I>
1470         requirement (LWG 3385).
1471         * testsuite/24_iterators/headers/iterator/synopsis_c++20.cc: Adjust
1472         expected declaration.
1473
1474         * include/std/ranges (take_while_view, drop_view, drop_while_view)
1475         (elements_view:_Iterator): Initialize data members (LWG 3364).
1476
1477         * libsupc++/compare (three_way_comparable): Remove always-false check
1478         that should have been removed with weak_equality (P1959R0).
1479         (three_way_comparable_with): Likewise. Reorder requirements (LWG 3360).
1480
1481         * include/std/concepts (__detail::__partially_ordered_with): Move here
1482         from <compare>.
1483         (totally_ordered, totally_ordered_with): Use __partially_ordered_with
1484         to simplify definition (LWG 3331).
1485         * libsupc++/compare (__detail::__partially_ordered_with): Move to
1486         <concepts>.
1487
1488         * include/std/concepts (totally_ordered_with): Remove redundant
1489         requirement (LWG 3329).
1490
1491         * include/std/ranges (__detail::__convertible_to_non_slicing): New
1492         helper concept.
1493         (__detail::__pair_like_convertible_to): Remove.
1494         (__detail::__pair_like_convertible_from): Add requirements for
1495         non-slicing conversions.
1496         (subrange): Constrain constructors with __convertible_to_non_slicing.
1497         Remove constructors from pair-like types. Add new deduction guide.
1498         * testsuite/std/ranges/subrange/lwg3282_neg.cc: New test.
1499
1500         * include/bits/iterator_concepts.h (iter_move): Add declaration to
1501         prevent unqualified lookup finding a suitable declaration (LWG 3247).
1502
1503         * include/std/memory_resource (polymorphic_allocator::allocate)
1504         (polymorphic_allocator::allocate_object): Change type of exception to
1505         bad_array_new_length (LWG 3237).
1506         * testsuite/20_util/polymorphic_allocator/lwg3237.cc: New test.
1507
1508         * include/std/type_traits (__cpp_lib_unwrap_ref): Define (LWG 3348).
1509         * include/std/version (__cpp_lib_unwrap_ref): Likewise.
1510         * testsuite/20_util/unwrap_reference/1.cc: Check macro.
1511         * testsuite/20_util/unwrap_reference/3.cc: New test.
1512
1513         * include/std/numeric (midpoint(T8, T*)): Do not check for complete
1514         type during overload resolution, use static assert instead (LWG 3200).
1515         * testsuite/26_numerics/midpoint/pointer.cc: Do not test with
1516         incomplete type.
1517         * testsuite/26_numerics/midpoint/pointer_neg.cc: New test.
1518
1519         * include/std/span (span(T (&)[N])): Use non-deduced context to
1520         prevent first parameter from interfering with class template argument
1521         deduction (LWG 3369).
1522         * testsuite/23_containers/span/deduction.cc: Add missing 'const'.
1523         * testsuite/23_containers/span/lwg3255.cc: Check for construction from
1524         rvalues.
1525
1526         * include/std/span (span::const_iterator, span::const_reverse_iterator)
1527         (span::cbegin(), span::cend(), span::crbegin(), span::crend()):
1528         Remove (LWG 3320).
1529         * testsuite/23_containers/span/everything.cc: Replace uses of cbegin
1530         and cend.
1531         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
1532         Likewise.
1533         * testsuite/20_util/specialized_algorithms/uninitialized_copy/
1534         constrained.cc: Likewise.
1535         * testsuite/20_util/specialized_algorithms/
1536         uninitialized_default_construct/constrained.cc: Likewise.
1537         * testsuite/20_util/specialized_algorithms/uninitialized_fill/
1538         constrained.cc: Likewise.
1539         * testsuite/20_util/specialized_algorithms/uninitialized_move/
1540         constrained.cc: Likewise.
1541         * testsuite/20_util/specialized_algorithms/
1542         uninitialized_value_construct/constrained.cc: Likewise.
1543
1544         * include/bits/range_access.h (range_size_t): Define alias template.
1545         * include/std/ranges (all_view): Rename to views::all_t (LWG 3335).
1546         * testsuite/std/ranges/adaptors/filter.cc: Adjust to new name.
1547
1548         * include/std/ranges (filter_view, transform_view, take_view)
1549         (join_view, split_view, reverse_view): Remove commented-out converting
1550         constructors (LWG 3280).
1551
1552         * include/std/memory (uninitialized_construct_using_allocator): Use
1553         std::construct_at (LWG 3321).
1554
1555         * include/std/memory_resource (polymorphic_allocator::allocate_bytes)
1556         (polymorphic_allocator::allocate_object)
1557         (polymorphic_allocator::new_object): Add nodiscard attribute (LWG3304).
1558
1559         LWG 3379. "safe" in several library names is misleading
1560         * include/bits/range_access.h (enable_safe_range): Rename to
1561         enable_borrowed_range.
1562         (__detail::__maybe_safe_range): Rename to __maybe_borrowed_range.
1563         (safe_range): Rename to borrowed_range.
1564         * include/bits/ranges_algo.h: Adjust to use new names.
1565         * include/bits/ranges_algobase.h: Likewise.
1566         * include/bits/ranges_uninitialized.h: Likewise.
1567         * include/std/ranges: Likewise.
1568         (safe_iterator_t): Rename to borrowed_iterator_t.
1569         (safe_subrange_t): Rename to borrowed_subrange_t.
1570         * include/std/span: Adjust to use new names.
1571         * include/std/string_view: Likewise.
1572         * include/experimental/string_view: Likewise.
1573         * testsuite/std/ranges/access/begin.cc: Likewise.
1574         * testsuite/std/ranges/access/cbegin.cc: Likewise.
1575         * testsuite/std/ranges/access/cdata.cc: Likewise.
1576         * testsuite/std/ranges/access/cend.cc: Likewise.
1577         * testsuite/std/ranges/access/crbegin.cc: Likewise.
1578         * testsuite/std/ranges/access/crend.cc: Likewise.
1579         * testsuite/std/ranges/access/data.cc: Likewise.
1580         * testsuite/std/ranges/access/end.cc: Likewise.
1581         * testsuite/std/ranges/access/rbegin.cc: Likewise.
1582         * testsuite/std/ranges/access/rend.cc: Likewise.
1583         * testsuite/std/ranges/safe_range.cc: Likewise.
1584         * testsuite/std/ranges/safe_range_types.cc: Likewise.
1585         * testsuite/util/testsuite_iterators.h: Likewise.
1586
1587         * include/std/ranges (tuple_element<0, const subrange<I, S, K>>)
1588         (tuple_element<1, const subrange<I, S, K>>): Add partial
1589         specializations (LWG 3398).
1590         * testsuite/std/ranges/subrange/tuple_like.cc: New test.
1591
1592         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1593         (__adjacent_find_fn, __remove_if_fn, __remove_copy_if_fn)
1594         (__unique_fn, __unique_copy_fn): Remove redundant conversions to bool.
1595
1596 2020-02-18  Patrick Palka  <ppalka@redhat.com>
1597
1598         P1983R0 Wording for GB301, US296, US292, US291, and US283
1599         * include/std/ranges (filter_view::pred): New member function.
1600         (join_view::_Iterator::_Iterator): Remove now-redundant comment since
1601         P1983R0 fixes the highlighted issue in the same way.
1602         (join_view::_Iterator<_Const>): Add friend
1603         join_view::_Iterator<!_Const>.
1604         (join_view::_M_inner): Remove mutable specifier, effectively reverting
1605         the proposed wording changes of P3278.
1606         (join_view::begin): Refine the condition for when to return a const
1607         iterator.
1608         (split_view::_OuterIter::_OuterIter): Adjust constraints.
1609         * testsuite/std/ranges/adaptors/filter.cc: Test that filter_view::pred
1610         exists and works.
1611
1612 2020-02-18  Jonathan Wakely  <jwakely@redhat.com>
1613
1614         PR libstdc++/93818
1615         * include/std/ranges (_RangeAdaptor): Add deduction guide.
1616         (filter_view::_Iterator): Add alias _Vp_iter and use in place of
1617         iterator_t<_Vp>.
1618         (filter_view::_Iterator::_S_iter_cat()): Add 'typename'.
1619         (transform_view::_Iterator): Add alias _Base_iter and use in place of
1620         iterator_t<_Base>.
1621         (transform_view::_Iterator::_S_iter_cat()): Add 'typename'.
1622         (join_view::_Iterator): Add _Outer_iter and _Inner_iter aliases.
1623         (join_view::_Iterator::_S_iter_cat()): Add 'typename'.
1624         (split_view::_InnerIter::_S_iter_cat()): Likewise.
1625
1626         * testsuite/20_util/integer_comparisons/equal.cc: Fix invalid
1627         assumption that long is wider than int.
1628         * testsuite/20_util/integer_comparisons/greater_equal.cc: Likewise.
1629         * testsuite/20_util/integer_comparisons/less.cc: Likewise.
1630         * testsuite/20_util/integer_comparisons/less_equal.cc: Likewise.
1631         * testsuite/20_util/integer_comparisons/not_equal.cc: Likewise.
1632
1633         P1976R2 Fixed-size span construction from dynamic range
1634         * include/std/span (__cpp_lib_span): Update value.
1635         (span(It, size_type), span(It, End)): Make conditionally explicit. Add
1636         assertion.
1637         (span(R&&), span(const span<OType, OExtent>&)): Likewise and relax
1638         constraints.
1639         (span::first<Count>(), span::last<Count>()): Use explicit type in
1640         return statement.
1641         (as_bytes, as_writable_bytes): Likewise.
1642         * include/std/version (__cpp_lib_span): Update value.
1643         * testsuite/23_containers/span/1.cc: Check new value.
1644         * testsuite/23_containers/span/2.cc: Check new value.
1645         * testsuite/23_containers/span/explicit.cc: New test.
1646
1647         * include/std/span (span::__is_compatible_array): Simplify alias
1648         template by using requires-clause.
1649         (span::__is_compatible_ref): New alias template for constraining
1650         constructors.
1651         (span::__is_compatible_iterator, span::__is_compatible_range): Remove.
1652         (span(It, size_type), span(It, End)): Use __is_compatible_ref.
1653         (span(T(&)[N], span(array<T, N>&), span(const array<T, N>&)): Remove
1654         redundant parentheses.
1655         (span(R&&)): Add missing constraints.
1656
1657         * include/std/span (span): Reorder members and rename template
1658         parameters to match declarations in the C++2a working paper.
1659
1660         P2116R0 Remove tuple-like protocol support from fixed-extent span
1661         * include/std/span (get, tuple_size, tuple_element): Remove.
1662         * testsuite/23_containers/span/everything.cc: Remove checks for
1663         tuple-like API.
1664         * testsuite/23_containers/span/get_neg.cc: Remove.
1665         * testsuite/23_containers/span/tuple_element_dynamic_neg.cc: Remove.
1666         * testsuite/23_containers/span/tuple_element_oob_neg.cc: Remove.
1667         * testsuite/23_containers/span/tuple_size_neg.cc: Remove.
1668
1669 2020-02-17  Patrick Palka  <ppalka@redhat.com>
1670
1671         P2106R0 Alternative wording for GB315 and GB316
1672         * include/bits/ranges_algo.h (in_fun_result): New.
1673         (for_each_result, for_each_n_result): Change into an alias of
1674         in_fun_result.
1675         (in_in_result): New.
1676         (mismatch_result): Change into an alias of in_in_result.
1677         (copy_if_result): Change into an alias of in_out_result.
1678         (swap_ranges_result): Change into an alias of in_in_result.
1679         (unary_transform_result): Change into an alias of in_out_result.
1680         (in_in_out_result): New.
1681         (binary_transform_result): Change into an alias of in_in_out_result.
1682         (replace_copy_result, replace_copy_if_result, remove_copy_if_result,
1683         remove_copy_result, unique_copy_result, reverse_copy_result,
1684         rotate_copy_result, partial_sort_copy_result): Change into an alias of
1685         in_out_result.
1686         (in_out_out_result): New.
1687         (partition_copy_result, merge_result): Change into an alias of
1688         in_out_out_result.
1689         (set_union_result, set_intersection_result): Change into an alias of
1690         in_in_out_result.
1691         (set_difference_result): Change into an alias of in_out_result.
1692         (set_symmetric_difference): Change into an alias of in_in_out_result.
1693         (min_max_result): New.
1694         (minmax_result, minmax_element_result): Change into an alias of
1695         min_max_result.
1696         (in_found_result): New.
1697         (next_permutation_result, prev_permutation_result): Change into an alias
1698         of in_found_result.
1699         (__next_permutation_fn::operator(), __prev_permutation_fn::operator()):
1700         Adjust following changes to next_permutation_result and
1701         prev_permutation_result.
1702         * include/bits/ranges_algobase.h (in_out_result): New.
1703         (copy_result, move_result, move_backward_result, copy_backward_result,
1704         copy_n_result): Change into an alias of in_out_result.
1705         * include/bits/ranges_uninitialized.h (uninitialized_copy_result,
1706         uninitialized_copy_n_result, uninitialized_move_result,
1707         uninitialized_move_n_result): Likewise.
1708         * testsuite/25_algorithms/next_permutation/constrained.cc: Adjust uses of
1709         structured bindings.
1710         * testsuite/25_algorithms/prev_permutation/constrained.cc: Likewise.
1711
1712         P1243R4 Rangify new algorithms
1713         * include/bits/ranges_algo.h (for_each_n_result, __for_each_n_fn,
1714         for_each_n, __sample_fn, sample, __clamp_fn, clamp): New.
1715         * testsuite/25_algorithms/clamp/constrained.cc: New test.
1716         * testsuite/25_algorithms/for_each/constrained.cc: Augment test.
1717         * testsuite/25_algorithms/sample/constrained.cc: New test.
1718
1719 2020-02-17  Jonathan Wakely  <jwakely@redhat.com>
1720
1721         P1964R2 Wording for boolean-testable
1722         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1723         (__adjacent_find_fn): Cast result of predicate to bool.
1724         * include/std/concepts (__boolean): Remove.
1725         (__detail::__boolean_testable_impl, __detail::__boolean_testable): Add
1726         new helper concepts.
1727         (__detail::__weakly_eq_cmp_with, totally_ordered, totally_ordered_with)
1728         (predicate): Use __boolean_testable instead of boolean.
1729         * libsupc++/compare (__detail::__partially_ordered, _Synth3way):
1730         Likewise.
1731
1732         P1970R2 Consistency for size() functions: Add ranges::ssize
1733         * include/bits/range_access.h (_SSize, ssize): Define for C++20.
1734         * testsuite/std/ranges/access/ssize.cc: New test.
1735
1736         P1956R1 On the names of low-level bit manipulation functions
1737         * include/bits/hashtable_policy.h: Update comment.
1738         * include/std/bit (__ispow2, __ceil2, __floor2, __log2p1): Rename.
1739         (ispow2, ceil2, floor2, log2p1): Likewise.
1740         (__cpp_lib_int_pow2): Add feature test macro.
1741         * include/std/charconv (__to_chars_len_2): Adjust use of __log2p1.
1742         * include/std/memory (assume_aligned): Adjust use of ispow2.
1743         * include/std/version (__cpp_lib_int_pow2): Add.
1744         * libsupc++/new_opa.cc: Adjust use of __ispow2.
1745         * src/c++17/memory_resource.cc: Likewise, and for __ceil2 and __log2p1.
1746         * testsuite/17_intro/freestanding.cc: Adjust use of ispow2.
1747         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Rename to ...
1748         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil.cc: ... here.
1749         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Rename to ...
1750         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil_neg.cc: ... here.
1751         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Rename to ...
1752         * testsuite/26_numerics/bit/bit.pow.two/bit_floor.cc: ... here.
1753         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Rename to ...
1754         * testsuite/26_numerics/bit/bit.pow.two/bit_width.cc: ... here.
1755         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Rename to ...
1756         * testsuite/26_numerics/bit/bit.pow.two/has_single_bit.cc: ... here.
1757
1758         * include/std/charconv: Add comment.
1759
1760         PR libstdc++/92546 (partial)
1761         * include/bits/random.h (uniform_random_bit_generator): Move definition
1762         to <bits/uniform_int_dist.h>.
1763         * include/bits/ranges_algo.h: Include <bits/uniform_int_dist.h> instead
1764         of <bits/random.h>.
1765         * include/bits/ranges_algobase.h: Do not include <cmath>.
1766         * include/bits/uniform_int_dist.h (uniform_random_bit_generator):
1767         Move here.
1768         * include/std/ranges: Do not include <limits>.
1769         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1770
1771         PR libstdc++/92546 (partial)
1772         * include/Makefile.am: Add new header.
1773         * include/Makefile.in: Regenerate.
1774         * include/bits/int_limits.h: New header.
1775         * include/bits/parse_numbers.h (__select_int::_Select_int): Replace
1776         numeric_limits with __detail::__int_limits.
1777         * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
1778         (__countr_zero, __countr_one, __popcount, __ceil2, __floor2, __log2p1):
1779         Likewise.
1780         * include/std/charconv (__to_chars_8, __from_chars_binary)
1781         (__from_chars_alpha_to_num, from_chars): Likewise.
1782         * include/std/memory_resource (polymorphic_allocator::allocate)
1783         (polymorphic_allocator::allocate_object): Likewise.
1784         * include/std/string_view (basic_string_view::_S_compare): Likewise.
1785         * include/std/utility (in_range): Likewise.
1786         * testsuite/20_util/integer_comparisons/in_range_neg.cc: Adjust for
1787         extra error about incomplete type __int_limits<bool>.
1788         * testsuite/26_numerics/bit/bit.count/countl_one.cc: Include <limits>.
1789         * testsuite/26_numerics/bit/bit.count/countl_zero.cc: Likewise.
1790         * testsuite/26_numerics/bit/bit.count/countr_one.cc: Likewise.
1791         * testsuite/26_numerics/bit/bit.count/countr_zero.cc: Likewise.
1792         * testsuite/26_numerics/bit/bit.count/popcount.cc: Likewise.
1793         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Likewise.
1794         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Likewise.
1795         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Likewise.
1796         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Likewise.
1797         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Likewise.
1798         * testsuite/26_numerics/bit/bit.rotate/rotl.cc: Likewise.
1799         * testsuite/26_numerics/bit/bit.rotate/rotr.cc: Likewise.
1800
1801         * python/libstdcxx/v6/printers.py (StdCmpCatPrinter.to_string): Update
1802         value for partial_ordering::unordered.
1803
1804         * include/bits/iterator_concepts.h (indirectly_copyable_storable): Add
1805         const-qualified expression variations.
1806         * include/std/concepts (copyable): Likewise.
1807
1808         * include/std/type_traits (__is_standard_integer): New helper trait.
1809         * include/std/utility (cmp_equal, cmp_not_equal, cmp_less, cmp_greater)
1810         (cmp_less_equal, cmp_greater_equal, in_range): Define for C++20.
1811         * include/std/version (__cpp_lib_integer_comparison_functions): Define.
1812         * testsuite/20_util/integer_comparisons/1.cc: New test.
1813         * testsuite/20_util/integer_comparisons/2.cc: New test.
1814         * testsuite/20_util/integer_comparisons/equal.cc: New test.
1815         * testsuite/20_util/integer_comparisons/equal_neg.cc: New test.
1816         * testsuite/20_util/integer_comparisons/greater_equal.cc: New test.
1817         * testsuite/20_util/integer_comparisons/greater_equal_neg.cc: New test.
1818         * testsuite/20_util/integer_comparisons/greater_neg.cc: New test.
1819         * testsuite/20_util/integer_comparisons/in_range.cc: New test.
1820         * testsuite/20_util/integer_comparisons/in_range_neg.cc: New test.
1821         * testsuite/20_util/integer_comparisons/less.cc: New test.
1822         * testsuite/20_util/integer_comparisons/less_equal.cc: New test.
1823         * testsuite/20_util/integer_comparisons/less_equal_neg.cc: New test.
1824         * testsuite/20_util/integer_comparisons/less_neg.cc: New test.
1825         * testsuite/20_util/integer_comparisons/not_equal.cc: New test.
1826         * testsuite/20_util/integer_comparisons/not_equal_neg.cc: New test.
1827
1828 2020-02-16  Patrick Palka  <ppalka@redhat.com>
1829
1830         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
1831         Move code after an early exit constexpr if to under an else branch.
1832         * include/bits/ranges_algobase.h (__equal_fn::operator()): Likewise.
1833
1834 2020-02-15  Patrick Palka  <ppalka@redhat.com>
1835
1836         * include/bits/ranges_algo.h: Adjust whitespace and formatting.
1837         * include/bits/ranges_algobase.h: Likewise.
1838         * include/bits/ranges_uninitialized.h: Likewise.
1839
1840         * include/bits/ranges_algo.h: (adjacent_find, all_of, any_of,
1841         binary_search, copy_if, count, count_if, equal_range, find, find_end,
1842         find_first_of, find_if, find_if_not, for_each, generate, generate_n,
1843         includes, inplace_merge, is_heap, is_heap_until, is_partitioned,
1844         is_permutation, is_sorted, is_sorted_until, lexicographical_compare,
1845         lower_bound, make_heap, max, max_element, merge, min, min_element,
1846         minmax, minmax_element, mismatch, next_permutation, none_of,
1847         nth_element, partial_sort, partial_sort_copy, partition, partition_copy,
1848         partition_point, pop_heap, prev_permutation, push_heap, remove,
1849         remove_copy, remove_copy_if, remove_if, replace, replace_copy,
1850         replace_copy_if, replace_if, reverse, reverse_copy, rotate, rotate_copy,
1851         search, search_n, set_difference, set_intersection,
1852         set_symmetric_difference, set_union, shuffle, sort, sort_heap,
1853         stable_partition, stable_sort, swap_ranges, transform, unique,
1854         unique_copy, upper_bound): Convert into function objects.
1855         * include/bits/ranges_algobase.h: (equal, copy, move, copy_n, fill_n,
1856         fill, move_backward, copy_backward): Likewise.
1857         * include/bits/ranges_uninitialized.h (uninitialized_default_construct,
1858         uninitialized_default_construct_n, uninitialized_value_construct,
1859         uninitialized_value_construct_n, uninitialized_copy,
1860         uninitialized_copy_n, uninitialized_move, uninitialized_move_n,
1861         uninitialized_fill, uninitialized_fill_n, construct_at, destroy_at,
1862         destroy, destroy_n): Likewise.
1863
1864         * include/bits/ranges_algo.h (ranges::__find_end): Fold into ...
1865         (ranges::find_end): ... here.
1866         (ranges::__lexicographical_compare): Fold into ...
1867         (ranges::lexicographical_compare): ... here.
1868         * include/bits/ranges_algobase.h (ranges::__equal): Fold into ...
1869         (ranges::equal): ... here.
1870
1871 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1872
1873         * include/bits/erase_if.h (__cpp_lib_erase_if): Define to 202002L.
1874         * include/std/deque: Likewise.
1875         * include/std/forward_list: Likewise.
1876         * include/std/list: Likewise.
1877         * include/std/string: Likewise.
1878         * include/std/vector: Likewise.
1879         * include/std/version: Likewise.
1880         * testsuite/23_containers/deque/erasure.cc: Test for new value.
1881         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
1882         * testsuite/23_containers/list/erasure.cc: Likewise.
1883         * testsuite/23_containers/map/erasure.cc: Likewise.
1884         * testsuite/23_containers/set/erasure.cc: Likewise.
1885         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
1886         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
1887         * testsuite/23_containers/vector/erasure.cc: Likewise.
1888
1889 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1890
1891         * include/bits/random.h (uniform_random_bit_generator): Require min()
1892         and max() to be constant expressions and min() to be less than max().
1893         * testsuite/26_numerics/random/concept.cc: Check additional cases.
1894         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1895
1896 2020-02-13  Patrick Palka  <ppalka@redhat.com>
1897
1898         * include/Makefile.am: Add <bits/ranges_uninitialized.h>.
1899         * include/Makefile.in: Regenerate.
1900         * include/bits/ranges_uninitialized.h: New header.
1901         * include/std/memory: Include it.
1902         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc: New
1903         test.
1904         * .../uninitialized_copy/constrained.cc: New test.
1905         * .../uninitialized_default_construct/constrained.cc: New test.
1906         * .../uninitialized_fill/constrained.cc: New test.
1907         * .../uninitialized_move/constrained.cc: New test.
1908         * .../uninitialized_value_construct/constrained.cc: New test.
1909
1910         * include/Makefile.am: Add bits/ranges_algobase.h
1911         * include/Makefile.in: Regenerate.
1912         * bits/ranges_algo.h: Include <bits/ranges_algobase.h> and refactor
1913         existing #includes.
1914         (__detail::__is_normal_iterator, __detail::is_reverse_iterator,
1915         __detail::__is_move_iterator, copy_result, move_result,
1916         __equal, equal, copy_result, move_result, move_backward_result,
1917         copy_backward_result, __copy_or_move_backward, __copy_or_move, copy,
1918         move, copy_backward, move_backward, copy_n_result, copy_n, fill_n,
1919         fill): Split out into ...
1920         * bits/range_algobase.h: ... this new header.
1921
1922 2020-02-12  Patrick Palka  <ppalka@redhat.com>
1923
1924         LWG 3389 and LWG 3390
1925         * include/bits/stl_iterator.h (move_move_iterator): Use std::move when
1926         constructing the move_iterator with __i.
1927         (counted_iterator::counted_iterator): Use std::move when initializing
1928         M_current with __i.
1929         * testsuite/24_iterators/counted_iterator/lwg3389.cc: New test.
1930         * testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
1931
1932 2020-02-12  Sandra Loosemore  <sandra@codesourcery.com>
1933
1934         PR libstdc++/79193
1935         PR libstdc++/88999
1936
1937         * configure: Regenerated.
1938
1939 2020-02-12  François Dumont  <fdumont@gcc.gnu.org>
1940
1941         * include/bits/hashtable.h
1942         (_Hashtable<>(_Hashtable&&, std::allocator_type&)): Add
1943         missing std namespace qualification to forward call.
1944
1945 2020-02-09  Jonathan Wakely  <jwakely@redhat.com>
1946
1947         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Fix
1948         comment.
1949         * testsuite/20_util/function_objects/range.cmp/less.ccL Likewise.
1950
1951         * include/std/ranges: Fix non-ASCII characters in comment.
1952
1953         * include/bits/range_cmp.h (__detail::__eq_builtin_ptr_cmp): Require
1954         equality comparison to be valid and return bool.
1955         (__detail::__less_builtin_ptr_cmp): Likewise for less-than comparison.
1956         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Check
1957         type with ambiguous conversion to fundamental types.
1958         * testsuite/20_util/function_objects/range.cmp/less.cc: Likewise.
1959
1960 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1961
1962         * include/bits/iterator_concepts.h (iter_difference_t, iter_value_t):
1963         Use remove_cvref_t.
1964         (readable_traits): Rename to indirectly_readable_traits.
1965         (readable): Rename to indirectly_readable.
1966         (writable): Rename to indirectly_writable.
1967         (__detail::__iter_exchange_move): Do not use remove_reference_t.
1968         (indirectly_swappable): Adjust requires expression parameter types.
1969         expression.
1970         * include/bits/ranges_algo.h (ranges::transform, ranges::replace)
1971         (ranges::replace_if, ranges::generate_n, ranges::generate)
1972         (ranges::remove): Use new name for writable.
1973         * include/bits/stl_iterator.h (__detail::__common_iter_has_arrow):
1974         Use new name for readable.
1975         * include/ext/pointer.h (readable_traits<_Pointer_adapter<P>>): Use
1976         new name for readable_traits.
1977         * testsuite/24_iterators/associated_types/readable.traits.cc: Likewise.
1978         * testsuite/24_iterators/indirect_callable/projected.cc: Adjust for
1979         new definition of indirectly_readable.
1980
1981         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Change
1982         to take parameters of common_iterator, instead of the common_iterator
1983         type itself. Fix argument for __common_iter_has_arrow constraint.
1984         (iterator_traits<common_iterator<I, S>>::pointer): Adjust.
1985
1986 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1987
1988         * include/std/ranges (iota_view): Add braces to prevent -Wempty-body
1989         warning.
1990         (basic_istream_view::_Iterator::operator++()): Add missing return.
1991
1992 2020-02-07  Patrick Palka  <ppalka@redhat.com>
1993
1994         * include/bits/ranges_algo.h: Remove extraneous &&.
1995
1996         * include/std/ranges (ranges::__detail::__stream_extractable,
1997         ranges::basic_istream_view, ranges::istream_view): Define.
1998         * testsuite/std/ranges/istream_view: New test.
1999
2000         Implement C++20 range adaptors
2001         * include/std/ranges: Include <bits/refwrap.h> and <tuple>.
2002         (subrange::_S_store_size): Mark as const instead of constexpr to
2003         avoid what seems to be a bug in GCC.
2004         (__detail::__box): Give it defaulted copy and move constructors.
2005         (ranges::views::_Single::operator()): Mark constexpr.
2006         (ranges::views::_Iota::operator()): Mark constexpr.
2007         (__detail::Empty): Define.
2008         (ranges::views::__closure::_RangeAdaptor,
2009         ranges::views::__closure::_RangeAdaptorClosure, ref_view, all_view,
2010         ranges::views::all, ranges::__detail::find_if,
2011         ranges::__detail::find_if_not, ranges::__detail::mismatch,
2012         ranges::detail::min, filter_view, ranges::views::filter, transform_view,
2013         ranges::views::transform, take_view, ranges::views::take,
2014         take_while_view, ranges::views::take_while, drop_view,
2015         ranges::views::drop, join_view, ranges::views::join,
2016         __detail::require_constant, __detail::tiny_range, split_view,
2017         ranges::views::split, ranges::views::_Counted, ranges::views::counted,
2018         common_view, ranges::views::common, reverse_view,
2019         ranges::views::reverse,
2020         ranges::views::__detail::__is_reversible_subrange,
2021         ranges::views::__detail::__is_reverse_view, reverse_view,
2022         ranges::views::reverse, __detail::__has_tuple_element, elements_view,
2023         ranges::views::elements, ranges::views::keys, ranges::views::values):
2024         Define.
2025         (views): Alias for ranges::views.
2026         (tuple_size<ranges::subrange<>>, tuple_element<0, ranges::subrange>,
2027         tuple_element<1, ranges::subrange>): New partial specializations.
2028         * testsuite/std/ranges/adaptors/all.cc: New test.
2029         * testsuite/std/ranges/adaptors/common.cc: Likewise.
2030         * testsuite/std/ranges/adaptors/counted.cc: Likewise.
2031         * testsuite/std/ranges/adaptors/drop.cc: Likewise.
2032         * testsuite/std/ranges/adaptors/drop_while.cc: Likewise.
2033         * testsuite/std/ranges/adaptors/elements.cc: Likewise.
2034         * testsuite/std/ranges/adaptors/filter.cc: Likewise.
2035         * testsuite/std/ranges/adaptors/join.cc: Likewise.
2036         * testsuite/std/ranges/adaptors/reverse.cc: Likewise.
2037         * testsuite/std/ranges/adaptors/split.cc: Likewise.
2038         * testsuite/std/ranges/adaptors/take.cc: Likewise.
2039         * testsuite/std/ranges/adaptors/take_while.cc: Likewise.
2040         * testsuite/std/ranges/adaptors/transform.cc: Likewise.
2041
2042 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
2043
2044         * libsupc++/compare (__cmp_cat::type): Define typedef for underlying
2045         type of enumerations and comparison category types.
2046         (__cmp_cat::_Ord, __cmp_cat::_Ncmp): Add underlying type.
2047         (__cmp_cat::_Ncmp::unordered): Change value to 2.
2048         (partial_ordering::_M_value, weak_ordering::_M_value)
2049         (strong_ordering::_M_value): Change type to __cmp_cat::type.
2050         (partial_ordering::_M_is_ordered): Remove data member.
2051         (partial_ordering): Use second bit of _M_value for unordered. Adjust
2052         comparison operators.
2053         (weak_ordering::operator partial_ordering): Simplify to remove
2054         branches.
2055         (operator<=>(unspecified, weak_ordering)): Likewise.
2056         (strong_ordering::operator partial_ordering): Likewise.
2057         (strong_ordering::operator weak_ordering): Likewise.
2058         (operator<=>(unspecified, strong_ordering)): Likewise.
2059         * testsuite/18_support/comparisons/categories/partialord.cc: New test.
2060         * testsuite/18_support/comparisons/categories/strongord.cc: New test.
2061         * testsuite/18_support/comparisons/categories/weakord.cc: New test.
2062
2063         * include/std/ranges (iota_view::_Iterator): Fix typo in name of
2064         __cpp_lib_three_way_comparison macro and use deduced return type for
2065         operator<=>.
2066         * testsuite/std/ranges/iota/iterator.cc: New test.
2067
2068 2020-02-07  Patrick Palka  <ppalka@redhat.com>
2069             Jonathan Wakely  <jwakely@redhat.com>
2070
2071         Implement C++20 constrained algorithms
2072         * include/Makefile.am: Add new header.
2073         * include/Makefile.in: Regenerate.
2074         * include/std/algorithm: Include <bits/ranges_algo.h>.
2075         * include/bits/ranges_algo.h: New file.
2076         * testsuite/25_algorithms/adjacent_find/constrained.cc: New test.
2077         * testsuite/25_algorithms/all_of/constrained.cc: New test.
2078         * testsuite/25_algorithms/any_of/constrained.cc: New test.
2079         * testsuite/25_algorithms/binary_search/constrained.cc: New test.
2080         * testsuite/25_algorithms/copy/constrained.cc: New test.
2081         * testsuite/25_algorithms/copy_backward/constrained.cc: New test.
2082         * testsuite/25_algorithms/copy_if/constrained.cc: New test.
2083         * testsuite/25_algorithms/copy_n/constrained.cc: New test.
2084         * testsuite/25_algorithms/count/constrained.cc: New test.
2085         * testsuite/25_algorithms/count_if/constrained.cc: New test.
2086         * testsuite/25_algorithms/equal/constrained.cc: New test.
2087         * testsuite/25_algorithms/equal_range/constrained.cc: New test.
2088         * testsuite/25_algorithms/fill/constrained.cc: New test.
2089         * testsuite/25_algorithms/fill_n/constrained.cc: New test.
2090         * testsuite/25_algorithms/find/constrained.cc: New test.
2091         * testsuite/25_algorithms/find_end/constrained.cc: New test.
2092         * testsuite/25_algorithms/find_first_of/constrained.cc: New test.
2093         * testsuite/25_algorithms/find_if/constrained.cc: New test.
2094         * testsuite/25_algorithms/find_if_not/constrained.cc: New test.
2095         * testsuite/25_algorithms/for_each/constrained.cc: New test.
2096         * testsuite/25_algorithms/generate/constrained.cc: New test.
2097         * testsuite/25_algorithms/generate_n/constrained.cc: New test.
2098         * testsuite/25_algorithms/heap/constrained.cc: New test.
2099         * testsuite/25_algorithms/includes/constrained.cc: New test.
2100         * testsuite/25_algorithms/inplace_merge/constrained.cc: New test.
2101         * testsuite/25_algorithms/is_partitioned/constrained.cc: New test.
2102         * testsuite/25_algorithms/is_permutation/constrained.cc: New test.
2103         * testsuite/25_algorithms/is_sorted/constrained.cc: New test.
2104         * testsuite/25_algorithms/is_sorted_until/constrained.cc: New test.
2105         * testsuite/25_algorithms/lexicographical_compare/constrained.cc: New
2106         test.
2107         * testsuite/25_algorithms/lower_bound/constrained.cc: New test.
2108         * testsuite/25_algorithms/max/constrained.cc: New test.
2109         * testsuite/25_algorithms/max_element/constrained.cc: New test.
2110         * testsuite/25_algorithms/merge/constrained.cc: New test.
2111         * testsuite/25_algorithms/min/constrained.cc: New test.
2112         * testsuite/25_algorithms/min_element/constrained.cc: New test.
2113         * testsuite/25_algorithms/minmax/constrained.cc: New test.
2114         * testsuite/25_algorithms/minmax_element/constrained.cc: New test.
2115         * testsuite/25_algorithms/mismatch/constrained.cc: New test.
2116         * testsuite/25_algorithms/move/constrained.cc: New test.
2117         * testsuite/25_algorithms/move_backward/constrained.cc: New test.
2118         * testsuite/25_algorithms/next_permutation/constrained.cc: New test.
2119         * testsuite/25_algorithms/none_of/constrained.cc: New test.
2120         * testsuite/25_algorithms/nth_element/constrained.cc: New test.
2121         * testsuite/25_algorithms/partial_sort/constrained.cc: New test.
2122         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: New test.
2123         * testsuite/25_algorithms/partition/constrained.cc: New test.
2124         * testsuite/25_algorithms/partition_copy/constrained.cc: New test.
2125         * testsuite/25_algorithms/partition_point/constrained.cc: New test.
2126         * testsuite/25_algorithms/prev_permutation/constrained.cc: New test.
2127         * testsuite/25_algorithms/remove/constrained.cc: New test.
2128         * testsuite/25_algorithms/remove_copy/constrained.cc: New test.
2129         * testsuite/25_algorithms/remove_copy_if/constrained.cc: New test.
2130         * testsuite/25_algorithms/remove_if/constrained.cc: New test.
2131         * testsuite/25_algorithms/replace/constrained.cc: New test.
2132         * testsuite/25_algorithms/replace_copy/constrained.cc: New test.
2133         * testsuite/25_algorithms/replace_copy_if/constrained.cc: New test.
2134         * testsuite/25_algorithms/replace_if/constrained.cc: New test.
2135         * testsuite/25_algorithms/reverse/constrained.cc: New test.
2136         * testsuite/25_algorithms/reverse_copy/constrained.cc: New test.
2137         * testsuite/25_algorithms/rotate/constrained.cc: New test.
2138         * testsuite/25_algorithms/rotate_copy/constrained.cc: New test.
2139         * testsuite/25_algorithms/search/constrained.cc: New test.
2140         * testsuite/25_algorithms/search_n/constrained.cc: New test.
2141         * testsuite/25_algorithms/set_difference/constrained.cc: New test.
2142         * testsuite/25_algorithms/set_intersection/constrained.cc: New test.
2143         * testsuite/25_algorithms/set_symmetric_difference/constrained.cc: New
2144         test.
2145         * testsuite/25_algorithms/set_union/constrained.cc: New test.
2146         * testsuite/25_algorithms/shuffle/constrained.cc: New test.
2147         * testsuite/25_algorithms/sort/constrained.cc: New test.
2148         * testsuite/25_algorithms/stable_partition/constrained.cc: New test.
2149         * testsuite/25_algorithms/stable_sort/constrained.cc: New test.
2150         * testsuite/25_algorithms/swap_ranges/constrained.cc: New test.
2151         * testsuite/25_algorithms/transform/constrained.cc: New test.
2152         * testsuite/25_algorithms/unique/constrained.cc: New test.
2153         * testsuite/25_algorithms/unique_copy/constrained.cc: New test.
2154         * testsuite/25_algorithms/upper_bound/constrained.cc: New test.
2155
2156 2020-02-06  Jonathan Wakely  <jwakely@redhat.com>
2157
2158         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Fix PR
2159         number in comment. Fix indentation.
2160
2161         * include/bits/stl_algobase.h (__iter_swap, __iter_swap<true>): Remove
2162         redundant _GLIBCXX20_CONSTEXPR.
2163
2164         * include/std/ranges (viewable_range): Replace decay_t with
2165         remove_cvref_t (LWG 3375).
2166
2167 2020-02-05  Jonathan Wakely  <jwakely@redhat.com>
2168
2169         * include/bits/iterator_concepts.h (iter_reference_t)
2170         (iter_rvalue_reference_t, iter_common_reference_t, indirect_result_t):
2171         Remove workarounds for PR c++/67704.
2172         * testsuite/24_iterators/aliases.cc: New test.
2173
2174 2020-02-05  Patrick Palka  <ppalka@redhat.com>
2175
2176         * include/bits/stl_iterator.h (move_iterator::move_iterator): Move __i
2177         when initializing _M_current.
2178         (move_iterator::base): Split into two overloads differing in
2179         ref-qualifiers as in P1207R4 for C++20.
2180
2181 2020-02-04  Jonathan Wakely  <jwakely@redhat.com>
2182
2183         * include/std/functional (_GLIBCXX_NOT_FN_CALL_OP): Un-define after
2184         use.
2185
2186         PR libstdc++/93562
2187         * include/bits/unique_ptr.h (__uniq_ptr_impl::swap): Define.
2188         (unique_ptr::swap, unique_ptr<T[], D>::swap): Call it.
2189         * testsuite/20_util/unique_ptr/modifiers/93562.cc: New test.
2190
2191 2020-02-01  Andrew Burgess  <andrew.burgess@embecosm.com>
2192
2193         * configure: Regenerate.
2194
2195 2020-01-31  Patrick Palka  <ppalka@redhat.com>
2196
2197         * testsuite/24_iterators/range_operations/distance.cc: Do not assume
2198         test_range::end() returns the same type as test_range::begin().
2199         * testsuite/24_iterators/range_operations/next.cc: Likewise.
2200         * testsuite/24_iterators/range_operations/prev.cc: Likewise.
2201         * testsuite/util/testsuite_iterators.h (__gnu_test::test_range::end):
2202         Always return a sentinel<I>.
2203
2204 2020-01-29  Jonathan Wakely  <jwakely@redhat.com>
2205
2206         PR libstdc++/92895
2207         * include/std/stop_token (stop_token::stop_possible()): Call new
2208         _M_stop_possible() function.
2209         (stop_token::stop_requested()): Do not use stop_possible().
2210         (stop_token::binary_semaphore): New class, as temporary stand-in for
2211         std::binary_semaphore.
2212         (stop_token::_Stop_cb::_M_callback): Add noexcept to type.
2213         (stop_token::_Stop_cb::_M_destroyed, stop_token::_Stop_cb::_M_done):
2214         New data members for symchronization with stop_callback destruction.
2215         (stop_token::_Stop_cb::_Stop_cb): Make non-template.
2216         (stop_token::_Stop_cb::_M_linked, stop_token::_Stop_cb::_S_execute):
2217         Remove.
2218         (stop_token::_Stop_cb::_M_run): New member function.
2219         (stop_token::_Stop_state::_M_stopped, stop_token::_Stop_state::_M_mtx):
2220         Remove.
2221         (stop_token::_Stop_state::_M_owners): New data member to track
2222         reference count for ownership.
2223         (stop_token::_Stop_state::_M_value): New data member combining a
2224         spinlock, the stop requested flag, and the reference count for
2225         associated stop_source objects.
2226         (stop_token::_Stop_state::_M_requester): New data member for
2227         synchronization with stop_callback destruction.
2228         (stop_token::_Stop_state::_M_stop_possible()): New member function.
2229         (stop_token::_Stop_state::_M_stop_requested()): Inspect relevant bit
2230         of _M_value.
2231         (stop_token::_Stop_state::_M_add_owner)
2232         (stop_token::_Stop_state::_M_release_ownership)
2233         (stop_token::_Stop_state::_M_add_ssrc)
2234         (stop_token::_Stop_state::_M_sub_ssrc): New member functions for
2235         updating reference counts.
2236         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
2237         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
2238         (stop_token::_Stop_state::_M_try_lock)
2239         (stop_token::_Stop_state::_M_try_lock_and_stop)
2240         (stop_token::_Stop_state::_M_do_try_lock): New member functions for
2241         managing spinlock.
2242         (stop_token::_Stop_state::_M_request_stop): Use atomic operations to
2243         read and update state. Release lock while running callbacks. Use new
2244         data members to synchronize with callback destruction.
2245         (stop_token::_Stop_state::_M_remove_callback): Likewise.
2246         (stop_token::_Stop_state::_M_register_callback): Use atomic operations
2247         to read and update state.
2248         (stop_token::_Stop_state_ref): Handle type to manage _Stop_state,
2249         replacing shared_ptr.
2250         (stop_source::stop_source(const stop_source&)): Update reference count.
2251         (stop_source::operator=(const stop_source&)): Likewise.
2252         (stop_source::~stop_source()): Likewise.
2253         (stop_source::stop_source(stop_source&&)): Define as defaulted.
2254         (stop_source::operator=(stop_source&&)): Establish postcondition on
2255         parameter.
2256         (stop_callback): Enforce preconditions on template parameter. Replace
2257         base class with data member of new _Cb_impl type.
2258         (stop_callback::stop_callback(const stop_token&, Cb&&))
2259         (stop_callback::stop_callback(stop_token&&, Cb&&)): Fix TOCTTOU race.
2260         (stop_callback::_Cb_impl): New type wrapping _Callback member and
2261         defining the _S_execute member function.
2262         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc: New
2263         test.
2264         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: New test.
2265         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: New test.
2266         * testsuite/30_threads/stop_token/stop_callback/destructible_neg.cc:
2267         New test.
2268         * testsuite/30_threads/stop_token/stop_callback/invocable_neg.cc: New
2269         test.
2270         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: New test.
2271         * testsuite/30_threads/stop_token/stop_source/assign.cc: New test.
2272         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc: New
2273         test.
2274
2275         * libsupc++/compare (__detail::__3way_builtin_ptr_cmp): Use
2276         three_way_comparable_with.
2277         (__detail::__3way_cmp_with): Remove workaround for fixed bug.
2278         (compare_three_way::operator()): Remove redundant constraint from
2279         requires-clause.
2280         (__detail::_Synth3way::operator()): Use three_way_comparable_with
2281         instead of workaround.
2282         * testsuite/18_support/comparisons/object/93479.cc: Prune extra
2283         output due to simplified constraints on compare_three_way::operator().
2284
2285         PR libstdc++/93479
2286         * libsupc++/compare (__3way_builtin_ptr_cmp): Require <=> to be valid.
2287         * testsuite/18_support/comparisons/object/93479.cc: New test.
2288
2289         * testsuite/std/ranges/access/end.cc: Do not assume test_range::end()
2290         returns the same type as test_range::begin(). Add comments.
2291         * testsuite/std/ranges/access/rbegin.cc: Likewise.
2292         * testsuite/std/ranges/access/rend.cc: Likewise.
2293         * testsuite/std/ranges/range.cc: Do not assume the sentinel for
2294         test_range is the same as its iterator type.
2295         * testsuite/util/testsuite_iterators.h (test_range::sentinel): Add
2296         operator- overloads to satisfy sized_sentinel_for when the iterator
2297         satisfies random_access_iterator.
2298
2299 2020-01-28  Jonathan Wakely  <jwakely@redhat.com>
2300
2301         PR libstdc++/93470
2302         * include/bits/refwrap.h (reference_wrapper::operator()): Restrict
2303         static assertion to object types.
2304
2305         PR libstdc++/93325
2306         * acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_TIME): Use AC_SEARCH_LIBS for
2307         clock_gettime instead of explicit glibc version check.
2308         * configure: Regenerate.
2309
2310 2020-01-28  Martin Liska  <mliska@suse.cz>
2311
2312         PR libstdc++/93478
2313         * include/std/atomic: Fix typo.
2314         * include/std/optional: Likewise.
2315
2316 2020-01-27  Andrew Burgess  <andrew.burgess@embecosm.com>
2317
2318         * configure: Regenerate.
2319
2320 2020-01-27  Jonathan Wakely  <jwakely@redhat.com>
2321
2322         PR libstdc++/93426
2323         * include/std/span (span): Fix deduction guide.
2324         * testsuite/23_containers/span/deduction.cc: New test.
2325
2326 2020-01-24  Jonathan Wakely  <jwakely@redhat.com>
2327
2328         * libsupc++/compare (__cmp_cat::_Eq): Remove enumeration type.
2329         (__cmp_cat::_Ord::equivalent): Add enumerator.
2330         (__cmp_cat::_Ord::_Less, __cmp_cat::_Ord::_Greater): Rename to less
2331         and greater.
2332         (partial_ordering, weak_ordering, strong_ordering): Remove
2333         constructors taking __cmp_cat::_Eq parameters. Use renamed
2334         enumerators.
2335
2336 2020-01-24  Maciej W. Rozycki  <macro@wdc.com>
2337
2338         * acinclude.m4: Handle `--with-toolexeclibdir='.
2339         * Makefile.in: Regenerate.
2340         * aclocal.m4: Regenerate.
2341         * configure: Regenerate.
2342         * doc/Makefile.in: Regenerate.
2343         * include/Makefile.in: Regenerate.
2344         * libsupc++/Makefile.in: Regenerate.
2345         * po/Makefile.in: Regenerate.
2346         * python/Makefile.in: Regenerate.
2347         * src/Makefile.in: Regenerate.
2348         * src/c++11/Makefile.in: Regenerate.
2349         * src/c++17/Makefile.in: Regenerate.
2350         * src/c++98/Makefile.in: Regenerate.
2351         * src/filesystem/Makefile.in: Regenerate.
2352         * testsuite/Makefile.in: Regenerate.
2353
2354 2020-01-23  Alexandre Oliva <oliva@adacore.com>
2355
2356         * crossconfig.m4 (GLIBCXX_CHECK_MATH_DECL): Reject macros.
2357         * configure: Rebuild.
2358
2359         * testsuite/27_io/fpos/mbstate_t/1.cc: Zero-init mbstate_t.
2360
2361 2020-01-23  Jonathan Wakely  <jwakely@redhat.com>
2362
2363         PR libstdc++/91947
2364         * include/Makefile.am (${host_builddir}/largefile-config.h): Simplify
2365         rule.
2366         * include/Makefile.in: Regenerate.
2367
2368 2020-01-20  Jonathan Wakely  <jwakely@redhat.com>
2369
2370         * doc/xml/faq.xml: Fix grammar.
2371         * doc/xml/manual/appendix_contributing.xml: Improve instructions.
2372         * doc/xml/manual/spine.xml: Update copyright years.
2373         * doc/html/*: Regenerate.
2374
2375 2020-01-19  Eric S. Raymond <esr@thyrsus.com>
2376
2377         * doc/xml/faq.xml: Update for SVN -> Git transition.
2378         * doc/xml/manual/appendix_contributing.xml: Likewise.
2379         * doc/xml/manual/status_cxx1998.xml: Likewise.
2380         * doc/xml/manual/status_cxx2011.xml: Likewise.
2381         * doc/xml/manual/status_cxx2014.xml: Likewise.
2382         * doc/xml/manual/status_cxx2017.xml: Likewise.
2383         * doc/xml/manual/status_cxx2020.xml: Likewise.
2384         * doc/xml/manual/status_cxxtr1.xml: Likewise.
2385         * doc/xml/manual/status_cxxtr24733.xml: Likewise.
2386
2387 2020-01-18  Iain Sandoe  <iain@sandoe.co.uk>
2388
2389         * include/Makefile.am: Add coroutine to the std set.
2390         * include/Makefile.in: Regenerated.
2391         * include/std/coroutine: New file.
2392
2393 2020-01-17  Jonathan Wakely  <jwakely@redhat.com>
2394
2395         PR libstdc++/92376
2396         * include/bits/c++config: Only do PSTL config when the header is
2397         present, to fix freestanding.
2398         * libsupc++/new_opa.cc [!_GLIBCXX_HOSTED]: Declare allocation
2399         functions if they were detected by configure.
2400
2401 2020-01-16  Kai-Uwe Eckhardt  <kuehro@gmx.de>
2402             Matthew Bauer  <mjbauer95@gmail.com>
2403             Jonathan Wakely  <jwakely@redhat.com>
2404
2405         PR bootstrap/64271 (partial)
2406         * config/os/bsd/netbsd/ctype_base.h (ctype_base::mask): Change type
2407         to unsigned short.
2408         (ctype_base::alpha, ctype_base::digit, ctype_base::xdigit)
2409         (ctype_base::print, ctype_base::graph, ctype_base::alnum): Sync
2410         definitions with NetBSD upstream.
2411         (ctype_base::blank): Use _CTYPE_BL.
2412         * config/os/bsd/netbsd/ctype_configure_char.cc (_C_ctype_): Remove
2413         Declaration.
2414         (ctype<char>::classic_table): Use _C_ctype_tab_ instead of _C_ctype_.
2415         (ctype<char>::do_toupper, ctype<char>::do_tolower): Cast char
2416         parameters to unsigned char.
2417         * config/os/bsd/netbsd/ctype_inline.h (ctype<char>::is): Likewise.
2418
2419 2020-01-16  François Dumont  <fdumont@gcc.gnu.org>
2420
2421         PR libstdc++/91263
2422         * include/bits/hashtable.h (_Hashtable<>): Make _Equality<> friend.
2423         * include/bits/hashtable_policy.h: Include <bits/stl_algo.h>.
2424         (_Equality_base): Remove.
2425         (_Equality<>::_M_equal): Review implementation. Use
2426         std::is_permutation.
2427         * testsuite/23_containers/unordered_multiset/operators/1.cc
2428         (Hash, Equal, test02, test03): New.
2429         * testsuite/23_containers/unordered_set/operators/1.cc
2430         (Hash, Equal, test02, test03): New.
2431
2432 2020-01-15  Jonathan Wakely  <jwakely@redhat.com>
2433
2434         PR libstdc++/93267
2435         * include/bits/iterator_concepts.h (__max_diff_type, __max_size_type):
2436         Move here from <bits/range_access.h> and define using __int128 when
2437         available.
2438         (__is_integer_like, __is_signed_integer_like): Move here from
2439         <bits/range_access.h>.
2440         (weakly_incrementable): Use __is_signed_integer_like.
2441         * include/bits/range_access.h (__max_diff_type, __max_size_type)
2442         (__is_integer_like, __is_signed_integer_like): Move to
2443         <bits/iterator_concepts.h>.
2444         (__make_unsigned_like_t): Move here from <ranges>.
2445         * include/std/ranges (__make_unsigned_like_t): Move to
2446         <bits/range_access.h>.
2447         (iota_view): Replace using-directive with using-declarations.
2448         * testsuite/std/ranges/iota/93267.cc: New test.
2449         * testsuite/std/ranges/iota_view.cc: Move to new 'iota' sub-directory.
2450
2451 2020-01-13  Jonathan Wakely  <jwakely@redhat.com>
2452
2453         PR libstdc++/93244
2454         * include/bits/fs_path.h (path::generic_string<C,A>)
2455         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Convert root-dir to forward-slash.
2456         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Check
2457         root-dir is converted to forward slash in generic pathname.
2458         * testsuite/27_io/filesystem/path/generic/utf.cc: New test.
2459         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: New test.
2460
2461         PR libstdc++/58605
2462         * include/bits/atomic_base.h (__cpp_lib_atomic_value_initialization):
2463         Define.
2464         (__atomic_flag_base, __atomic_base, __atomic_base<_PTp*>)
2465         (__atomic_float): Add default member initializer for C++20.
2466         * include/std/atomic (atomic): Likewise.
2467         (atomic::atomic()): Remove noexcept-specifier on default constructor.
2468         * include/std/version (__cpp_lib_atomic_value_initialization): Define.
2469         * testsuite/29_atomics/atomic/cons/assign_neg.cc: Adjust dg-error line
2470         number.
2471         * testsuite/29_atomics/atomic/cons/copy_neg.cc: Likewise.
2472         * testsuite/29_atomics/atomic/cons/value_init.cc: New test.
2473         * testsuite/29_atomics/atomic_flag/cons/value_init.cc: New test.
2474         * testsuite/29_atomics/atomic_flag/requirements/trivial.cc: Adjust
2475         expected result for is_trivially_default_constructible.
2476         * testsuite/29_atomics/atomic_float/requirements.cc: Likewise.
2477         * testsuite/29_atomics/atomic_float/value_init.cc: New test.
2478         * testsuite/29_atomics/atomic_integral/cons/assign_neg.cc: Likewise.
2479         * testsuite/29_atomics/atomic_integral/cons/copy_neg.cc: Likewise.
2480         * testsuite/29_atomics/atomic_integral/cons/value_init.cc
2481         * testsuite/29_atomics/atomic_integral/requirements/trivial.cc: Adjust
2482         expected results for is_trivially_default_constructible.
2483         * testsuite/util/testsuite_common_types.h (has_trivial_dtor): Add
2484         new test generator.
2485
2486 2020-01-10  Jonathan Wakely  <jwakely@redhat.com>
2487
2488         * testsuite/util/testsuite_iterators.h: Improve comment.
2489
2490         * testsuite/25_algorithms/equal/deque_iterators/1.cc: Don't use C++11
2491         initialization syntax.
2492
2493         PR libstdc++/92285
2494         * include/bits/streambuf_iterator.h (istreambuf_iterator): Make type
2495         of base class independent of __cplusplus value.
2496         [__cplusplus < 201103L] (istreambuf_iterator::reference): Override the
2497         type defined in the base class
2498         * testsuite/24_iterators/istreambuf_iterator/92285.cc: New test.
2499         * testsuite/24_iterators/istreambuf_iterator/requirements/
2500         base_classes.cc: Adjust expected base class for C++98.
2501
2502 2020-01-09  Olivier Hainque  <hainque@adacore.com>
2503
2504         * doc/xml/manual/appendix_contributing.xml: Document _C2
2505         as a reserved identifier, by VxWorks.
2506         * include/bits/stl_map.h: Rename _C2 template typenames as _Cmp2.
2507         * include/bits/stl_multimap.h: Likewise.
2508
2509 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
2510
2511         * include/ext/extptr_allocator.h (_ExtPtr_allocator::operator==)
2512         (_ExtPtr_allocator::operator!=): Add missing const qualifiers.
2513         * include/ext/pointer.h (readable_traits<_Pointer_adapter<S>>): Add
2514         partial specialization to disambiguate the two constrained
2515         specializations.
2516
2517         * include/experimental/type_traits (experimental::is_pod_v): Disable
2518         -Wdeprecated-declarations warnings around reference to std::is_pod.
2519         * include/std/type_traits (is_pod_v): Likewise.
2520         * testsuite/18_support/max_align_t/requirements/2.cc: Also check
2521         is_standard_layout and is_trivial. Do not check is_pod for C++20.
2522         * testsuite/20_util/is_pod/requirements/explicit_instantiation.cc:
2523         Add -Wno-deprecated for C++20.
2524         * testsuite/20_util/is_pod/requirements/typedefs.cc: Likewise.
2525         * testsuite/20_util/is_pod/value.cc: Likewise.
2526         * testsuite/experimental/type_traits/value.cc: Likewise.
2527
2528 2020-01-09  JeanHeyd "ThePhD" Meneide  <phdofthehouse@gmail.com>
2529
2530         * include/bits/c++config (_GLIBCXX20_DEPRECATED): Add new macro.
2531         * include/std/type_traits (is_pod, is_pod_v): Deprecate for C++20.
2532         * testuite/20_util/is_pod/deprecated-2a.cc: New test.
2533
2534 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
2535
2536         PR libstdc++/93205
2537         * include/bits/random.h (operator>>): Check stream operation succeeds.
2538         * include/bits/random.tcc (operator<<): Remove redundant __ostream_type
2539         typedefs.
2540         (operator>>): Remove redundant __istream_type typedefs. Check stream
2541         operations succeed.
2542         (__extract_params): New function to fill a vector from a stream.
2543         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error line.
2544
2545         PR libstdc++/93208
2546         * config/abi/pre/gnu.ver: Add new exports.
2547         * include/std/memory_resource (memory_resource::~memory_resource()):
2548         Do not define inline.
2549         (monotonic_buffer_resource::~monotonic_buffer_resource()): Likewise.
2550         * src/c++17/memory_resource.cc (memory_resource::~memory_resource()):
2551         Define.
2552         (monotonic_buffer_resource::~monotonic_buffer_resource()): Define.
2553         * testsuite/20_util/monotonic_buffer_resource/93208.cc: New test.
2554
2555 2020-01-09  François Dumont  <fdumont@gcc.gnu.org>
2556
2557         PR libstdc++/92124
2558         * include/bits/hashtable.h (_Hashtable<>::__alloc_node_gen_t): New
2559         template alias.
2560         (_Hashtable<>::__fwd_value_for): New.
2561         (_Hashtable<>::_M_assign_elements<>): Remove _NodeGenerator template
2562         parameter.
2563         (_Hashtable<>::_M_assign<>): Add _Ht template parameter.
2564         (_Hashtable<>::operator=(const _Hashtable<>&)): Adapt.
2565         (_Hashtable<>::_M_move_assign): Adapt. Replace std::move_if_noexcept
2566         with std::move.
2567         (_Hashtable<>::_Hashtable(const _Hashtable&)): Adapt.
2568         (_Hashtable<>::_Hashtable(const _Hashtable&, const allocator_type&)):
2569         Adapt.
2570         (_Hashtable<>::_Hashtable(_Hashtable&&, const allocator_type&)):
2571         Adapt.
2572         * testsuite/23_containers/unordered_set/92124.cc: New.
2573
2574 2020-01-08  Jonathan Wakely  <jwakely@redhat.com>
2575
2576         PR libstdc++/93201
2577         * src/c++17/fs_ops.cc (do_remove_all): New function implementing more
2578         detailed error reporting for remove_all. Check result of recursive
2579         call before incrementing iterator.
2580         (remove_all(const path&), remove_all(const path&, error_code&)): Use
2581         do_remove_all.
2582         * src/filesystem/ops.cc (remove_all(const path&, error_code&)): Check
2583         result of recursive call before incrementing iterator.
2584         * testsuite/27_io/filesystem/operations/remove_all.cc: Check errors
2585         are reported correctly.
2586         * testsuite/experimental/filesystem/operations/remove_all.cc: Likewise.
2587
2588 2020-01-07  Thomas Rodgers  <trodgers@redhat.com>
2589
2590         * include/std/condition_variable
2591         (condition_variable_any::wait_on): Rename to match current draft
2592         standard.
2593         (condition_variable_any::wait_on_until): Likewise.
2594         (condition_variable_any::wait_on_for): Likewise.
2595         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
2596         Adjust tests to account for renamed methods.
2597
2598 2020-01-07  François Dumont  <fdumont@gcc.gnu.org>
2599
2600         PR libstdc++/92124
2601         * include/bits/stl_tree.h
2602         (_Rb_tree<>::_M_move_assign(_Rb_tree&, false_type)): Replace
2603         std::move_if_noexcept by std::move.
2604         * testsuite/23_containers/map/92124.cc: New.
2605         * testsuite/23_containers/set/92124.cc: New.
2606
2607 2020-01-06  Jonathan Wakely  <jwakely@redhat.com>
2608
2609         * include/std/stop_token (stop_token): Remove operator!= (LWG 3254).
2610         (stop_source): Likewise (LWG 3362).
2611         * testsuite/30_threads/stop_token/stop_source.cc: Test equality
2612         comparisons.
2613
2614         * include/bits/stl_algobase.h (__is_byte_iter, __min_cmp)
2615         (lexicographical_compare_three_way): Do not depend on
2616         __cpp_lib_concepts.
2617         * include/std/version (__cpp_lib_three_way_comparison): Only define
2618         when __cpp_lib_concepts is defined.
2619         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
2620
2621 2020-01-03  Jonathan Wakely  <jwakely@redhat.com>
2622
2623         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
2624         Only define four-argument overload when __cpp_lib_concepts is defined.
2625
2626 2020-01-01  John David Anglin  <danglin@gcc.gnu.org>
2627
2628         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
2629
2630 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
2631
2632         Update copyright years.
2633 \f
2634 Copyright (C) 2020 Free Software Foundation, Inc.
2635
2636 Copying and distribution of this file, with or without modification,
2637 are permitted in any medium without royalty provided the copyright
2638 notice and this notice are preserved.