libstdc++-v3/ChangeLog

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