libstdc++-v3/ChangeLog

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