libstdc++-v3/ChangeLog

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