libstdc++-v3/ChangeLog

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