libstdc++-v3/ChangeLog

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