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