libstdc++-v3/ChangeLog

   1 2020-04-06  Jonathan Wakely  <jwakely@redhat.com>
   2
   3         PR libstdc++/94498
   4         * include/bits/char_traits.h (__gnu_cxx::char_traits::move): Make it
   5         usable in constant expressions for C++20.
   6         (__gnu_cxx::char_traits::copy, __gnu_cxx::char_traits::assign): Add
   7         _GLIBCXX20_CONSTEXPR.
   8         (std::char_traits<char>, std::char_traits<wchar_t>)
   9         (std::char_traits<char8_t>): Make move, copy and assign usable in
  10         constant expressions for C++20.
  11         (std::char_traits<char16_t>, std::char_traits<char32_t>): Make move
  12         and copy usable in constant expressions for C++20.
  13         * include/std/string_view (basic_string_view::copy): Add
  14         _GLIBCXX20_CONSTEXPR.
  15         * testsuite/21_strings/basic_string_view/operations/copy/char/
  16         constexpr.cc: New test.
  17         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
  18         constexpr.cc: New test.
  19
  20 2020-04-05  Gerald Pfeifer  <gerald@pfeifer.com>
  21
  22         * doc/xml/manual/appendix_contributing.xml: Refer to Git
  23         documentation instead of Subversion.  Switch to https.
  24         * doc/html/manual/appendix_contributing.html: Regenerate.
  25
  26 2020-04-03  Jonathan Wakely  <jwakely@redhat.com>
  27
  28         PR libstdc++/93960
  29         * include/bits/ptr_traits.h (__to_address): Add special case for debug
  30         iterators, to avoid dereferenceable check.
  31         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
  32         * testsuite/20_util/to_address/debug.cc: New test.
  33
  34 2020-04-01  Andrea Corallo  <andrea.corallo@arm.com>
  35
  36         * testsuite/experimental/net/execution_context/use_service.cc:
  37         Require pthread and gthreads.
  38
  39 2020-04-01  Gerald Pfeifer  <gerald@pfeifer.com>
  40
  41         * doc/xml/manual/appendix_free.xml: Move "free books" list from
  42         fsf.org to gnu.org.
  43         * doc/html/manual/appendix_free.html: Regenerate.
  44
  45 2020-03-31  Ville Voutilainen  <ville.voutilainen@gmail.com>
  46
  47         Library-side tests for parenthesized aggregate init
  48
  49         PR c++/92878
  50         PR c++/92947
  51
  52         * testsuite/20_util/allocator_traits/members/92878_92947.cc: New.
  53         * testsuite/20_util/any/assign/92878_92947.cc: Likewise.
  54         * testsuite/20_util/any/cons/92878_92947.cc: Likewise.
  55         * testsuite/20_util/is_constructible/92878_92947.cc: Likewise.
  56         * testsuite/20_util/optional/assignment/92878_92947.cc: Likewise.
  57         * testsuite/20_util/optional/cons/92878_92947.cc: Likewise.
  58         * testsuite/20_util/pair/cons/92878_92947.cc: Likewise.
  59         * testsuite/20_util/shared_ptr/creation/92878_92947.cc: Likewise.
  60         * testsuite/20_util/specialized_algorithms/construct_at/92878_92947.cc:
  61         Likewise.
  62         * testsuite/20_util/unique_ptr/creation/92878_92947.cc: Likewise.
  63         * testsuite/20_util/uses_allocator/92878_92947.cc: Likewise.
  64         * testsuite/20_util/variant/92878_92947.cc: Likewise.
  65         * testsuite/23_containers/deque/modifiers/emplace/92878_92947.cc:
  66         Likewise.
  67         * testsuite/23_containers/forward_list/modifiers/92878_92947.cc:
  68         Likewise.
  69         * testsuite/23_containers/list/modifiers/emplace/92878_92947.cc:
  70         Likewise.
  71         * testsuite/23_containers/map/modifiers/emplace/92878_92947.cc:
  72         Likewise.
  73         * testsuite/23_containers/multimap/modifiers/emplace/92878_92947.cc:
  74         Likewise.
  75         * testsuite/23_containers/multiset/modifiers/emplace/92878_92947.cc:
  76         Likewise.
  77         * testsuite/23_containers/priority_queue/92878_92947.cc: Likewise.
  78         * testsuite/23_containers/queue/92878_92947.cc: Likewise.
  79         * testsuite/23_containers/set/modifiers/emplace/92878_92947.cc:
  80         Likewise.
  81         * testsuite/23_containers/stack/92878_92947.cc: Likewise.
  82         * testsuite/23_containers/unordered_map/modifiers/92878_92947.cc:
  83         Likewise.
  84         * testsuite/23_containers/unordered_multimap/modifiers/92878_92947.cc:
  85         Likewise.
  86         * testsuite/23_containers/unordered_multiset/modifiers/92878_92947.cc:
  87         Likewise.
  88         * testsuite/23_containers/unordered_set/modifiers/92878_92947.cc:
  89         Likewise.
  90         * testsuite/23_containers/vector/modifiers/emplace/92878_92947.cc:
  91         Likewise.
  92
  93 2020-03-28  Jonathan Wakely  <jwakely@redhat.com>
  94
  95         * testsuite/20_util/is_constructible/value-2.cc: Fix test to account
  96         for changes due to parenthesized aggregate-initialization in C++20.
  97         * testsuite/20_util/time_point/cons/81468.cc: Fix test to not clash
  98         with std::chrono::sys_time in C++20.
  99
 100         * include/bits/stl_iterator.h (reverse_iterator): Use requires-clause
 101         to constrain C++20 versions of comparison operators. Fix backwards
 102         logic of relational operators.
 103         (move_iterator): Use requires-clause to constrain comparison operators
 104         in C++20. Do not declare non-standard same-type overloads for C++20.
 105         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: Check result
 106         of comparisons and check using greedy_ops type.
 107         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: Likewise.
 108         * testsuite/24_iterators/move_iterator/greedy_ops.cc: Remove redundant
 109         main function from compile-only test.
 110         * testsuite/24_iterators/reverse_iterator/greedy_ops.cc: Likewise.
 111
 112 2020-03-27  Jonathan Wakely  <jwakely@redhat.com>
 113
 114         * include/bits/range_cmp.h (__cpp_lib_ranges): Define.
 115         * include/bits/stl_iterator.h: Check value of __cpp_concepts so that
 116         C++20 concepts are required.
 117         * include/bits/stl_iterator_base_types.h: Likewise.
 118         * include/std/concepts: Likewise.
 119         * include/std/version: Likewise.
 120         * testsuite/std/ranges/headers/ranges/synopsis.cc: Check feature test
 121         macro.
 122
 123         * include/bits/stl_iterator.h (reverse_iterator::iterator_concept)
 124         (reverse_iterator::iterator_category): Define for C++20.
 125         (reverse_iterator): Define comparison operators correctly for C++20.
 126         (__normal_iterator): Add constraints to comparison operators for C++20.
 127         (move_iterator::operator++(int)) [__cpp_lib_concepts]: Define new
 128         overload for input iterators.
 129         (move_iterator): Add constraints to comparison operators for C++20.
 130         Define operator<=> for C++20.
 131         * testsuite/24_iterators/move_iterator/input_iterator.cc: New test.
 132         * testsuite/24_iterators/move_iterator/move_only.cc: New test.
 133         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: New test.
 134         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: New test.
 135
 136         * include/bits/iterator_concepts.h (__detail::__decay_copy)
 137         (__detail::__member_begin, __detail::__adl_begin): Move here from
 138         <bits/range_access.h>.
 139         (__detail::__ranges_begin, __detail::__range_iter_t): Define.
 140         * bits/range_access.h (__cust_access::__decay_copy)
 141         (__cust_access::__member_begin, __cust_access::__adl_begin): Move to
 142         <bits/iterator_concepts.h>.
 143         (ranges::iterator_t): Use __detail::__range_iter_t.
 144         * include/bits/stl_iterator.h (back_insert_iterator): Simplify
 145         conditional compilation. Add _GLIBCXX20_CONSTEXPR to all members.
 146         (front_insert_iterator): Likewise.
 147         (insert_iterator): Implement changes from P0896R4 for C++20.
 148         * testsuite/24_iterators/back_insert_iterator/constexpr.cc: New test.
 149         * testsuite/24_iterators/front_insert_iterator/constexpr.cc: New test.
 150         * testsuite/24_iterators/headers/iterator/synopsis_c++17.cc: Adjust
 151         for inclusion in synopsis_c++20.cc which expects different signatures
 152         for some function templates.
 153         * testsuite/24_iterators/insert_iterator/constexpr.cc: New test.
 154
 155         * include/std/type_traits (__is_array_convertible): Move definition
 156         to immediately after is_convertible.
 157
 158 2020-03-26  Jonathan Wakely  <jwakely@redhat.com>
 159
 160         * include/std/chrono (chrono::days, chrono::weeks, chrono::years)
 161         (chrono::months, chrono::sys_days, chrono::local_t)
 162         (chrono::local_time, chrono::local_seconds, chrono::local_days):
 163         Define for C++20.
 164         (chrono::time_point): Add missing static assert.
 165         * testsuite/20_util/time_point/requirements/duration_neg.cc: New test.
 166         * testsuite/std/time/clock/file/overview.cc: New test.
 167         * testsuite/std/time/clock/file/members.cc: New test.
 168         * testsuite/std/time/syn_c++20.cc: New test.
 169
 170 2020-03-25  Mike Crowe  <mac@mcrowe.com>
 171
 172         * testsuite/30_threads/shared_timed_mutex/try_lock_until/1.cc: New
 173         test.
 174         * testsuite/30_threads/shared_timed_mutex/try_lock_until/2.cc: New
 175         test.
 176
 177 2020-03-25  Jonathan Wakely  <jwakely@redhat.com>
 178
 179         * include/bits/fs_fwd.h (filesystem::__file_clock): Move to ...
 180         * include/std/chrono (filesystem::__file_clock): Here.
 181         (filesystem::__file_clock::from_sys, filesystem::__file_clock::to_sys):
 182         Define public member functions for C++20.
 183         (is_clock, is_clock_v): Define traits for C++20.
 184         * include/std/condition_variable (condition_variable::wait_until): Add
 185         check for valid clock.
 186         * include/std/future (_State_baseV2::wait_until): Likewise.
 187         * include/std/mutex (__timed_mutex_impl::_M_try_lock_until): Likewise.
 188         * include/std/shared_mutex (shared_timed_mutex::try_lock_shared_until):
 189         Likewise.
 190         * include/std/thread (this_thread::sleep_until): Likewise.
 191         * testsuite/30_threads/condition_variable/members/2.cc: Qualify
 192         slow_clock with new namespace.
 193         * testsuite/30_threads/condition_variable/members/clock_neg.cc: New
 194         test.
 195         * testsuite/30_threads/condition_variable_any/members/clock_neg.cc:
 196         New test.
 197         * testsuite/30_threads/future/members/clock_neg.cc: New test.
 198         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/3.cc:
 199         Qualify slow_clock with new namespace.
 200         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/
 201         clock_neg.cc: New test.
 202         * testsuite/30_threads/shared_future/members/clock_neg.cc: New
 203         test.
 204         * testsuite/30_threads/shared_lock/locking/clock_neg.cc: New test.
 205         * testsuite/30_threads/shared_timed_mutex/try_lock_until/clock_neg.cc:
 206         New test.
 207         * testsuite/30_threads/timed_mutex/try_lock_until/3.cc: Qualify
 208         slow_clock with new namespace.
 209         * testsuite/30_threads/timed_mutex/try_lock_until/4.cc: Likewise.
 210         * testsuite/30_threads/timed_mutex/try_lock_until/clock_neg.cc: New
 211         test.
 212         * testsuite/30_threads/unique_lock/locking/clock_neg.cc: New test.
 213         * testsuite/std/time/traits/is_clock.cc: New test.
 214         * testsuite/util/slow_clock.h (slow_clock): Move to __gnu_test
 215         namespace.
 216
 217 2020-03-21  Jonathan Wakely  <jwakely@redhat.com>
 218
 219         PR libstdc++/93245
 220         * include/experimental/bits/fs_path.h (path::generic_string<C,T,A>()):
 221         * testsuite/experimental/filesystem/path/generic/generic_string.cc:
 222         Improve test coverage.
 223
 224         PR libstdc++/94242
 225         * include/bits/fs_path.h (path::_S_str_convert): Replace first
 226         parameter with basic_string_view so that strings with different
 227         allocators can be accepted.
 228         (path::generic_string<C,T,A>()): Use basic_string object that uses the
 229         right allocator type.
 230         * testsuite/27_io/filesystem/path/generic/94242.cc: New test.
 231         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Improve
 232         test coverage.
 233
 234 2020-03-18  Jonathan Wakely  <jwakely@redhat.com>
 235
 236         PR libstdc++/94033
 237         * include/std/type_traits (__is_nt_default_constructible_atom): Remove.
 238         (__is_nt_default_constructible_impl): Remove.
 239         (__is_nothrow_default_constructible_impl): Remove.
 240         (__is_nt_constructible_impl): Add bool template parameter. Adjust
 241         partial specializations.
 242         (__is_nothrow_constructible_impl): Replace class template with alias
 243         template.
 244         (is_nothrow_default_constructible): Derive from alias template
 245         __is_nothrow_constructible_impl instead of
 246         __is_nothrow_default_constructible_impl.
 247         * testsuite/20_util/is_nothrow_constructible/94003.cc: New test.
 248
 249         * include/std/stop_token (stop_token::_Stop_state_ref): Define
 250         comparison operators explicitly if the compiler won't synthesize them.
 251
 252         * include/bits/stl_algobase.h (__lexicographical_compare_aux): Check
 253         __cpp_lib_concepts before using iter_reference_t.
 254         * include/bits/stream_iterator.h (istream_iterator): Check
 255         __cpp_lib_concepts before using default_sentinel_t.
 256         * include/bits/streambuf_iterator.h (istreambuf_iterator): Likewise.
 257
 258         PR libstdc++/94203
 259         * include/experimental/executor (executor::executor(Executor)): Call
 260         make_shared directly instead of _M_create. Create _Tgt1 object.
 261         (executor::executor(allocator_arg_t, const ProtoAlloc&, Executor)):
 262         Call allocate_shared directly instead of _M_create. Create _Tgt2
 263         object.
 264         (executor::target_type): Add cast needed for new _Tgt interface.
 265         (executor::target): Define when RTTI is disabled. Use _Tgt::_M_func.
 266         (executor::_Tgt): Define the same interface whether RTTI is enabled or
 267         not.
 268         (executor::_Tgt::target_type, executor::_Tgt::target): Do not use
 269         std::type_info in the interface.
 270         (executor::_Tgt::_M_func): Add data member.
 271         (executor::_TgtImpl): Replace with _Tgt1 and _Tgt2 class templates.
 272         (executor::_Tgt1::_S_func): Define function to access target without
 273         depending on RTTI.
 274         (executor::_M_create): Remove.
 275         (operator==, operator!=): Simplify comparisons for executor.
 276         * include/experimental/socket (is_error_code_enum<socket_errc>):
 277         Define specialization before use.
 278         * testsuite/experimental/net/executor/1.cc: New test.
 279
 280 2020-03-16  Jonathan Wakely  <jwakely@redhat.com>
 281
 282         PR libstdc++/94199
 283         * include/experimental/executor (service_already_exists): Add default
 284         constructor. Declare make_service to be a friend.
 285         * testsuite/experimental/net/execution_context/make_service.cc: New
 286         test.
 287
 288 2020-03-12  Jonathan Wakely  <jwakely@redhat.com>
 289
 290         * testsuite/tr1/8_c_compatibility/cstdlib/functions.cc: Do not pass
 291         a null pointer to functions with nonnull(1) attribute.
 292
 293 2020-03-11  Patrick Palka  <ppalka@redhat.com>
 294
 295         * include/std/ranges (split_view::_OuterIter::_OuterIter): Typo fix,
 296         'address' -> 'std::__addressof'.
 297         * testsuite/std/ranges/adaptors/split.cc: Test taking the split_view of
 298         a non-forward input_range.
 299         * testsuite/util/testsuite_iterators.h (output_iterator_wrapper): Make
 300         default constructor protected instead of deleted, like with
 301         input_iterator_wrapper.
 302         (test_range::iterator): Add comment explaining that this type is used
 303         only when the underlying wrapper is input_iterator_wrapper or
 304         output_iterator_wrapper.  Remove delegating defaulted constructor so
 305         that the inherited default constructor is used instead.
 306
 307         LWG 3286 ranges::size is not required to be valid after a call to
 308         ranges::begin on an input range
 309         * include/std/ranges (subrange::subrange): Split single-argument
 310         constructor into two, one constrained by _S_store_size and another by
 311         !_S_store_size.
 312         (take_view::begin): Call size() before calling ranges::begin(_M_base).
 313         * testsuite/std/ranges/adaptors/lwg3286.cc: New test.
 314         * testsuite/std/ranges/subrange/lwg3286.cc: New test.
 315
 316 2020-03-10  Jonathan Wakely  <jwakely@redhat.com>
 317
 318         * include/std/ranges (split_view::_OuterIter::__at_end): Use __current
 319         instead of _M_current.
 320         (split_view::_OuterIter::operator++): Likewise.
 321
 322         * include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
 323         (transform_view::_Iterator::operator*): Add noexcept-specifier.
 324         (transform_view::_Iterator::iter_move): Inline __iter_move body here.
 325         (split_view::_OuterIter::__current): Add noexcept.
 326         (split_view::_InnerIter::__iter_swap): Remove.
 327         (split_view::_InnerIter::__iter_move): Remove.
 328         (split_view::_InnerIter::_M_i_current): New accessors.
 329         (split_view::_InnerIter::__at_end): Use _M_i_current().
 330         (split_view::_InnerIter::operator*): Likewise.
 331         (split_view::_InnerIter::operator++): Likewise.
 332         (iter_move(const _InnerIter&)): Likewise.
 333         (iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
 334         * testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
 335         for iter_move and iter_swap on split_view's inner iterator.
 336
 337         PR c++/94117
 338         * include/std/ranges (ranges::transform_view::_Iterator::iter_move):
 339         Change expression in noexcept-specifier to match function body.
 340
 341         * testsuite/23_containers/unordered_set/allocator/ext_ptr.cc: Add
 342         comment explaining multiple dg-do directives.
 343         * testsuite/24_iterators/ostream_iterator/1.cc: Fix do-do directive
 344         so test is run as well as compiled.
 345
 346 2020-03-09  Jonathan Wakely  <jwakely@redhat.com>
 347
 348         PR libstdc++/94063
 349         * src/c++17/fs_path.cc (path::operator+=(const path&)): Add kluge to
 350         handle concatenations that change the type of the first component.
 351         (path::operator+=(basic_string_view<value_type>)): Likewise.
 352         * testsuite/27_io/filesystem/path/concat/94063.cc: New test.
 353
 354 2020-03-06  Patrick Palka  <ppalka@redhat.com>
 355
 356         * include/std/ranges (join_view::_Sentinel<_Const>): Befriend
 357         join_view::_Sentinel<!_Const>.
 358         * testsuite/std/ranges/adaptors/join.cc: Augment test.
 359
 360         PR libstdc++/93978
 361         * include/bits/range_access.h (__cust_access::_Empty::operator()):
 362         Declare return type to be bool instead of auto.
 363         * testsuite/std/ranges/adaptors/93978.cc: New test.
 364
 365 2020-03-06  Jonathan Wakely  <jwakely@redhat.com>
 366
 367         PR libstdc++/94069
 368         * include/std/shared_mutex [!PTHREAD_RWLOCK_INITIALIZER]
 369         (__shared_mutex_pthread::__shared_mutex_pthread()): Remove incorrect
 370         second argument to __glibcxx_rwlock_init.
 371         * testsuite/30_threads/shared_timed_mutex/94069.cc: New test.
 372
 373         PR libstdc++/93244
 374         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Adjust
 375         test to not fail due to PR 94063.
 376         * testsuite/27_io/filesystem/path/generic/utf.cc: Likewise.
 377         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: Likewise.
 378
 379 2020-03-06  Andreas Krebbel  <krebbel@linux.ibm.com>
 380
 381         * src/c++11/system_error.cc: Omit the ENOTSUP case statement if it
 382         would match ENOSYS.
 383
 384 2020-03-05  Jonathan Wakely  <jwakely@redhat.com>
 385
 386         * testsuite/27_io/filesystem/operations/all.cc: Mark unused variable.
 387         * testsuite/27_io/filesystem/operations/copy.cc: Fix typo.
 388         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
 389         * testsuite/27_io/filesystem/operations/file_size.cc: Use correct type
 390         for return value, and in comparison.
 391         * testsuite/experimental/filesystem/operations/file_size.cc: Likewise.
 392
 393         PR libstdc++/94051
 394         * include/std/string_view: Include <bits/ostream_insert.h>.
 395         * testsuite/21_strings/basic_string_view/inserters/94051.cc: New test.
 396
 397 2020-03-04  Jonathan Wakely  <jwakely@redhat.com>
 398
 399         * include/bits/cpp_type_traits.h (__memcpyable): Fix comment.
 400
 401 2020-03-04  Patrick Palka  <ppalka@redhat.com>
 402
 403         PR libstdc++/94017
 404         * include/bits/ranges_algobase.h (__fill_n_fn::operator()): Refine
 405         condition for when to use memset, making sure to additionally check that
 406         the output pointer's value type is a non-volatile byte type.  Instead of
 407         requiring that the fill type is a byte type, just require that it's an
 408         integral type.
 409         * testsuite/20_util/specialized_algorithms/uninitialized_fill/94017.cc:
 410         New test.
 411         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/94017.cc:
 412         New test.
 413         * testsuite/25_algorithms/fill/94013.cc: Uncomment part of test that was
 414         blocked by PR 94017.
 415         * testsuite/25_algorithms/fill/94017.cc: New test.
 416         * testsuite/25_algorithms/fill_n/94017.cc: New test.
 417
 418         LWG 3355 The memory algorithms should support move-only input iterators
 419         introduced by P1207
 420         * include/bits/ranges_uninitialized.h
 421         (__uninitialized_copy_fn::operator()): Use std::move to avoid attempting
 422         to copy __ifirst, which could be a move-only input iterator.  Use
 423         operator- instead of ranges::distance to compute distance from a sized
 424         sentinel.
 425         (__uninitialized_copy_n_fn::operator()): Likewise.
 426         (__uninitialized_move_fn::operator()): Likewise.
 427         (__uninitialized_move_n_fn::operator()): Likewise.
 428         (__uninitialized_destroy_fn::operator()): Use std::move to avoid
 429         attempting to copy __first.
 430         (__uninitialized_destroy_n_fn::operator()): Likewise.
 431         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
 432         Augment test.
 433         * .../specialized_algorithms/uninitialized_copy/constrained.cc:
 434         Likewise.
 435         * .../specialized_algorithms/uninitialized_move/constrained.cc:
 436         Likewise.
 437
 438         * testsuite/util/testsuite_iterators.h (test_range::get_iterator): Make
 439         protected instead of private.
 440         (test_sized_range_sized_sent): New.
 441
 442         * testsuite/util/testsuite_iterators.h (input_iterator_wrapper_nocopy):
 443         New testsuite iterator.
 444         * testsuite/24_iterators/counted_iterator/lwg3389.cc: use it.
 445         * testsuite/24_iterators/move_iterator/lwg3390.cc: Likewise.
 446
 447         * include/bits/ranges_uninitialized.h
 448         (uninitialized_copy_fn::operator()): Pass a reference type as the first
 449         argument to is_nothrow_assignable_v.
 450         (uninitialized_copy_fn::operator()): Likewise.
 451         (uninitialized_move_fn::operator()): Likewise.  Return an in_out_result
 452         with the input iterator stripped of its move_iterator.
 453         (uninitialized_move_n_fn::operator()): Likewise.
 454         (uninitialized_fill_fn::operator()): Pass a reference type as the first
 455         argument to is_nothrow_assignable_v.
 456         (uninitialized_fill_n_fn::operator()): Likewise.
 457
 458 2020-03-03  Jonathan Wakely  <jwakely@redhat.com>
 459
 460         PR libstdc++/94013
 461         * include/bits/cpp_type_traits.h (__memcpyable, __memcmpable): New
 462         traits to control when to use memmove and memcmp optimizations.
 463         (__is_nonvolatile_trivially_copyable): New helper trait.
 464         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Do not
 465         use memcmp optimization with volatile data.
 466         * include/bits/ranges_algobase.h (__equal_fn): Use __memcmpable.
 467         (__copy_or_move, __copy_or_move_backward): Use __memcpyable.
 468         * include/bits/stl_algobase.h (__copy_move_a2): Use __memcpyable.
 469         (__copy_move_backward_a2): Likewise.
 470         (__equal_aux1): Use __memcmpable.
 471         (__lexicographical_compare_aux): Do not use memcmp optimization with
 472         volatile data.
 473         * testsuite/25_algorithms/copy/94013.cc: New test.
 474         * testsuite/25_algorithms/copy_backward/94013.cc: New test.
 475         * testsuite/25_algorithms/equal/94013.cc: New test.
 476         * testsuite/25_algorithms/fill/94013.cc: New test.
 477         * testsuite/25_algorithms/lexicographical_compare/94013.cc: New test.
 478         * testsuite/25_algorithms/move/94013.cc: New test.
 479         * testsuite/25_algorithms/move_backward/94013.cc: New test.
 480
 481         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
 482         Avoid redundant iterator comparisons (LWG 3410).
 483
 484 2020-03-02  Jonathan Wakely  <jwakely@redhat.com>
 485
 486         PR libstdc++/93972
 487         * include/bits/stl_algobase.h (__memcmp): Allow pointer types to
 488         differ.
 489         * testsuite/25_algorithms/lexicographical_compare/uchar.cc: New test.
 490
 491         * include/std/ranges (__detail::__maybe_empty_t): Rename to
 492         __maybe_present_t.
 493         (__adaptor::_RangeAdaptor, join_view, split_view): Use new name.
 494
 495         * include/bits/ranges_algo.h (shift_right): Add 'typename' to
 496         dependent type.
 497
 498 2020-03-01  H.J. Lu  <hongjiu.lu@intel.com>
 499
 500         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
 501
 502 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
 503
 504         * testsuite/17_intro/headers/c++1998/charset.cc: Skip on *-*-hpux*.
 505         * testsuite/17_intro/headers/c++2011/charset.cc: Likewise.
 506         * testsuite/17_intro/headers/c++2014/charset.cc: Likewise.
 507         * testsuite/17_intro/headers/c++2017/charset.cc: Likewise.
 508         * testsuite/17_intro/headers/c++2020/charset.cc: Likewise.
 509
 510         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
 511         Add libatomic option.
 512         * testsuite/30_threads/jthread/jthread.cc: Likewise.
 513
 514 2020-02-29  François Dumont  <fdumont@gcc.gnu.org>
 515
 516         * include/bits/stl_algo.h
 517         (__find_if, __count_if, __is_permutation, std::is_permutation): Move...
 518         * include/bits/stl_algobase.h: ...here.
 519         * include/bits/hashtable_policy.h: Remove <bits/stl_algo.h> include.
 520
 521 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
 522
 523         * testsuite/30_threads/stop_token/stop_callback.cc: Add libatomic
 524         option.
 525         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc:
 526         Likewise.
 527         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: Likewise.
 528         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: Likewise.
 529         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: Likewise.
 530         * testsuite/30_threads/stop_token/stop_source.cc: Likewise.
 531         * testsuite/30_threads/stop_token/stop_source/assign.cc: Likewise.
 532         * testsuite/30_threads/stop_token/stop_token.cc: Likewise.
 533         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc:
 534         Likewise.
 535
 536         PR libstdc++/92906
 537         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
 538
 539 2020-02-28  Patrick Palka  <ppalka@redhat.com>
 540
 541         PR libstdc++/93972
 542         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
 543         Fix condition for when to use memcmp, making it consistent with the
 544         corresponding condition used in std::lexicographical_compare.
 545         * testsuite/25_algorithms/lexicographical_compare/93972.cc: New test.
 546
 547         * testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
 548         functions introduced in C++11, C++17 and C++2a.  Add 'constexpr' to
 549         existing signatures for C++2a.
 550
 551 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
 552
 553         * testsuite/24_iterators/range_operations/advance_debug_neg.cc: Run
 554         test instead of just compiling it.
 555
 556 2020-02-28  Patrick Palka  <ppalka@redhat.com>
 557
 558         * include/std/ranges (reverse_view::_S_needs_cached_begin): Set to false
 559         whenever the underlying range models common_range.
 560
 561         * include/std/ranges (__detail::_CachedPosition): New struct.
 562         (views::filter_view::_S_needs_cached_begin): New member variable.
 563         (views::filter_view::_M_cached_begin): New member variable.
 564         (views::filter_view::begin): Use _M_cached_begin to cache its
 565         result.
 566         (views::drop_view::_S_needs_cached_begin): New static member variable.
 567         (views::drop_view::_M_cached_begin): New member variable.
 568         (views::drop_view::begin): Use _M_cached_begin to cache its result
 569         when _S_needs_cached_begin.
 570         (views::drop_while_view::_M_cached_begin): New member variable.
 571         (views::drop_while_view::begin): Use _M_cached_begin to cache its
 572         result.
 573         (views::reverse_view::_S_needs_cached_begin): New static member
 574         variable.
 575         (views::reverse_view::_M_cached_begin): New member variable.
 576         (views::reverse_view::begin): Use _M_cached_begin to cache its result
 577         when _S_needs_cached_begin.
 578         * testsuite/std/ranges/adaptors/drop.cc: Augment test to check that
 579         drop_view::begin caches its result.
 580         * testsuite/std/ranges/adaptors/drop_while.cc: Augment test to check
 581         that drop_while_view::begin caches its result.
 582         * testsuite/std/ranges/adaptors/filter.cc: Augment test to check that
 583         filter_view::begin caches its result.
 584         * testsuite/std/ranges/adaptors/reverse.cc: Augment test to check that
 585         reverse_view::begin caches its result.
 586
 587 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
 588
 589         * testsuite/27_io/filesystem/operations/last_write_time.cc: Fixes for
 590         filesystems that silently truncate timestamps.
 591         * testsuite/experimental/filesystem/operations/last_write_time.cc:
 592         Likewise.
 593
 594         * testsuite/21_strings/basic_string/cons/char/1.cc: Disable
 595         -Wstringop-overflow warnings.
 596
 597 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
 598
 599         * testsuite/lib/libstdc++.exp (v3_target_compile): Add
 600         -fdiagnostics-urls=never to options.
 601
 602 2020-02-27  Patrick Palka  <ppalka@redhat.com>
 603
 604         * include/std/ranges (transform_view::_Iterator<_Const>): Befriend
 605         _Iterator<!_Const>.
 606         (transform_view::_Sentinel<_Const>): Befriend _Sentinel<!_Const>.
 607         (take_view::_Sentinel<_Const>): Likewise.
 608         (take_while_view::_Sentinel<_Const>): Likewise.
 609         (split_view::_OuterIter<_Const>): Befriend _OuterIter<!_Const>.
 610         * testsuite/std/ranges/adaptors/split.cc: Augment test.
 611         * testsuite/std/ranges/adaptors/take.cc: Augment test.
 612         * testsuite/std/ranges/adaptors/take_while.cc: Augment test.
 613         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
 614
 615         * testsuite/25_algorithms/copy/constrained.cc: Don't assume that the
 616         base() of a vector<>::iterator is a pointer.
 617         * testsuite/25_algorithms/copy_backward/constrained.cc: Likewise.
 618         * testsuite/25_algorithms/move/constrained.cc: Likewise.
 619         * testsuite/25_algorithms/move_backward/constrained.cc: Likewise.
 620         * testsuite/25_algorithms/inplace_merge/constrained.cc: Use foo.data()
 621         instead of &foo[0].
 622         * testsuite/25_algorithms/partial_sort/constrained.cc: Likewise.
 623         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: Likewise.
 624         * testsuite/25_algorithms/shuffle/constrained.cc: Likewise.
 625         * testsuite/25_algorithms/sort/constrained.cc: Likewise.
 626         * testsuite/25_algorithms/stable_sort/constrained.cc: Likewise.
 627
 628 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
 629
 630         * include/debug/array (operator<=>): Define for C++20.
 631         * testsuite/23_containers/array/tuple_interface/get_debug_neg.cc:
 632         Adjust dg-error line numbers.
 633         * testsuite/23_containers/array/tuple_interface/
 634         tuple_element_debug_neg.cc: Likewise.
 635
 636         * testsuite/23_containers/span/back_assert_neg.cc: Add #undef before
 637         defining _GLIBCXX_ASSERTIONS.
 638         * testsuite/23_containers/span/first_2_assert_neg.cc: Likewise.
 639         * testsuite/23_containers/span/first_assert_neg.cc: Likewise.
 640         * testsuite/23_containers/span/front_assert_neg.cc: Likewise.
 641         * testsuite/23_containers/span/index_op_assert_neg.cc: Likewise.
 642         * testsuite/23_containers/span/last_2_assert_neg.cc: Likewise.
 643         * testsuite/23_containers/span/last_assert_neg.cc: Likewise.
 644         * testsuite/23_containers/span/subspan_2_assert_neg.cc: Likewise.
 645         * testsuite/23_containers/span/subspan_3_assert_neg.cc: Likewise.
 646         * testsuite/23_containers/span/subspan_4_assert_neg.cc: Likewise.
 647         * testsuite/23_containers/span/subspan_5_assert_neg.cc: Likewise.
 648         * testsuite/23_containers/span/subspan_6_assert_neg.cc: Likewise.
 649         * testsuite/23_containers/span/subspan_assert_neg.cc: Likewise.
 650
 651         * include/debug/string (__gnu_debug::basic_string::insert): Fix for
 652         C++98 where the member function of the base class returns void.
 653
 654         * testsuite/util/testsuite_iterators.h (forward_iterator_wrapper): Add
 655         equality comparisons that support value-initialized iterators.
 656
 657         * include/bits/boost_concept_check.h (__function_requires): Add
 658         _GLIBCXX14_CONSTEXPR.
 659         * testsuite/25_algorithms/min/concept_checks.cc: New test.
 660
 661 2020-02-26  Patrick Palka  <ppalka@redhat.com>
 662
 663         PR libstdc++/93936
 664         * include/std/ranges (split_view::_InnerIter::operator==): Compare
 665         the operands' _M_i rather than their _M_i.current().
 666         * testsuite/std/ranges/adaptors/split.cc: Augment test.
 667
 668         P1645R1 constexpr for <numeric> algorithms
 669         * include/bits/stl_numeric.h (iota, accumulate, inner_product,
 670         partial_sum, adjacent_difference): Make conditionally constexpr for
 671         C++20.
 672         * include/std/numeric (__cpp_lib_constexpr_numeric): Define this feature
 673         test macro.
 674         (reduce, transform_reduce, exclusive_scan, inclusive_scan,
 675         transform_exclusive_scan, transform_inclusive_scan): Make conditionally
 676         constexpr for C++20.
 677         * include/std/version (__cpp_lib_constexpr_numeric): Define.
 678         * testsuite/26_numerics/accumulate/constexpr.cc: New test.
 679         * testsuite/26_numerics/adjacent_difference/constexpr.cc: Likewise.
 680         * testsuite/26_numerics/exclusive_scan/constexpr.cc: Likewise.
 681         * testsuite/26_numerics/inclusive_scan/constexpr.cc: Likewise.
 682         * testsuite/26_numerics/inner_product/constexpr.cc: Likewise.
 683         * testsuite/26_numerics/iota/constexpr.cc: Likewise.
 684         * testsuite/26_numerics/partial_sum/constexpr.cc: Likewise.
 685         * testsuite/26_numerics/reduce/constexpr.cc: Likewise.
 686         * testsuite/26_numerics/transform_exclusive_scan/constexpr.cc: Likewise.
 687         * testsuite/26_numerics/transform_inclusive_scan/constexpr.cc: Likewise.
 688         * testsuite/26_numerics/transform_reduce/constexpr.cc: Likewise.
 689
 690 2020-02-26  Jonathan Wakely  <jwakely@redhat.com>
 691
 692         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Declare
 693         variables in smaller scope and avoid calling ranges::distance when we
 694         know they are pointers. Remove statically-unreachable use of
 695         __builtin_unreachable().
 696         * include/bits/stl_algobase.h (__lexicographical_compare::__lc):
 697         Define inline.
 698
 699         * include/std/ranges (__detail::__maybe_empty_t): Define new helper
 700         alias.
 701         (__detail::__maybe_const_t): Likewise.
 702         (__adaptor::_RangeAdaptor): Use __maybe_empty_t.
 703         (transform_view, take_view, take_while_view, elements_view): Use
 704         __maybe_const_t.
 705         (join_view, split_view): Use both.
 706
 707 2020-02-25  Patrick Palka  <ppalka@redhat.com>
 708
 709         LWG 3397 basic_istream_view::iterator should not provide
 710         iterator_category
 711         * include/std/ranges (basic_istream_view:_Iterator::iterator_category):
 712         Rename to ...
 713         (basic_istream_view:_Iterator::iterator_concept): ... this.
 714         * testsuite/std/ranges/istream_view.cc: Augment test.
 715
 716         LWG 3325 Constrain return type of transformation function for
 717         transform_view
 718         * include/std/ranges (transform_view): Constrain the return type of the
 719         transformation function as per LWG 3325.
 720         * testsuite/std/ranges/adaptors/lwg3325_neg.cc: New test.
 721
 722         LWG 3313 join_view::_Iterator::operator-- is incorrectly constrained
 723         * include/std/ranges (join_view::_Iterator::operator--): Require that
 724         range_reference_t<_Base> models common_range.
 725         * testsuite/std/ranges/adaptors/lwg3313_neg.cc: New test.
 726
 727         LWG 3301 transform_view::_Iterator has incorrect iterator_category
 728         * include/std/ranges (transform_view::_Iterator::_S_iter_cat): Adjust
 729         determination of iterator_category as per LWG 3301.
 730         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
 731
 732         LWG 3292 iota_view is under-constrained
 733         * include/std/ranges (iota_view): Require that _Winc models semiregular
 734           as per LWG 3292.
 735         * testsuite/std/ranges/iota/lwg3292_neg.cc: New test.
 736
 737 2020-02-25  Jonathan Wakely  <jwakely@redhat.com>
 738
 739         * include/bits/ranges_algobase.h (__copy_or_move): Do not use memmove
 740         during constant evaluation. Call __builtin_memmove directly instead of
 741         __memmove.
 742         (__copy_or_move_backward): Likewise.
 743         * include/bits/stl_algobase.h (__memmove): Remove.
 744         (__copy_move<M, true, random_access_iterator_tag>::__copy_m)
 745         (__copy_move_backward<M, true, random_access_iterator_tag>::__copy_m):
 746         Use __builtin_memmove directly instead of __memmove.
 747         (__copy_move_a2): Do not use memmove during constant evaluation.
 748         (__copy_move_backward_a2): Use _IsMove constant to select correct
 749         __copy_move_backward specialization.
 750         * testsuite/25_algorithms/copy_backward/constexpr.cc: Check for copies
 751         begin turned into moves during constant evaluation.
 752
 753         * testsuite/25_algorithms/move_backward/93872.cc: Add test left out of
 754         previous commit.
 755
 756         PR libstdc++/93872
 757         * include/bits/stl_algobase.h (__memmove): Cast away const before
 758         doing move assignment.
 759         * testsuite/25_algorithms/move/93872.cc: New test.
 760         * testsuite/25_algorithms/move_backward/93872.cc: New test.
 761
 762 2020-02-24  Patrick Palka  <ppalka@redhat.com>
 763
 764         PR libstdc++/93884
 765         * include/bits/ranges_algobase.h (__copy_or_move,
 766         __copy_or_move_backward): Don't inspect the iter_value_t of the output
 767         iterator, instead inspect its iterator_traits directly.
 768         * include/bits/stl_iterator.h (back_insert_iterator::container):
 769         Conditionally initialize.
 770         (back_insert_iterator::difference_type): Conditionally define.
 771         (back_insert_iterator::back_insert_iterator): Conditionally define this
 772         default constructor.
 773         (front_insert_iterator::container): Conditionally initialize.
 774         (front_insert_iterator::difference_type): Conditionally define.
 775         (front_insert_iterator::front_insert_iterator): Conditionally define
 776         this default constructor.
 777         * 24_iterators/back_insert_iterator/pr93884.cc: New test.
 778         * 24_iterators/front_insert_iterator/pr93884.cc: New test.
 779
 780         P0769R2 Add shift to <algorithm>
 781         * include/bits/ranges_algo.h (shift_left, shift_right): New.
 782         * testsuite/25_algorithms/shift_left/1.cc: New test.
 783         * testsuite/25_algorithms/shift_right/1.cc: New test.
 784
 785 2020-02-24  Jonathan Wakely  <jwakely@redhat.com>
 786
 787         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
 788         Make noexcept-specifier conditional.
 789         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc: Check
 790         noexcept-specifier.
 791
 792         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
 793         Add constructor.
 794         (operator==(istream_iterator, default_sentinel_t)): Add operator.
 795         (ostream_iterator::difference_type): Define to ptrdiff_t for C++20.
 796         * include/bits/streambuf_iterator.h
 797         (istreambuf_iterator(default_sentinel_t)): Add constructor.
 798         (operator==(istreambuf_iterator, default_sentinel_t)): Add operator.
 799         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc:
 800         New test.
 801         * testsuite/24_iterators/istream_iterator/sentinel.cc: New test.
 802         * testsuite/24_iterators/istreambuf_iterator/cons/sentinel.cc:
 803         New test.
 804         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
 805
 806         * include/std/ranges (__deep_const_range, __enable_view_impl): Remove.
 807         (ranges::enable_view): Simplify (LWG 3326).
 808         * include/bits/range_access.h (ranges::enable_view): Declare.
 809         * include/bits/regex.h (__enable_view_impl): Remove partial
 810         specialization.
 811         * include/bits/stl_multiset.h (__enable_view_impl): Likewise.
 812         * include/bits/stl_set.h (__enable_view_impl): Likewise.
 813         * include/bits/unordered_set.h (__enable_view_impl): Likewise.
 814         * include/debug/multiset.h (__enable_view_impl): Likewise.
 815         * include/debug/set.h (__enable_view_impl): Likewise.
 816         * include/debug/unordered_set (__enable_view_impl): Likewise.
 817         * include/experimental/string_view (ranges::enable_view): Define
 818         partial specialization.
 819         * include/std/span (ranges::enable_view): Likewise.
 820         * include/std/string_view (ranges::enable_view): Likewise.
 821         * testsuite/std/ranges/view.cc: Check satisfaction of updated concept.
 822
 823 2020-02-21  Jonathan Wakely  <jwakely@redhat.com>
 824
 825         * include/std/optional (operator<=>(optional<T>, optional<U>))
 826         (operator<=>(optional<T>, nullopt), operator<=>(optional<T>, U)):
 827         Define for C++20.
 828         * include/std/tuple (__tuple_cmp): New helper function for <=>.
 829         (operator<=>(tuple<T...>, tuple<U>...)): Define for C++20.
 830         * include/std/variant (operator<=>(variant<T...>, variant<T...>))
 831         (operator<=>(monostate, monostate)): Define for C++20.
 832         * testsuite/20_util/optional/relops/three_way.cc: New test.
 833         * testsuite/20_util/tuple/comparison_operators/three_way.cc: New test.
 834         * testsuite/20_util/variant/89851.cc: Move to ...
 835         * testsuite/20_util/variant/relops/89851.cc: ... here.
 836         * testsuite/20_util/variant/90008.cc: Move to ...
 837         * testsuite/20_util/variant/relops/90008.cc: ... here.
 838         * testsuite/20_util/variant/relops/three_way.cc: New test.
 839
 840 2020-02-20  Patrick Palka  <ppalka@redhat.com>
 841
 842         * include/std/ranges (views::__adaptor::__maybe_refwrap): New utility
 843         function.
 844         (views::__adaptor::_RangeAdaptor::operator()): Add comments.  Use
 845         __maybe_refwrap to capture lvalue references by reference, and then use
 846         unwrap_reference_t to forward the by-reference captures as references.
 847         * testsuite/std/ranges/adaptors/split.cc: Augment test.
 848         * testsuite/std/ranges/adaptors/split_neg.cc: New test.
 849
 850         * include/std/ranges (iota_view): Forward declare _Sentinel.
 851         (iota_view::_Iterator): Befriend _Sentinel.
 852         (iota_view::_Sentinel::_M_equal): New member function.
 853         (iota_view::_Sentinel::operator==): Use it.
 854         (views::_Iota::operator()): Forward __f using the correct type.
 855         * testsuite/std/ranges/access/ssize.cc (test06): Don't call views::iota
 856         with integers of different signedness, to appease iota_view's deduction
 857         guide.
 858         * testsuite/std/ranges/iota/iota_view.cc: Augment test.
 859
 860 2020-02-20  Jonathan Wakely  <jwakely@redhat.com>
 861
 862         * include/bits/range_access.h (ranges::begin): Reject array of
 863         incomplete type.
 864         (ranges::end, ranges::size): Require arrays to be bounded.
 865         (ranges::data): Require lvalue or borrowed_range.
 866         (ranges::iterator_t): Remove constraint.
 867         * testsuite/std/ranges/access/begin.cc: Do not check array of
 868         incomplete type.
 869         * testsuite/std/ranges/access/begin_neg.cc: New test.
 870         * testsuite/std/ranges/access/end_neg.cc: Adjust expected error.
 871         * testsuite/std/ranges/access/size_neg.cc: Adjust expected error.
 872         * testsuite/std/ranges/access/ssize.cc: Do not check array of
 873         incomplete type.
 874
 875         * include/std/system_error (error_category::operator<=>)
 876         (operator<=>(const error_code&, const error_code&))
 877         (operator<=>(const error_condition&, const error_condition&)): Define
 878         for C++20.
 879         * testsuite/19_diagnostics/error_category/operators/less.cc: New test.
 880         * testsuite/19_diagnostics/error_category/operators/three_way.cc: New
 881         test.
 882         * testsuite/19_diagnostics/error_code/operators/equal.cc: Remove
 883         incorrect comment.
 884         * testsuite/19_diagnostics/error_code/operators/less.cc: New test.
 885         * testsuite/19_diagnostics/error_code/operators/not_equal.cc: Remove
 886         incorrect comment.
 887         * testsuite/19_diagnostics/error_code/operators/three_way.cc: New test.
 888         * testsuite/19_diagnostics/error_condition/operators/equal.cc: Remove
 889         incorrect comment.
 890         * testsuite/19_diagnostics/error_condition/operators/less.cc: New test.
 891         * testsuite/19_diagnostics/error_condition/operators/not_equal.cc:
 892         Remove incorrect comment.
 893         * testsuite/19_diagnostics/error_condition/operators/three_way.cc: New
 894         test.
 895
 896         * libsupc++/typeinfo (type_info::operator!=): Remove for C++20.
 897
 898         * include/std/thread (thread::id::operator<=>): Define for C++20.
 899         * testsuite/30_threads/thread/id/70294.cc: Do not take addresses of
 900         functions in namespace std.
 901         * testsuite/30_threads/thread/id/operators_c++20.cc: New test.
 902
 903 2020-02-19  Patrick Palka  <ppalka@redhat.com>
 904
 905         * testsuite/std/ranges/adaptors/split.cc (test03): Don't include the
 906         null terminator of the underlying string as part of the test_range.
 907         (main): Call test03.
 908
 909 2020-02-19  Jonathan Wakely  <jwakely@redhat.com>
 910
 911         * include/bits/stl_iterator.h (common_iterator): Add copyable<I>
 912         requirement (LWG 3385).
 913         * testsuite/24_iterators/headers/iterator/synopsis_c++20.cc: Adjust
 914         expected declaration.
 915
 916         * include/std/ranges (take_while_view, drop_view, drop_while_view)
 917         (elements_view:_Iterator): Initialize data members (LWG 3364).
 918
 919         * libsupc++/compare (three_way_comparable): Remove always-false check
 920         that should have been removed with weak_equality (P1959R0).
 921         (three_way_comparable_with): Likewise. Reorder requirements (LWG 3360).
 922
 923         * include/std/concepts (__detail::__partially_ordered_with): Move here
 924         from <compare>.
 925         (totally_ordered, totally_ordered_with): Use __partially_ordered_with
 926         to simplify definition (LWG 3331).
 927         * libsupc++/compare (__detail::__partially_ordered_with): Move to
 928         <concepts>.
 929
 930         * include/std/concepts (totally_ordered_with): Remove redundant
 931         requirement (LWG 3329).
 932
 933         * include/std/ranges (__detail::__convertible_to_non_slicing): New
 934         helper concept.
 935         (__detail::__pair_like_convertible_to): Remove.
 936         (__detail::__pair_like_convertible_from): Add requirements for
 937         non-slicing conversions.
 938         (subrange): Constrain constructors with __convertible_to_non_slicing.
 939         Remove constructors from pair-like types. Add new deduction guide.
 940         * testsuite/std/ranges/subrange/lwg3282_neg.cc: New test.
 941
 942         * include/bits/iterator_concepts.h (iter_move): Add declaration to
 943         prevent unqualified lookup finding a suitable declaration (LWG 3247).
 944
 945         * include/std/memory_resource (polymorphic_allocator::allocate)
 946         (polymorphic_allocator::allocate_object): Change type of exception to
 947         bad_array_new_length (LWG 3237).
 948         * testsuite/20_util/polymorphic_allocator/lwg3237.cc: New test.
 949
 950         * include/std/type_traits (__cpp_lib_unwrap_ref): Define (LWG 3348).
 951         * include/std/version (__cpp_lib_unwrap_ref): Likewise.
 952         * testsuite/20_util/unwrap_reference/1.cc: Check macro.
 953         * testsuite/20_util/unwrap_reference/3.cc: New test.
 954
 955         * include/std/numeric (midpoint(T8, T*)): Do not check for complete
 956         type during overload resolution, use static assert instead (LWG 3200).
 957         * testsuite/26_numerics/midpoint/pointer.cc: Do not test with
 958         incomplete type.
 959         * testsuite/26_numerics/midpoint/pointer_neg.cc: New test.
 960
 961         * include/std/span (span(T (&)[N])): Use non-deduced context to
 962         prevent first parameter from interfering with class template argument
 963         deduction (LWG 3369).
 964         * testsuite/23_containers/span/deduction.cc: Add missing 'const'.
 965         * testsuite/23_containers/span/lwg3255.cc: Check for construction from
 966         rvalues.
 967
 968         * include/std/span (span::const_iterator, span::const_reverse_iterator)
 969         (span::cbegin(), span::cend(), span::crbegin(), span::crend()):
 970         Remove (LWG 3320).
 971         * testsuite/23_containers/span/everything.cc: Replace uses of cbegin
 972         and cend.
 973         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
 974         Likewise.
 975         * testsuite/20_util/specialized_algorithms/uninitialized_copy/
 976         constrained.cc: Likewise.
 977         * testsuite/20_util/specialized_algorithms/
 978         uninitialized_default_construct/constrained.cc: Likewise.
 979         * testsuite/20_util/specialized_algorithms/uninitialized_fill/
 980         constrained.cc: Likewise.
 981         * testsuite/20_util/specialized_algorithms/uninitialized_move/
 982         constrained.cc: Likewise.
 983         * testsuite/20_util/specialized_algorithms/
 984         uninitialized_value_construct/constrained.cc: Likewise.
 985
 986         * include/bits/range_access.h (range_size_t): Define alias template.
 987         * include/std/ranges (all_view): Rename to views::all_t (LWG 3335).
 988         * testsuite/std/ranges/adaptors/filter.cc: Adjust to new name.
 989
 990         * include/std/ranges (filter_view, transform_view, take_view)
 991         (join_view, split_view, reverse_view): Remove commented-out converting
 992         constructors (LWG 3280).
 993
 994         * include/std/memory (uninitialized_construct_using_allocator): Use
 995         std::construct_at (LWG 3321).
 996
 997         * include/std/memory_resource (polymorphic_allocator::allocate_bytes)
 998         (polymorphic_allocator::allocate_object)
 999         (polymorphic_allocator::new_object): Add nodiscard attribute (LWG3304).
1000
1001         LWG 3379. "safe" in several library names is misleading
1002         * include/bits/range_access.h (enable_safe_range): Rename to
1003         enable_borrowed_range.
1004         (__detail::__maybe_safe_range): Rename to __maybe_borrowed_range.
1005         (safe_range): Rename to borrowed_range.
1006         * include/bits/ranges_algo.h: Adjust to use new names.
1007         * include/bits/ranges_algobase.h: Likewise.
1008         * include/bits/ranges_uninitialized.h: Likewise.
1009         * include/std/ranges: Likewise.
1010         (safe_iterator_t): Rename to borrowed_iterator_t.
1011         (safe_subrange_t): Rename to borrowed_subrange_t.
1012         * include/std/span: Adjust to use new names.
1013         * include/std/string_view: Likewise.
1014         * include/experimental/string_view: Likewise.
1015         * testsuite/std/ranges/access/begin.cc: Likewise.
1016         * testsuite/std/ranges/access/cbegin.cc: Likewise.
1017         * testsuite/std/ranges/access/cdata.cc: Likewise.
1018         * testsuite/std/ranges/access/cend.cc: Likewise.
1019         * testsuite/std/ranges/access/crbegin.cc: Likewise.
1020         * testsuite/std/ranges/access/crend.cc: Likewise.
1021         * testsuite/std/ranges/access/data.cc: Likewise.
1022         * testsuite/std/ranges/access/end.cc: Likewise.
1023         * testsuite/std/ranges/access/rbegin.cc: Likewise.
1024         * testsuite/std/ranges/access/rend.cc: Likewise.
1025         * testsuite/std/ranges/safe_range.cc: Likewise.
1026         * testsuite/std/ranges/safe_range_types.cc: Likewise.
1027         * testsuite/util/testsuite_iterators.h: Likewise.
1028
1029         * include/std/ranges (tuple_element<0, const subrange<I, S, K>>)
1030         (tuple_element<1, const subrange<I, S, K>>): Add partial
1031         specializations (LWG 3398).
1032         * testsuite/std/ranges/subrange/tuple_like.cc: New test.
1033
1034         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1035         (__adjacent_find_fn, __remove_if_fn, __remove_copy_if_fn)
1036         (__unique_fn, __unique_copy_fn): Remove redundant conversions to bool.
1037
1038 2020-02-18  Patrick Palka  <ppalka@redhat.com>
1039
1040         P1983R0 Wording for GB301, US296, US292, US291, and US283
1041         * include/std/ranges (filter_view::pred): New member function.
1042         (join_view::_Iterator::_Iterator): Remove now-redundant comment since
1043         P1983R0 fixes the highlighted issue in the same way.
1044         (join_view::_Iterator<_Const>): Add friend
1045         join_view::_Iterator<!_Const>.
1046         (join_view::_M_inner): Remove mutable specifier, effectively reverting
1047         the proposed wording changes of P3278.
1048         (join_view::begin): Refine the condition for when to return a const
1049         iterator.
1050         (split_view::_OuterIter::_OuterIter): Adjust constraints.
1051         * testsuite/std/ranges/adaptors/filter.cc: Test that filter_view::pred
1052         exists and works.
1053
1054 2020-02-18  Jonathan Wakely  <jwakely@redhat.com>
1055
1056         PR libstdc++/93818
1057         * include/std/ranges (_RangeAdaptor): Add deduction guide.
1058         (filter_view::_Iterator): Add alias _Vp_iter and use in place of
1059         iterator_t<_Vp>.
1060         (filter_view::_Iterator::_S_iter_cat()): Add 'typename'.
1061         (transform_view::_Iterator): Add alias _Base_iter and use in place of
1062         iterator_t<_Base>.
1063         (transform_view::_Iterator::_S_iter_cat()): Add 'typename'.
1064         (join_view::_Iterator): Add _Outer_iter and _Inner_iter aliases.
1065         (join_view::_Iterator::_S_iter_cat()): Add 'typename'.
1066         (split_view::_InnerIter::_S_iter_cat()): Likewise.
1067
1068         * testsuite/20_util/integer_comparisons/equal.cc: Fix invalid
1069         assumption that long is wider than int.
1070         * testsuite/20_util/integer_comparisons/greater_equal.cc: Likewise.
1071         * testsuite/20_util/integer_comparisons/less.cc: Likewise.
1072         * testsuite/20_util/integer_comparisons/less_equal.cc: Likewise.
1073         * testsuite/20_util/integer_comparisons/not_equal.cc: Likewise.
1074
1075         P1976R2 Fixed-size span construction from dynamic range
1076         * include/std/span (__cpp_lib_span): Update value.
1077         (span(It, size_type), span(It, End)): Make conditionally explicit. Add
1078         assertion.
1079         (span(R&&), span(const span<OType, OExtent>&)): Likewise and relax
1080         constraints.
1081         (span::first<Count>(), span::last<Count>()): Use explicit type in
1082         return statement.
1083         (as_bytes, as_writable_bytes): Likewise.
1084         * include/std/version (__cpp_lib_span): Update value.
1085         * testsuite/23_containers/span/1.cc: Check new value.
1086         * testsuite/23_containers/span/2.cc: Check new value.
1087         * testsuite/23_containers/span/explicit.cc: New test.
1088
1089         * include/std/span (span::__is_compatible_array): Simplify alias
1090         template by using requires-clause.
1091         (span::__is_compatible_ref): New alias template for constraining
1092         constructors.
1093         (span::__is_compatible_iterator, span::__is_compatible_range): Remove.
1094         (span(It, size_type), span(It, End)): Use __is_compatible_ref.
1095         (span(T(&)[N], span(array<T, N>&), span(const array<T, N>&)): Remove
1096         redundant parentheses.
1097         (span(R&&)): Add missing constraints.
1098
1099         * include/std/span (span): Reorder members and rename template
1100         parameters to match declarations in the C++2a working paper.
1101
1102         P2116R0 Remove tuple-like protocol support from fixed-extent span
1103         * include/std/span (get, tuple_size, tuple_element): Remove.
1104         * testsuite/23_containers/span/everything.cc: Remove checks for
1105         tuple-like API.
1106         * testsuite/23_containers/span/get_neg.cc: Remove.
1107         * testsuite/23_containers/span/tuple_element_dynamic_neg.cc: Remove.
1108         * testsuite/23_containers/span/tuple_element_oob_neg.cc: Remove.
1109         * testsuite/23_containers/span/tuple_size_neg.cc: Remove.
1110
1111 2020-02-17  Patrick Palka  <ppalka@redhat.com>
1112
1113         P2106R0 Alternative wording for GB315 and GB316
1114         * include/bits/ranges_algo.h (in_fun_result): New.
1115         (for_each_result, for_each_n_result): Change into an alias of
1116         in_fun_result.
1117         (in_in_result): New.
1118         (mismatch_result): Change into an alias of in_in_result.
1119         (copy_if_result): Change into an alias of in_out_result.
1120         (swap_ranges_result): Change into an alias of in_in_result.
1121         (unary_transform_result): Change into an alias of in_out_result.
1122         (in_in_out_result): New.
1123         (binary_transform_result): Change into an alias of in_in_out_result.
1124         (replace_copy_result, replace_copy_if_result, remove_copy_if_result,
1125         remove_copy_result, unique_copy_result, reverse_copy_result,
1126         rotate_copy_result, partial_sort_copy_result): Change into an alias of
1127         in_out_result.
1128         (in_out_out_result): New.
1129         (partition_copy_result, merge_result): Change into an alias of
1130         in_out_out_result.
1131         (set_union_result, set_intersection_result): Change into an alias of
1132         in_in_out_result.
1133         (set_difference_result): Change into an alias of in_out_result.
1134         (set_symmetric_difference): Change into an alias of in_in_out_result.
1135         (min_max_result): New.
1136         (minmax_result, minmax_element_result): Change into an alias of
1137         min_max_result.
1138         (in_found_result): New.
1139         (next_permutation_result, prev_permutation_result): Change into an alias
1140         of in_found_result.
1141         (__next_permutation_fn::operator(), __prev_permutation_fn::operator()):
1142         Adjust following changes to next_permutation_result and
1143         prev_permutation_result.
1144         * include/bits/ranges_algobase.h (in_out_result): New.
1145         (copy_result, move_result, move_backward_result, copy_backward_result,
1146         copy_n_result): Change into an alias of in_out_result.
1147         * include/bits/ranges_uninitialized.h (uninitialized_copy_result,
1148         uninitialized_copy_n_result, uninitialized_move_result,
1149         uninitialized_move_n_result): Likewise.
1150         * testsuite/25_algorithms/next_permutation/constrained.cc: Adjust uses of
1151         structured bindings.
1152         * testsuite/25_algorithms/prev_permutation/constrained.cc: Likewise.
1153
1154         P1243R4 Rangify new algorithms
1155         * include/bits/ranges_algo.h (for_each_n_result, __for_each_n_fn,
1156         for_each_n, __sample_fn, sample, __clamp_fn, clamp): New.
1157         * testsuite/25_algorithms/clamp/constrained.cc: New test.
1158         * testsuite/25_algorithms/for_each/constrained.cc: Augment test.
1159         * testsuite/25_algorithms/sample/constrained.cc: New test.
1160
1161 2020-02-17  Jonathan Wakely  <jwakely@redhat.com>
1162
1163         P1964R2 Wording for boolean-testable
1164         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1165         (__adjacent_find_fn): Cast result of predicate to bool.
1166         * include/std/concepts (__boolean): Remove.
1167         (__detail::__boolean_testable_impl, __detail::__boolean_testable): Add
1168         new helper concepts.
1169         (__detail::__weakly_eq_cmp_with, totally_ordered, totally_ordered_with)
1170         (predicate): Use __boolean_testable instead of boolean.
1171         * libsupc++/compare (__detail::__partially_ordered, _Synth3way):
1172         Likewise.
1173
1174         P1970R2 Consistency for size() functions: Add ranges::ssize
1175         * include/bits/range_access.h (_SSize, ssize): Define for C++20.
1176         * testsuite/std/ranges/access/ssize.cc: New test.
1177
1178         P1956R1 On the names of low-level bit manipulation functions
1179         * include/bits/hashtable_policy.h: Update comment.
1180         * include/std/bit (__ispow2, __ceil2, __floor2, __log2p1): Rename.
1181         (ispow2, ceil2, floor2, log2p1): Likewise.
1182         (__cpp_lib_int_pow2): Add feature test macro.
1183         * include/std/charconv (__to_chars_len_2): Adjust use of __log2p1.
1184         * include/std/memory (assume_aligned): Adjust use of ispow2.
1185         * include/std/version (__cpp_lib_int_pow2): Add.
1186         * libsupc++/new_opa.cc: Adjust use of __ispow2.
1187         * src/c++17/memory_resource.cc: Likewise, and for __ceil2 and __log2p1.
1188         * testsuite/17_intro/freestanding.cc: Adjust use of ispow2.
1189         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Rename to ...
1190         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil.cc: ... here.
1191         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Rename to ...
1192         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil_neg.cc: ... here.
1193         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Rename to ...
1194         * testsuite/26_numerics/bit/bit.pow.two/bit_floor.cc: ... here.
1195         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Rename to ...
1196         * testsuite/26_numerics/bit/bit.pow.two/bit_width.cc: ... here.
1197         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Rename to ...
1198         * testsuite/26_numerics/bit/bit.pow.two/has_single_bit.cc: ... here.
1199
1200         * include/std/charconv: Add comment.
1201
1202         PR libstdc++/92546 (partial)
1203         * include/bits/random.h (uniform_random_bit_generator): Move definition
1204         to <bits/uniform_int_dist.h>.
1205         * include/bits/ranges_algo.h: Include <bits/uniform_int_dist.h> instead
1206         of <bits/random.h>.
1207         * include/bits/ranges_algobase.h: Do not include <cmath>.
1208         * include/bits/uniform_int_dist.h (uniform_random_bit_generator):
1209         Move here.
1210         * include/std/ranges: Do not include <limits>.
1211         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1212
1213         PR libstdc++/92546 (partial)
1214         * include/Makefile.am: Add new header.
1215         * include/Makefile.in: Regenerate.
1216         * include/bits/int_limits.h: New header.
1217         * include/bits/parse_numbers.h (__select_int::_Select_int): Replace
1218         numeric_limits with __detail::__int_limits.
1219         * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
1220         (__countr_zero, __countr_one, __popcount, __ceil2, __floor2, __log2p1):
1221         Likewise.
1222         * include/std/charconv (__to_chars_8, __from_chars_binary)
1223         (__from_chars_alpha_to_num, from_chars): Likewise.
1224         * include/std/memory_resource (polymorphic_allocator::allocate)
1225         (polymorphic_allocator::allocate_object): Likewise.
1226         * include/std/string_view (basic_string_view::_S_compare): Likewise.
1227         * include/std/utility (in_range): Likewise.
1228         * testsuite/20_util/integer_comparisons/in_range_neg.cc: Adjust for
1229         extra error about incomplete type __int_limits<bool>.
1230         * testsuite/26_numerics/bit/bit.count/countl_one.cc: Include <limits>.
1231         * testsuite/26_numerics/bit/bit.count/countl_zero.cc: Likewise.
1232         * testsuite/26_numerics/bit/bit.count/countr_one.cc: Likewise.
1233         * testsuite/26_numerics/bit/bit.count/countr_zero.cc: Likewise.
1234         * testsuite/26_numerics/bit/bit.count/popcount.cc: Likewise.
1235         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Likewise.
1236         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Likewise.
1237         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Likewise.
1238         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Likewise.
1239         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Likewise.
1240         * testsuite/26_numerics/bit/bit.rotate/rotl.cc: Likewise.
1241         * testsuite/26_numerics/bit/bit.rotate/rotr.cc: Likewise.
1242
1243         * python/libstdcxx/v6/printers.py (StdCmpCatPrinter.to_string): Update
1244         value for partial_ordering::unordered.
1245
1246         * include/bits/iterator_concepts.h (indirectly_copyable_storable): Add
1247         const-qualified expression variations.
1248         * include/std/concepts (copyable): Likewise.
1249
1250         * include/std/type_traits (__is_standard_integer): New helper trait.
1251         * include/std/utility (cmp_equal, cmp_not_equal, cmp_less, cmp_greater)
1252         (cmp_less_equal, cmp_greater_equal, in_range): Define for C++20.
1253         * include/std/version (__cpp_lib_integer_comparison_functions): Define.
1254         * testsuite/20_util/integer_comparisons/1.cc: New test.
1255         * testsuite/20_util/integer_comparisons/2.cc: New test.
1256         * testsuite/20_util/integer_comparisons/equal.cc: New test.
1257         * testsuite/20_util/integer_comparisons/equal_neg.cc: New test.
1258         * testsuite/20_util/integer_comparisons/greater_equal.cc: New test.
1259         * testsuite/20_util/integer_comparisons/greater_equal_neg.cc: New test.
1260         * testsuite/20_util/integer_comparisons/greater_neg.cc: New test.
1261         * testsuite/20_util/integer_comparisons/in_range.cc: New test.
1262         * testsuite/20_util/integer_comparisons/in_range_neg.cc: New test.
1263         * testsuite/20_util/integer_comparisons/less.cc: New test.
1264         * testsuite/20_util/integer_comparisons/less_equal.cc: New test.
1265         * testsuite/20_util/integer_comparisons/less_equal_neg.cc: New test.
1266         * testsuite/20_util/integer_comparisons/less_neg.cc: New test.
1267         * testsuite/20_util/integer_comparisons/not_equal.cc: New test.
1268         * testsuite/20_util/integer_comparisons/not_equal_neg.cc: New test.
1269
1270 2020-02-16  Patrick Palka  <ppalka@redhat.com>
1271
1272         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
1273         Move code after an early exit constexpr if to under an else branch.
1274         * include/bits/ranges_algobase.h (__equal_fn::operator()): Likewise.
1275
1276 2020-02-15  Patrick Palka  <ppalka@redhat.com>
1277
1278         * include/bits/ranges_algo.h: Adjust whitespace and formatting.
1279         * include/bits/ranges_algobase.h: Likewise.
1280         * include/bits/ranges_uninitialized.h: Likewise.
1281
1282         * include/bits/ranges_algo.h: (adjacent_find, all_of, any_of,
1283         binary_search, copy_if, count, count_if, equal_range, find, find_end,
1284         find_first_of, find_if, find_if_not, for_each, generate, generate_n,
1285         includes, inplace_merge, is_heap, is_heap_until, is_partitioned,
1286         is_permutation, is_sorted, is_sorted_until, lexicographical_compare,
1287         lower_bound, make_heap, max, max_element, merge, min, min_element,
1288         minmax, minmax_element, mismatch, next_permutation, none_of,
1289         nth_element, partial_sort, partial_sort_copy, partition, partition_copy,
1290         partition_point, pop_heap, prev_permutation, push_heap, remove,
1291         remove_copy, remove_copy_if, remove_if, replace, replace_copy,
1292         replace_copy_if, replace_if, reverse, reverse_copy, rotate, rotate_copy,
1293         search, search_n, set_difference, set_intersection,
1294         set_symmetric_difference, set_union, shuffle, sort, sort_heap,
1295         stable_partition, stable_sort, swap_ranges, transform, unique,
1296         unique_copy, upper_bound): Convert into function objects.
1297         * include/bits/ranges_algobase.h: (equal, copy, move, copy_n, fill_n,
1298         fill, move_backward, copy_backward): Likewise.
1299         * include/bits/ranges_uninitialized.h (uninitialized_default_construct,
1300         uninitialized_default_construct_n, uninitialized_value_construct,
1301         uninitialized_value_construct_n, uninitialized_copy,
1302         uninitialized_copy_n, uninitialized_move, uninitialized_move_n,
1303         uninitialized_fill, uninitialized_fill_n, construct_at, destroy_at,
1304         destroy, destroy_n): Likewise.
1305
1306         * include/bits/ranges_algo.h (ranges::__find_end): Fold into ...
1307         (ranges::find_end): ... here.
1308         (ranges::__lexicographical_compare): Fold into ...
1309         (ranges::lexicographical_compare): ... here.
1310         * include/bits/ranges_algobase.h (ranges::__equal): Fold into ...
1311         (ranges::equal): ... here.
1312
1313 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1314
1315         * include/bits/erase_if.h (__cpp_lib_erase_if): Define to 202002L.
1316         * include/std/deque: Likewise.
1317         * include/std/forward_list: Likewise.
1318         * include/std/list: Likewise.
1319         * include/std/string: Likewise.
1320         * include/std/vector: Likewise.
1321         * include/std/version: Likewise.
1322         * testsuite/23_containers/deque/erasure.cc: Test for new value.
1323         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
1324         * testsuite/23_containers/list/erasure.cc: Likewise.
1325         * testsuite/23_containers/map/erasure.cc: Likewise.
1326         * testsuite/23_containers/set/erasure.cc: Likewise.
1327         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
1328         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
1329         * testsuite/23_containers/vector/erasure.cc: Likewise.
1330
1331 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1332
1333         * include/bits/random.h (uniform_random_bit_generator): Require min()
1334         and max() to be constant expressions and min() to be less than max().
1335         * testsuite/26_numerics/random/concept.cc: Check additional cases.
1336         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1337
1338 2020-02-13  Patrick Palka  <ppalka@redhat.com>
1339
1340         * include/Makefile.am: Add <bits/ranges_uninitialized.h>.
1341         * include/Makefile.in: Regenerate.
1342         * include/bits/ranges_uninitialized.h: New header.
1343         * include/std/memory: Include it.
1344         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc: New
1345         test.
1346         * .../uninitialized_copy/constrained.cc: New test.
1347         * .../uninitialized_default_construct/constrained.cc: New test.
1348         * .../uninitialized_fill/constrained.cc: New test.
1349         * .../uninitialized_move/constrained.cc: New test.
1350         * .../uninitialized_value_construct/constrained.cc: New test.
1351
1352         * include/Makefile.am: Add bits/ranges_algobase.h
1353         * include/Makefile.in: Regenerate.
1354         * bits/ranges_algo.h: Include <bits/ranges_algobase.h> and refactor
1355         existing #includes.
1356         (__detail::__is_normal_iterator, __detail::is_reverse_iterator,
1357         __detail::__is_move_iterator, copy_result, move_result,
1358         __equal, equal, copy_result, move_result, move_backward_result,
1359         copy_backward_result, __copy_or_move_backward, __copy_or_move, copy,
1360         move, copy_backward, move_backward, copy_n_result, copy_n, fill_n,
1361         fill): Split out into ...
1362         * bits/range_algobase.h: ... this new header.
1363
1364 2020-02-12  Patrick Palka  <ppalka@redhat.com>
1365
1366         LWG 3389 and LWG 3390
1367         * include/bits/stl_iterator.h (move_move_iterator): Use std::move when
1368         constructing the move_iterator with __i.
1369         (counted_iterator::counted_iterator): Use std::move when initializing
1370         M_current with __i.
1371         * testsuite/24_iterators/counted_iterator/lwg3389.cc: New test.
1372         * testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
1373
1374 2020-02-12  Sandra Loosemore  <sandra@codesourcery.com>
1375
1376         PR libstdc++/79193
1377         PR libstdc++/88999
1378
1379         * configure: Regenerated.
1380
1381 2020-02-12  François Dumont  <fdumont@gcc.gnu.org>
1382
1383         * include/bits/hashtable.h
1384         (_Hashtable<>(_Hashtable&&, std::allocator_type&)): Add
1385         missing std namespace qualification to forward call.
1386
1387 2020-02-09  Jonathan Wakely  <jwakely@redhat.com>
1388
1389         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Fix
1390         comment.
1391         * testsuite/20_util/function_objects/range.cmp/less.ccL Likewise.
1392
1393         * include/std/ranges: Fix non-ASCII characters in comment.
1394
1395         * include/bits/range_cmp.h (__detail::__eq_builtin_ptr_cmp): Require
1396         equality comparison to be valid and return bool.
1397         (__detail::__less_builtin_ptr_cmp): Likewise for less-than comparison.
1398         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Check
1399         type with ambiguous conversion to fundamental types.
1400         * testsuite/20_util/function_objects/range.cmp/less.cc: Likewise.
1401
1402 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1403
1404         * include/bits/iterator_concepts.h (iter_difference_t, iter_value_t):
1405         Use remove_cvref_t.
1406         (readable_traits): Rename to indirectly_readable_traits.
1407         (readable): Rename to indirectly_readable.
1408         (writable): Rename to indirectly_writable.
1409         (__detail::__iter_exchange_move): Do not use remove_reference_t.
1410         (indirectly_swappable): Adjust requires expression parameter types.
1411         expression.
1412         * include/bits/ranges_algo.h (ranges::transform, ranges::replace)
1413         (ranges::replace_if, ranges::generate_n, ranges::generate)
1414         (ranges::remove): Use new name for writable.
1415         * include/bits/stl_iterator.h (__detail::__common_iter_has_arrow):
1416         Use new name for readable.
1417         * include/ext/pointer.h (readable_traits<_Pointer_adapter<P>>): Use
1418         new name for readable_traits.
1419         * testsuite/24_iterators/associated_types/readable.traits.cc: Likewise.
1420         * testsuite/24_iterators/indirect_callable/projected.cc: Adjust for
1421         new definition of indirectly_readable.
1422
1423         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Change
1424         to take parameters of common_iterator, instead of the common_iterator
1425         type itself. Fix argument for __common_iter_has_arrow constraint.
1426         (iterator_traits<common_iterator<I, S>>::pointer): Adjust.
1427
1428 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1429
1430         * include/std/ranges (iota_view): Add braces to prevent -Wempty-body
1431         warning.
1432         (basic_istream_view::_Iterator::operator++()): Add missing return.
1433
1434 2020-02-07  Patrick Palka  <ppalka@redhat.com>
1435
1436         * include/bits/ranges_algo.h: Remove extraneous &&.
1437
1438         * include/std/ranges (ranges::__detail::__stream_extractable,
1439         ranges::basic_istream_view, ranges::istream_view): Define.
1440         * testsuite/std/ranges/istream_view: New test.
1441
1442         Implement C++20 range adaptors
1443         * include/std/ranges: Include <bits/refwrap.h> and <tuple>.
1444         (subrange::_S_store_size): Mark as const instead of constexpr to
1445         avoid what seems to be a bug in GCC.
1446         (__detail::__box): Give it defaulted copy and move constructors.
1447         (ranges::views::_Single::operator()): Mark constexpr.
1448         (ranges::views::_Iota::operator()): Mark constexpr.
1449         (__detail::Empty): Define.
1450         (ranges::views::__closure::_RangeAdaptor,
1451         ranges::views::__closure::_RangeAdaptorClosure, ref_view, all_view,
1452         ranges::views::all, ranges::__detail::find_if,
1453         ranges::__detail::find_if_not, ranges::__detail::mismatch,
1454         ranges::detail::min, filter_view, ranges::views::filter, transform_view,
1455         ranges::views::transform, take_view, ranges::views::take,
1456         take_while_view, ranges::views::take_while, drop_view,
1457         ranges::views::drop, join_view, ranges::views::join,
1458         __detail::require_constant, __detail::tiny_range, split_view,
1459         ranges::views::split, ranges::views::_Counted, ranges::views::counted,
1460         common_view, ranges::views::common, reverse_view,
1461         ranges::views::reverse,
1462         ranges::views::__detail::__is_reversible_subrange,
1463         ranges::views::__detail::__is_reverse_view, reverse_view,
1464         ranges::views::reverse, __detail::__has_tuple_element, elements_view,
1465         ranges::views::elements, ranges::views::keys, ranges::views::values):
1466         Define.
1467         (views): Alias for ranges::views.
1468         (tuple_size<ranges::subrange<>>, tuple_element<0, ranges::subrange>,
1469         tuple_element<1, ranges::subrange>): New partial specializations.
1470         * testsuite/std/ranges/adaptors/all.cc: New test.
1471         * testsuite/std/ranges/adaptors/common.cc: Likewise.
1472         * testsuite/std/ranges/adaptors/counted.cc: Likewise.
1473         * testsuite/std/ranges/adaptors/drop.cc: Likewise.
1474         * testsuite/std/ranges/adaptors/drop_while.cc: Likewise.
1475         * testsuite/std/ranges/adaptors/elements.cc: Likewise.
1476         * testsuite/std/ranges/adaptors/filter.cc: Likewise.
1477         * testsuite/std/ranges/adaptors/join.cc: Likewise.
1478         * testsuite/std/ranges/adaptors/reverse.cc: Likewise.
1479         * testsuite/std/ranges/adaptors/split.cc: Likewise.
1480         * testsuite/std/ranges/adaptors/take.cc: Likewise.
1481         * testsuite/std/ranges/adaptors/take_while.cc: Likewise.
1482         * testsuite/std/ranges/adaptors/transform.cc: Likewise.
1483
1484 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1485
1486         * libsupc++/compare (__cmp_cat::type): Define typedef for underlying
1487         type of enumerations and comparison category types.
1488         (__cmp_cat::_Ord, __cmp_cat::_Ncmp): Add underlying type.
1489         (__cmp_cat::_Ncmp::unordered): Change value to 2.
1490         (partial_ordering::_M_value, weak_ordering::_M_value)
1491         (strong_ordering::_M_value): Change type to __cmp_cat::type.
1492         (partial_ordering::_M_is_ordered): Remove data member.
1493         (partial_ordering): Use second bit of _M_value for unordered. Adjust
1494         comparison operators.
1495         (weak_ordering::operator partial_ordering): Simplify to remove
1496         branches.
1497         (operator<=>(unspecified, weak_ordering)): Likewise.
1498         (strong_ordering::operator partial_ordering): Likewise.
1499         (strong_ordering::operator weak_ordering): Likewise.
1500         (operator<=>(unspecified, strong_ordering)): Likewise.
1501         * testsuite/18_support/comparisons/categories/partialord.cc: New test.
1502         * testsuite/18_support/comparisons/categories/strongord.cc: New test.
1503         * testsuite/18_support/comparisons/categories/weakord.cc: New test.
1504
1505         * include/std/ranges (iota_view::_Iterator): Fix typo in name of
1506         __cpp_lib_three_way_comparison macro and use deduced return type for
1507         operator<=>.
1508         * testsuite/std/ranges/iota/iterator.cc: New test.
1509
1510 2020-02-07  Patrick Palka  <ppalka@redhat.com>
1511             Jonathan Wakely  <jwakely@redhat.com>
1512
1513         Implement C++20 constrained algorithms
1514         * include/Makefile.am: Add new header.
1515         * include/Makefile.in: Regenerate.
1516         * include/std/algorithm: Include <bits/ranges_algo.h>.
1517         * include/bits/ranges_algo.h: New file.
1518         * testsuite/25_algorithms/adjacent_find/constrained.cc: New test.
1519         * testsuite/25_algorithms/all_of/constrained.cc: New test.
1520         * testsuite/25_algorithms/any_of/constrained.cc: New test.
1521         * testsuite/25_algorithms/binary_search/constrained.cc: New test.
1522         * testsuite/25_algorithms/copy/constrained.cc: New test.
1523         * testsuite/25_algorithms/copy_backward/constrained.cc: New test.
1524         * testsuite/25_algorithms/copy_if/constrained.cc: New test.
1525         * testsuite/25_algorithms/copy_n/constrained.cc: New test.
1526         * testsuite/25_algorithms/count/constrained.cc: New test.
1527         * testsuite/25_algorithms/count_if/constrained.cc: New test.
1528         * testsuite/25_algorithms/equal/constrained.cc: New test.
1529         * testsuite/25_algorithms/equal_range/constrained.cc: New test.
1530         * testsuite/25_algorithms/fill/constrained.cc: New test.
1531         * testsuite/25_algorithms/fill_n/constrained.cc: New test.
1532         * testsuite/25_algorithms/find/constrained.cc: New test.
1533         * testsuite/25_algorithms/find_end/constrained.cc: New test.
1534         * testsuite/25_algorithms/find_first_of/constrained.cc: New test.
1535         * testsuite/25_algorithms/find_if/constrained.cc: New test.
1536         * testsuite/25_algorithms/find_if_not/constrained.cc: New test.
1537         * testsuite/25_algorithms/for_each/constrained.cc: New test.
1538         * testsuite/25_algorithms/generate/constrained.cc: New test.
1539         * testsuite/25_algorithms/generate_n/constrained.cc: New test.
1540         * testsuite/25_algorithms/heap/constrained.cc: New test.
1541         * testsuite/25_algorithms/includes/constrained.cc: New test.
1542         * testsuite/25_algorithms/inplace_merge/constrained.cc: New test.
1543         * testsuite/25_algorithms/is_partitioned/constrained.cc: New test.
1544         * testsuite/25_algorithms/is_permutation/constrained.cc: New test.
1545         * testsuite/25_algorithms/is_sorted/constrained.cc: New test.
1546         * testsuite/25_algorithms/is_sorted_until/constrained.cc: New test.
1547         * testsuite/25_algorithms/lexicographical_compare/constrained.cc: New
1548         test.
1549         * testsuite/25_algorithms/lower_bound/constrained.cc: New test.
1550         * testsuite/25_algorithms/max/constrained.cc: New test.
1551         * testsuite/25_algorithms/max_element/constrained.cc: New test.
1552         * testsuite/25_algorithms/merge/constrained.cc: New test.
1553         * testsuite/25_algorithms/min/constrained.cc: New test.
1554         * testsuite/25_algorithms/min_element/constrained.cc: New test.
1555         * testsuite/25_algorithms/minmax/constrained.cc: New test.
1556         * testsuite/25_algorithms/minmax_element/constrained.cc: New test.
1557         * testsuite/25_algorithms/mismatch/constrained.cc: New test.
1558         * testsuite/25_algorithms/move/constrained.cc: New test.
1559         * testsuite/25_algorithms/move_backward/constrained.cc: New test.
1560         * testsuite/25_algorithms/next_permutation/constrained.cc: New test.
1561         * testsuite/25_algorithms/none_of/constrained.cc: New test.
1562         * testsuite/25_algorithms/nth_element/constrained.cc: New test.
1563         * testsuite/25_algorithms/partial_sort/constrained.cc: New test.
1564         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: New test.
1565         * testsuite/25_algorithms/partition/constrained.cc: New test.
1566         * testsuite/25_algorithms/partition_copy/constrained.cc: New test.
1567         * testsuite/25_algorithms/partition_point/constrained.cc: New test.
1568         * testsuite/25_algorithms/prev_permutation/constrained.cc: New test.
1569         * testsuite/25_algorithms/remove/constrained.cc: New test.
1570         * testsuite/25_algorithms/remove_copy/constrained.cc: New test.
1571         * testsuite/25_algorithms/remove_copy_if/constrained.cc: New test.
1572         * testsuite/25_algorithms/remove_if/constrained.cc: New test.
1573         * testsuite/25_algorithms/replace/constrained.cc: New test.
1574         * testsuite/25_algorithms/replace_copy/constrained.cc: New test.
1575         * testsuite/25_algorithms/replace_copy_if/constrained.cc: New test.
1576         * testsuite/25_algorithms/replace_if/constrained.cc: New test.
1577         * testsuite/25_algorithms/reverse/constrained.cc: New test.
1578         * testsuite/25_algorithms/reverse_copy/constrained.cc: New test.
1579         * testsuite/25_algorithms/rotate/constrained.cc: New test.
1580         * testsuite/25_algorithms/rotate_copy/constrained.cc: New test.
1581         * testsuite/25_algorithms/search/constrained.cc: New test.
1582         * testsuite/25_algorithms/search_n/constrained.cc: New test.
1583         * testsuite/25_algorithms/set_difference/constrained.cc: New test.
1584         * testsuite/25_algorithms/set_intersection/constrained.cc: New test.
1585         * testsuite/25_algorithms/set_symmetric_difference/constrained.cc: New
1586         test.
1587         * testsuite/25_algorithms/set_union/constrained.cc: New test.
1588         * testsuite/25_algorithms/shuffle/constrained.cc: New test.
1589         * testsuite/25_algorithms/sort/constrained.cc: New test.
1590         * testsuite/25_algorithms/stable_partition/constrained.cc: New test.
1591         * testsuite/25_algorithms/stable_sort/constrained.cc: New test.
1592         * testsuite/25_algorithms/swap_ranges/constrained.cc: New test.
1593         * testsuite/25_algorithms/transform/constrained.cc: New test.
1594         * testsuite/25_algorithms/unique/constrained.cc: New test.
1595         * testsuite/25_algorithms/unique_copy/constrained.cc: New test.
1596         * testsuite/25_algorithms/upper_bound/constrained.cc: New test.
1597
1598 2020-02-06  Jonathan Wakely  <jwakely@redhat.com>
1599
1600         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Fix PR
1601         number in comment. Fix indentation.
1602
1603         * include/bits/stl_algobase.h (__iter_swap, __iter_swap<true>): Remove
1604         redundant _GLIBCXX20_CONSTEXPR.
1605
1606         * include/std/ranges (viewable_range): Replace decay_t with
1607         remove_cvref_t (LWG 3375).
1608
1609 2020-02-05  Jonathan Wakely  <jwakely@redhat.com>
1610
1611         * include/bits/iterator_concepts.h (iter_reference_t)
1612         (iter_rvalue_reference_t, iter_common_reference_t, indirect_result_t):
1613         Remove workarounds for PR c++/67704.
1614         * testsuite/24_iterators/aliases.cc: New test.
1615
1616 2020-02-05  Patrick Palka  <ppalka@redhat.com>
1617
1618         * include/bits/stl_iterator.h (move_iterator::move_iterator): Move __i
1619         when initializing _M_current.
1620         (move_iterator::base): Split into two overloads differing in
1621         ref-qualifiers as in P1207R4 for C++20.
1622
1623 2020-02-04  Jonathan Wakely  <jwakely@redhat.com>
1624
1625         * include/std/functional (_GLIBCXX_NOT_FN_CALL_OP): Un-define after
1626         use.
1627
1628         PR libstdc++/93562
1629         * include/bits/unique_ptr.h (__uniq_ptr_impl::swap): Define.
1630         (unique_ptr::swap, unique_ptr<T[], D>::swap): Call it.
1631         * testsuite/20_util/unique_ptr/modifiers/93562.cc: New test.
1632
1633 2020-02-01  Andrew Burgess  <andrew.burgess@embecosm.com>
1634
1635         * configure: Regenerate.
1636
1637 2020-01-31  Patrick Palka  <ppalka@redhat.com>
1638
1639         * testsuite/24_iterators/range_operations/distance.cc: Do not assume
1640         test_range::end() returns the same type as test_range::begin().
1641         * testsuite/24_iterators/range_operations/next.cc: Likewise.
1642         * testsuite/24_iterators/range_operations/prev.cc: Likewise.
1643         * testsuite/util/testsuite_iterators.h (__gnu_test::test_range::end):
1644         Always return a sentinel<I>.
1645
1646 2020-01-29  Jonathan Wakely  <jwakely@redhat.com>
1647
1648         PR libstdc++/92895
1649         * include/std/stop_token (stop_token::stop_possible()): Call new
1650         _M_stop_possible() function.
1651         (stop_token::stop_requested()): Do not use stop_possible().
1652         (stop_token::binary_semaphore): New class, as temporary stand-in for
1653         std::binary_semaphore.
1654         (stop_token::_Stop_cb::_M_callback): Add noexcept to type.
1655         (stop_token::_Stop_cb::_M_destroyed, stop_token::_Stop_cb::_M_done):
1656         New data members for symchronization with stop_callback destruction.
1657         (stop_token::_Stop_cb::_Stop_cb): Make non-template.
1658         (stop_token::_Stop_cb::_M_linked, stop_token::_Stop_cb::_S_execute):
1659         Remove.
1660         (stop_token::_Stop_cb::_M_run): New member function.
1661         (stop_token::_Stop_state::_M_stopped, stop_token::_Stop_state::_M_mtx):
1662         Remove.
1663         (stop_token::_Stop_state::_M_owners): New data member to track
1664         reference count for ownership.
1665         (stop_token::_Stop_state::_M_value): New data member combining a
1666         spinlock, the stop requested flag, and the reference count for
1667         associated stop_source objects.
1668         (stop_token::_Stop_state::_M_requester): New data member for
1669         synchronization with stop_callback destruction.
1670         (stop_token::_Stop_state::_M_stop_possible()): New member function.
1671         (stop_token::_Stop_state::_M_stop_requested()): Inspect relevant bit
1672         of _M_value.
1673         (stop_token::_Stop_state::_M_add_owner)
1674         (stop_token::_Stop_state::_M_release_ownership)
1675         (stop_token::_Stop_state::_M_add_ssrc)
1676         (stop_token::_Stop_state::_M_sub_ssrc): New member functions for
1677         updating reference counts.
1678         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
1679         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
1680         (stop_token::_Stop_state::_M_try_lock)
1681         (stop_token::_Stop_state::_M_try_lock_and_stop)
1682         (stop_token::_Stop_state::_M_do_try_lock): New member functions for
1683         managing spinlock.
1684         (stop_token::_Stop_state::_M_request_stop): Use atomic operations to
1685         read and update state. Release lock while running callbacks. Use new
1686         data members to synchronize with callback destruction.
1687         (stop_token::_Stop_state::_M_remove_callback): Likewise.
1688         (stop_token::_Stop_state::_M_register_callback): Use atomic operations
1689         to read and update state.
1690         (stop_token::_Stop_state_ref): Handle type to manage _Stop_state,
1691         replacing shared_ptr.
1692         (stop_source::stop_source(const stop_source&)): Update reference count.
1693         (stop_source::operator=(const stop_source&)): Likewise.
1694         (stop_source::~stop_source()): Likewise.
1695         (stop_source::stop_source(stop_source&&)): Define as defaulted.
1696         (stop_source::operator=(stop_source&&)): Establish postcondition on
1697         parameter.
1698         (stop_callback): Enforce preconditions on template parameter. Replace
1699         base class with data member of new _Cb_impl type.
1700         (stop_callback::stop_callback(const stop_token&, Cb&&))
1701         (stop_callback::stop_callback(stop_token&&, Cb&&)): Fix TOCTTOU race.
1702         (stop_callback::_Cb_impl): New type wrapping _Callback member and
1703         defining the _S_execute member function.
1704         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc: New
1705         test.
1706         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: New test.
1707         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: New test.
1708         * testsuite/30_threads/stop_token/stop_callback/destructible_neg.cc:
1709         New test.
1710         * testsuite/30_threads/stop_token/stop_callback/invocable_neg.cc: New
1711         test.
1712         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: New test.
1713         * testsuite/30_threads/stop_token/stop_source/assign.cc: New test.
1714         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc: New
1715         test.
1716
1717         * libsupc++/compare (__detail::__3way_builtin_ptr_cmp): Use
1718         three_way_comparable_with.
1719         (__detail::__3way_cmp_with): Remove workaround for fixed bug.
1720         (compare_three_way::operator()): Remove redundant constraint from
1721         requires-clause.
1722         (__detail::_Synth3way::operator()): Use three_way_comparable_with
1723         instead of workaround.
1724         * testsuite/18_support/comparisons/object/93479.cc: Prune extra
1725         output due to simplified constraints on compare_three_way::operator().
1726
1727         PR libstdc++/93479
1728         * libsupc++/compare (__3way_builtin_ptr_cmp): Require <=> to be valid.
1729         * testsuite/18_support/comparisons/object/93479.cc: New test.
1730
1731         * testsuite/std/ranges/access/end.cc: Do not assume test_range::end()
1732         returns the same type as test_range::begin(). Add comments.
1733         * testsuite/std/ranges/access/rbegin.cc: Likewise.
1734         * testsuite/std/ranges/access/rend.cc: Likewise.
1735         * testsuite/std/ranges/range.cc: Do not assume the sentinel for
1736         test_range is the same as its iterator type.
1737         * testsuite/util/testsuite_iterators.h (test_range::sentinel): Add
1738         operator- overloads to satisfy sized_sentinel_for when the iterator
1739         satisfies random_access_iterator.
1740
1741 2020-01-28  Jonathan Wakely  <jwakely@redhat.com>
1742
1743         PR libstdc++/93470
1744         * include/bits/refwrap.h (reference_wrapper::operator()): Restrict
1745         static assertion to object types.
1746
1747         PR libstdc++/93325
1748         * acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_TIME): Use AC_SEARCH_LIBS for
1749         clock_gettime instead of explicit glibc version check.
1750         * configure: Regenerate.
1751
1752 2020-01-28  Martin Liska  <mliska@suse.cz>
1753
1754         PR libstdc++/93478
1755         * include/std/atomic: Fix typo.
1756         * include/std/optional: Likewise.
1757
1758 2020-01-27  Andrew Burgess  <andrew.burgess@embecosm.com>
1759
1760         * configure: Regenerate.
1761
1762 2020-01-27  Jonathan Wakely  <jwakely@redhat.com>
1763
1764         PR libstdc++/93426
1765         * include/std/span (span): Fix deduction guide.
1766         * testsuite/23_containers/span/deduction.cc: New test.
1767
1768 2020-01-24  Jonathan Wakely  <jwakely@redhat.com>
1769
1770         * libsupc++/compare (__cmp_cat::_Eq): Remove enumeration type.
1771         (__cmp_cat::_Ord::equivalent): Add enumerator.
1772         (__cmp_cat::_Ord::_Less, __cmp_cat::_Ord::_Greater): Rename to less
1773         and greater.
1774         (partial_ordering, weak_ordering, strong_ordering): Remove
1775         constructors taking __cmp_cat::_Eq parameters. Use renamed
1776         enumerators.
1777
1778 2020-01-24  Maciej W. Rozycki  <macro@wdc.com>
1779
1780         * acinclude.m4: Handle `--with-toolexeclibdir='.
1781         * Makefile.in: Regenerate.
1782         * aclocal.m4: Regenerate.
1783         * configure: Regenerate.
1784         * doc/Makefile.in: Regenerate.
1785         * include/Makefile.in: Regenerate.
1786         * libsupc++/Makefile.in: Regenerate.
1787         * po/Makefile.in: Regenerate.
1788         * python/Makefile.in: Regenerate.
1789         * src/Makefile.in: Regenerate.
1790         * src/c++11/Makefile.in: Regenerate.
1791         * src/c++17/Makefile.in: Regenerate.
1792         * src/c++98/Makefile.in: Regenerate.
1793         * src/filesystem/Makefile.in: Regenerate.
1794         * testsuite/Makefile.in: Regenerate.
1795
1796 2020-01-23  Alexandre Oliva <oliva@adacore.com>
1797
1798         * crossconfig.m4 (GLIBCXX_CHECK_MATH_DECL): Reject macros.
1799         * configure: Rebuild.
1800
1801         * testsuite/27_io/fpos/mbstate_t/1.cc: Zero-init mbstate_t.
1802
1803 2020-01-23  Jonathan Wakely  <jwakely@redhat.com>
1804
1805         PR libstdc++/91947
1806         * include/Makefile.am (${host_builddir}/largefile-config.h): Simplify
1807         rule.
1808         * include/Makefile.in: Regenerate.
1809
1810 2020-01-20  Jonathan Wakely  <jwakely@redhat.com>
1811
1812         * doc/xml/faq.xml: Fix grammar.
1813         * doc/xml/manual/appendix_contributing.xml: Improve instructions.
1814         * doc/xml/manual/spine.xml: Update copyright years.
1815         * doc/html/*: Regenerate.
1816
1817 2020-01-19  Eric S. Raymond <esr@thyrsus.com>
1818
1819         * doc/xml/faq.xml: Update for SVN -> Git transition.
1820         * doc/xml/manual/appendix_contributing.xml: Likewise.
1821         * doc/xml/manual/status_cxx1998.xml: Likewise.
1822         * doc/xml/manual/status_cxx2011.xml: Likewise.
1823         * doc/xml/manual/status_cxx2014.xml: Likewise.
1824         * doc/xml/manual/status_cxx2017.xml: Likewise.
1825         * doc/xml/manual/status_cxx2020.xml: Likewise.
1826         * doc/xml/manual/status_cxxtr1.xml: Likewise.
1827         * doc/xml/manual/status_cxxtr24733.xml: Likewise.
1828
1829 2020-01-18  Iain Sandoe  <iain@sandoe.co.uk>
1830
1831         * include/Makefile.am: Add coroutine to the std set.
1832         * include/Makefile.in: Regenerated.
1833         * include/std/coroutine: New file.
1834
1835 2020-01-17  Jonathan Wakely  <jwakely@redhat.com>
1836
1837         PR libstdc++/92376
1838         * include/bits/c++config: Only do PSTL config when the header is
1839         present, to fix freestanding.
1840         * libsupc++/new_opa.cc [!_GLIBCXX_HOSTED]: Declare allocation
1841         functions if they were detected by configure.
1842
1843 2020-01-16  Kai-Uwe Eckhardt  <kuehro@gmx.de>
1844             Matthew Bauer  <mjbauer95@gmail.com>
1845             Jonathan Wakely  <jwakely@redhat.com>
1846
1847         PR bootstrap/64271 (partial)
1848         * config/os/bsd/netbsd/ctype_base.h (ctype_base::mask): Change type
1849         to unsigned short.
1850         (ctype_base::alpha, ctype_base::digit, ctype_base::xdigit)
1851         (ctype_base::print, ctype_base::graph, ctype_base::alnum): Sync
1852         definitions with NetBSD upstream.
1853         (ctype_base::blank): Use _CTYPE_BL.
1854         * config/os/bsd/netbsd/ctype_configure_char.cc (_C_ctype_): Remove
1855         Declaration.
1856         (ctype<char>::classic_table): Use _C_ctype_tab_ instead of _C_ctype_.
1857         (ctype<char>::do_toupper, ctype<char>::do_tolower): Cast char
1858         parameters to unsigned char.
1859         * config/os/bsd/netbsd/ctype_inline.h (ctype<char>::is): Likewise.
1860
1861 2020-01-16  François Dumont  <fdumont@gcc.gnu.org>
1862
1863         PR libstdc++/91263
1864         * include/bits/hashtable.h (_Hashtable<>): Make _Equality<> friend.
1865         * include/bits/hashtable_policy.h: Include <bits/stl_algo.h>.
1866         (_Equality_base): Remove.
1867         (_Equality<>::_M_equal): Review implementation. Use
1868         std::is_permutation.
1869         * testsuite/23_containers/unordered_multiset/operators/1.cc
1870         (Hash, Equal, test02, test03): New.
1871         * testsuite/23_containers/unordered_set/operators/1.cc
1872         (Hash, Equal, test02, test03): New.
1873
1874 2020-01-15  Jonathan Wakely  <jwakely@redhat.com>
1875
1876         PR libstdc++/93267
1877         * include/bits/iterator_concepts.h (__max_diff_type, __max_size_type):
1878         Move here from <bits/range_access.h> and define using __int128 when
1879         available.
1880         (__is_integer_like, __is_signed_integer_like): Move here from
1881         <bits/range_access.h>.
1882         (weakly_incrementable): Use __is_signed_integer_like.
1883         * include/bits/range_access.h (__max_diff_type, __max_size_type)
1884         (__is_integer_like, __is_signed_integer_like): Move to
1885         <bits/iterator_concepts.h>.
1886         (__make_unsigned_like_t): Move here from <ranges>.
1887         * include/std/ranges (__make_unsigned_like_t): Move to
1888         <bits/range_access.h>.
1889         (iota_view): Replace using-directive with using-declarations.
1890         * testsuite/std/ranges/iota/93267.cc: New test.
1891         * testsuite/std/ranges/iota_view.cc: Move to new 'iota' sub-directory.
1892
1893 2020-01-13  Jonathan Wakely  <jwakely@redhat.com>
1894
1895         PR libstdc++/93244
1896         * include/bits/fs_path.h (path::generic_string<C,A>)
1897         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Convert root-dir to forward-slash.
1898         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Check
1899         root-dir is converted to forward slash in generic pathname.
1900         * testsuite/27_io/filesystem/path/generic/utf.cc: New test.
1901         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: New test.
1902
1903         PR libstdc++/58605
1904         * include/bits/atomic_base.h (__cpp_lib_atomic_value_initialization):
1905         Define.
1906         (__atomic_flag_base, __atomic_base, __atomic_base<_PTp*>)
1907         (__atomic_float): Add default member initializer for C++20.
1908         * include/std/atomic (atomic): Likewise.
1909         (atomic::atomic()): Remove noexcept-specifier on default constructor.
1910         * include/std/version (__cpp_lib_atomic_value_initialization): Define.
1911         * testsuite/29_atomics/atomic/cons/assign_neg.cc: Adjust dg-error line
1912         number.
1913         * testsuite/29_atomics/atomic/cons/copy_neg.cc: Likewise.
1914         * testsuite/29_atomics/atomic/cons/value_init.cc: New test.
1915         * testsuite/29_atomics/atomic_flag/cons/value_init.cc: New test.
1916         * testsuite/29_atomics/atomic_flag/requirements/trivial.cc: Adjust
1917         expected result for is_trivially_default_constructible.
1918         * testsuite/29_atomics/atomic_float/requirements.cc: Likewise.
1919         * testsuite/29_atomics/atomic_float/value_init.cc: New test.
1920         * testsuite/29_atomics/atomic_integral/cons/assign_neg.cc: Likewise.
1921         * testsuite/29_atomics/atomic_integral/cons/copy_neg.cc: Likewise.
1922         * testsuite/29_atomics/atomic_integral/cons/value_init.cc
1923         * testsuite/29_atomics/atomic_integral/requirements/trivial.cc: Adjust
1924         expected results for is_trivially_default_constructible.
1925         * testsuite/util/testsuite_common_types.h (has_trivial_dtor): Add
1926         new test generator.
1927
1928 2020-01-10  Jonathan Wakely  <jwakely@redhat.com>
1929
1930         * testsuite/util/testsuite_iterators.h: Improve comment.
1931
1932         * testsuite/25_algorithms/equal/deque_iterators/1.cc: Don't use C++11
1933         initialization syntax.
1934
1935         PR libstdc++/92285
1936         * include/bits/streambuf_iterator.h (istreambuf_iterator): Make type
1937         of base class independent of __cplusplus value.
1938         [__cplusplus < 201103L] (istreambuf_iterator::reference): Override the
1939         type defined in the base class
1940         * testsuite/24_iterators/istreambuf_iterator/92285.cc: New test.
1941         * testsuite/24_iterators/istreambuf_iterator/requirements/
1942         base_classes.cc: Adjust expected base class for C++98.
1943
1944 2020-01-09  Olivier Hainque  <hainque@adacore.com>
1945
1946         * doc/xml/manual/appendix_contributing.xml: Document _C2
1947         as a reserved identifier, by VxWorks.
1948         * include/bits/stl_map.h: Rename _C2 template typenames as _Cmp2.
1949         * include/bits/stl_multimap.h: Likewise.
1950
1951 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
1952
1953         * include/ext/extptr_allocator.h (_ExtPtr_allocator::operator==)
1954         (_ExtPtr_allocator::operator!=): Add missing const qualifiers.
1955         * include/ext/pointer.h (readable_traits<_Pointer_adapter<S>>): Add
1956         partial specialization to disambiguate the two constrained
1957         specializations.
1958
1959         * include/experimental/type_traits (experimental::is_pod_v): Disable
1960         -Wdeprecated-declarations warnings around reference to std::is_pod.
1961         * include/std/type_traits (is_pod_v): Likewise.
1962         * testsuite/18_support/max_align_t/requirements/2.cc: Also check
1963         is_standard_layout and is_trivial. Do not check is_pod for C++20.
1964         * testsuite/20_util/is_pod/requirements/explicit_instantiation.cc:
1965         Add -Wno-deprecated for C++20.
1966         * testsuite/20_util/is_pod/requirements/typedefs.cc: Likewise.
1967         * testsuite/20_util/is_pod/value.cc: Likewise.
1968         * testsuite/experimental/type_traits/value.cc: Likewise.
1969
1970 2020-01-09  JeanHeyd "ThePhD" Meneide  <phdofthehouse@gmail.com>
1971
1972         * include/bits/c++config (_GLIBCXX20_DEPRECATED): Add new macro.
1973         * include/std/type_traits (is_pod, is_pod_v): Deprecate for C++20.
1974         * testuite/20_util/is_pod/deprecated-2a.cc: New test.
1975
1976 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
1977
1978         PR libstdc++/93205
1979         * include/bits/random.h (operator>>): Check stream operation succeeds.
1980         * include/bits/random.tcc (operator<<): Remove redundant __ostream_type
1981         typedefs.
1982         (operator>>): Remove redundant __istream_type typedefs. Check stream
1983         operations succeed.
1984         (__extract_params): New function to fill a vector from a stream.
1985         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error line.
1986
1987         PR libstdc++/93208
1988         * config/abi/pre/gnu.ver: Add new exports.
1989         * include/std/memory_resource (memory_resource::~memory_resource()):
1990         Do not define inline.
1991         (monotonic_buffer_resource::~monotonic_buffer_resource()): Likewise.
1992         * src/c++17/memory_resource.cc (memory_resource::~memory_resource()):
1993         Define.
1994         (monotonic_buffer_resource::~monotonic_buffer_resource()): Define.
1995         * testsuite/20_util/monotonic_buffer_resource/93208.cc: New test.
1996
1997 2020-01-09  François Dumont  <fdumont@gcc.gnu.org>
1998
1999         PR libstdc++/92124
2000         * include/bits/hashtable.h (_Hashtable<>::__alloc_node_gen_t): New
2001         template alias.
2002         (_Hashtable<>::__fwd_value_for): New.
2003         (_Hashtable<>::_M_assign_elements<>): Remove _NodeGenerator template
2004         parameter.
2005         (_Hashtable<>::_M_assign<>): Add _Ht template parameter.
2006         (_Hashtable<>::operator=(const _Hashtable<>&)): Adapt.
2007         (_Hashtable<>::_M_move_assign): Adapt. Replace std::move_if_noexcept
2008         with std::move.
2009         (_Hashtable<>::_Hashtable(const _Hashtable&)): Adapt.
2010         (_Hashtable<>::_Hashtable(const _Hashtable&, const allocator_type&)):
2011         Adapt.
2012         (_Hashtable<>::_Hashtable(_Hashtable&&, const allocator_type&)):
2013         Adapt.
2014         * testsuite/23_containers/unordered_set/92124.cc: New.
2015
2016 2020-01-08  Jonathan Wakely  <jwakely@redhat.com>
2017
2018         PR libstdc++/93201
2019         * src/c++17/fs_ops.cc (do_remove_all): New function implementing more
2020         detailed error reporting for remove_all. Check result of recursive
2021         call before incrementing iterator.
2022         (remove_all(const path&), remove_all(const path&, error_code&)): Use
2023         do_remove_all.
2024         * src/filesystem/ops.cc (remove_all(const path&, error_code&)): Check
2025         result of recursive call before incrementing iterator.
2026         * testsuite/27_io/filesystem/operations/remove_all.cc: Check errors
2027         are reported correctly.
2028         * testsuite/experimental/filesystem/operations/remove_all.cc: Likewise.
2029
2030 2020-01-07  Thomas Rodgers  <trodgers@redhat.com>
2031
2032         * include/std/condition_variable
2033         (condition_variable_any::wait_on): Rename to match current draft
2034         standard.
2035         (condition_variable_any::wait_on_until): Likewise.
2036         (condition_variable_any::wait_on_for): Likewise.
2037         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
2038         Adjust tests to account for renamed methods.
2039
2040 2020-01-07  François Dumont  <fdumont@gcc.gnu.org>
2041
2042         PR libstdc++/92124
2043         * include/bits/stl_tree.h
2044         (_Rb_tree<>::_M_move_assign(_Rb_tree&, false_type)): Replace
2045         std::move_if_noexcept by std::move.
2046         * testsuite/23_containers/map/92124.cc: New.
2047         * testsuite/23_containers/set/92124.cc: New.
2048
2049 2020-01-06  Jonathan Wakely  <jwakely@redhat.com>
2050
2051         * include/std/stop_token (stop_token): Remove operator!= (LWG 3254).
2052         (stop_source): Likewise (LWG 3362).
2053         * testsuite/30_threads/stop_token/stop_source.cc: Test equality
2054         comparisons.
2055
2056         * include/bits/stl_algobase.h (__is_byte_iter, __min_cmp)
2057         (lexicographical_compare_three_way): Do not depend on
2058         __cpp_lib_concepts.
2059         * include/std/version (__cpp_lib_three_way_comparison): Only define
2060         when __cpp_lib_concepts is defined.
2061         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
2062
2063 2020-01-03  Jonathan Wakely  <jwakely@redhat.com>
2064
2065         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
2066         Only define four-argument overload when __cpp_lib_concepts is defined.
2067
2068 2020-01-01  John David Anglin  <danglin@gcc.gnu.org>
2069
2070         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
2071
2072 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
2073
2074         Update copyright years.
2075 \f
2076 Copyright (C) 2020 Free Software Foundation, Inc.
2077
2078 Copying and distribution of this file, with or without modification,
2079 are permitted in any medium without royalty provided the copyright
2080 notice and this notice are preserved.