libstdc++-v3/ChangeLog

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