libstdc++-v3/ChangeLog

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