libstdc++-v3/ChangeLog

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