libstdc++-v3/ChangeLog

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