libstdc++-v3/ChangeLog

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