libstdc++-v3/ChangeLog

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