libstdc++-v3/ChangeLog

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