libstdc++-v3/ChangeLog

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