libstdc++-v3/ChangeLog

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