libstdc++-v3/ChangeLog

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