libstdc++-v3/ChangeLog

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